A Test Case Generator Based on Activity Diagrams
碩士 === 國立中正大學 === 資訊工程所 === 96 === Software testing is the main activity to ensure the quality of software. This thesis proposes to use Unified Modeling Language (UML) activity diagrams and Object Constraint Language (OCL) to define the specification of Java methods. This thesis develops a semi-auto...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2008
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/01361918853867363360 |
| Summary: | 碩士 === 國立中正大學 === 資訊工程所 === 96 === Software testing is the main activity to ensure the quality of software. This thesis proposes to use Unified Modeling Language (UML) activity diagrams and Object Constraint Language (OCL) to define the specification of Java methods. This thesis develops a semi-automatic tool to generate test programs for Java methods. The tool is composed of four parts: a diagram reader, a test path generator, a test path evaluator, and a test program generator. The diagram reader reads activity diagrams and converts them into an internal data structure. The test path generator enumerates all possible test paths. The test path evaluator evaluates a test path according to the input values from the user. It also determines whether the test path is feasible and what test coverage criteria are satisfied. The test program generator generates the JUnit Java test classes.
|
|---|