Sciweavers

Share
FATES
2003
Springer

JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit

10 years 8 months ago
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. However, the current JML testing system (the JML and JUnit framework) can only generate skeletons of test fixture and test case class. Writing codes for generating test cases, especially those with a complicated data structure is still a labor-intensive job in the test for programs annotated with JML specifications. This paper presents JMLAutoTest, a novel framework for automated testing of Java programs annotated with JML specifications. Firstly, given a method, three test classes (a skeleton of test client class, a JUnit test class and a test case class) can be generated. Secondly, JMLAutoTest can generate all nonisomorphic test cases that satisfy the requirements defined in the test client class. Thirdly, JMLAutoTest can avoid most meaningless cases by running the test in a double-phase way which saves muc...
Guoqing Xu, Zongyuang Yang
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where FATES
Authors Guoqing Xu, Zongyuang Yang
Comments (0)
books