Automated generation of test cases from logical specification of software requirements

The quality of the delivered software relies on rigorous testing performed. However, designing good test cases is a challenging task. The challenges are multi-fold and test-cases design is often delayed towards the end of implementation phase. In this paper, we propose an approach to automatically generate test cases from the logical form of requirements specifications during early phases of software development. Our approach is based on courteous logic representation of requirements. The Knowledge stored in the courteous logic predicates is used to automatically generate the test cases. We evaluate the effectiveness of our generated test-cases through case-studies.

[1]  Jesús Torres Valderrama,et al.  Generation of test cases from functional requirements. A survey , 2006 .

[2]  Benjamin N. Grosof.  Representing e-commerce rules via situated courteous logic programs in RuleML , 2004, Electron. Commer. Res. Appl..

[3]  Stephen H. Edwards,et al.  Automatically Generating Tests from Natural Language Descriptions of Software Behavior , 2013, ENASE.

[4]  Kanad K. Biswas,et al.  A Semi-automated Approach towards Handling Inconsistencies in Software Requirements , 2012, ENASE.

[5]  Thomas Weigert,et al.  HCLIE: a logic-based requirement language for new software engineering paradigms , 1991, Softw. Eng. J..

[6]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[7]  A. Jefferson Offutt,et al.  Generating Tests from UML Specifications , 1999, UML.

[8]  Sandro Morasca,et al.  Generating test cases for real-time systems from logic specifications , 1995, TOCS.

[9]  N. Badr,et al.  A Proposed Test Case Generation Technique Based on Activity Diagrams , 2011 .

[10]  Floriana Grasso,et al.  Natural Language Processing: many questions, no answers , 2007 .

[11]  E. Mohammadi,et al.  Barriers and facilitators related to the implementation of a physiological track and trigger system: A systematic review of the qualitative evidence , 2017, International journal for quality in health care : journal of the International Society for Quality in Health Care.

[12]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[13]  Lionel C. Briand,et al.  A UML-Based Approach to System Testing , 2001, Software and Systems Modeling.

[14]  Luciano Baresi,et al.  An Introduction to Software Testing , 2006, FoVMT.

[15]  Jonas Mockus.  Introduction to Software , 2000 .

[16]  Arvinder Kaur,et al.  Systematic Review of Automatic Test Case Generation by UML Diagrams , 2012 .

[17]  Tao He,et al.  Extenics-based Test Case Generation for UML Activity Diagram , 2013, ITQM.

[18]  J. Heumann.  Generating Test Cases From Use Cases , 2001 .

[19]  A. Pretschner.  Classical search strategies for test case generation with Constraint Logic Programming , 2001 .

[20]  Gertjan van Noord,et al.  A Semantic-Head-Driven Generation Algorithm for Unification-Based Formalisms , 1989, ACL.

[21]  Supaporn Kansomkeat,et al.  Generating test cases from UML activity diagrams using the Condition-Classification Tree Method , 2010, 2010 2nd International Conference on Software Technology and Engineering.