Automatic test cases generation from software specifications modules

A new technique is proposed in this paper to extend the Integrated Classification Tree Methodology (ICTM) developed by Chen et al. [13] This software assists testers to construct test cases from functional specifications. A Unified Modelling Language (UML) class diagram and Object Constraint Language (OCL) are used in this paper to represent the software specifications. Each classification and associated class in the software specification is represented by classes and attributes in the class diagram. Software specification relationships are represented by associated and hierarchical relationships in the class diagram. To ensure that relationships are consistent, an automatic methodology is proposed to capture and control the class relationships in a systematic way. This can help to reduce duplication and illegitimate test cases, which improves the testing efficiency and minimises the time and cost of the testing. The methodology introduced in this paper extracts only the legitimate test cases, by removing the duplicate test cases and those incomputable with the software specifications. Large amounts of time would have been needed to execute all of the test cases; therefore, a methodology was proposed which aimed to select a best testing path. This path guarantees the highest coverage of system units and avoids using all generated test cases. This path reduces the time and cost of the testing

Automatic model - based test case generation for uml diagrams using tree travelsal algorithm

The foundation of any model-based testing (MBT) with Unified Modelling Language (UML) diagrams is test case generation (TCG) which predicts the expected functionalities of a system under test (SUT). However, problems associated with existing test case generation methods are lack of integration with various UML diagrams and tools, inability to cover all the model elements of UML diagrams, failure to generate comprehensive test cases based on adequate coverage criteria and lack of support tools for automatic generation of test cases. To address these challenges, efficient mapping strategies for model elements that engenders effective artefacts extraction and test case generation processes were proposed. The methodology employed in this research comprised constructing relevant models and algorithms as well as implementing with the use of Java programming language. Specifically, an enhanced elements mapper, artefacts extractor (parser) and test case generator were developed and integrated to produce the support tool. The elements mapper yielded an accuracy result of 99.31%. The artefacts extractor recorded 99.64% accuracy while the test case generator recorded 100% accuracy. The improved methods proved to be more robust and efficiently generated quality test cases with eliminated redundancies based on all the descriptive attributes of UML diagrams. Limitations of existing the methods were addressed in the proposed method which is able to integrate more diagrams to generate quality test cases