Functional Testing Using OCL Predicates to Improve Software Quality

A. Jalila, D. Jeya Mala and M. Eswaran
Additional contact information
A. Jalila: Department of Computer Applications, Thiagarajar College of Engineering, Madurai, India
D. Jeya Mala: Department of Computer Applications, Thiagarajar College of Engineering, Madurai, India
M. Eswaran: Department of Computer Applications, Thiagarajar College of Engineering, Madurai, India

International Journal of Systems and Service-Oriented Engineering (IJSSOE), 2015, vol. 5, issue 2, 56-72

Abstract: Formal specification-based testing is one of the major criterions to detect faults in the requirement specification or design of a system. However, due to the non-availability of implementation details, test case generation from formal specifications become a challenging task. This research work has proposed an automated fault-based testing framework to test the specification of a system written in OCL (Object Constraint Language). Accordingly, the possible faults in OCL specification of a system have been anticipated by mutating its method based on predicate-based fault classes. Then, test cases are generated by applying Chaotic Simulated Annealing (CSA) algorithm. In this paper, a novel OCL predicate based fitness function is defined to evaluate the generated test data. The experiment results indicate that the OCL specification based testing adopting CSA form an excellent combination for performing functional testing at the earliest to improve software quality.

Date: 2015
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 18/IJSSOE.2015040104 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jssoe0:v:5:y:2015:i:2:p:56-72

Access Statistics for this article

International Journal of Systems and Service-Oriented Engineering (IJSSOE) is currently edited by Wuhui Chen

More articles in International Journal of Systems and Service-Oriented Engineering (IJSSOE) from IGI Global
Bibliographic data for series maintained by Journal Editor ().