A Class-Level Unit Testing Tool for Java

• Main Authors: Tzu-Fan Hu, 胡子凡
• Other Authors: Nai-Wei Lin
• Format: Others
• Language: zh-TW
• Published: 2011
• Online Access: http://ndltd.ncl.edu.tw/handle/22337685382639789018

碩士 === 國立中正大學 === 資訊工程研究所 === 99 === Software testing is the main activity to ensure the quality of software. This thesis developes a class-level black-box test case generator based on constraint logic programming. This generator uses the UML class diagrams and the Object Constraint Language as a method-level specificatgion language to specify the behaviors of Java methods. It uses the UML state diagrams and the Object Constraint Language as a class-level specification language to specify the behaviors of Java objects. A test case consists of a test input and an expected output. Automatic generation of test input and expected output is the most difficult task in software testing activity. In this thesis, the test input and its corresponding expected output are simultaneously generated in a unified approach based on constraint logic programming. This approach consists of three steps. First, test paths on the state diagram are enumerated systematically. Second, the constraints on each path is converted into a predicate in constraint logic programming. Each solution of this predicates is a pair of test input and expected output. This unified solution is due to the powerful constraint solving capability of constraint logic programming. Third, the set of test inputs and expected outputs are converted into Java test methods. The automatic execution of test cases is based on the testing framework JUnit.