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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: International Journal of Systems and Service-Oriented Engineering
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
