Abstract:Writing specifications using Java Modeling Language has been ac- cepted 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 compli- cated data structure is still a labor-intensive job in the test for programs anno- tated 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 nonisomor- phic 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 much time of exploring meaningless cases in the test. This method can be adopted in the testing not only for Java programs, but also for programs written with other languages. Finally, JMLAutoTest exe- cutes the method and uses JML runtime assertion checker to decide whether its post-condition is violated. That is whether the method works correctly.

Research on Axiom-based Object-Oriented Software Automatic Testing

An Ate Model And Application Based On Object Oriented Technology

Analysis and Research on the Automated Generation of Unit Test

DESIGN AND IMPLEMENTATION OF AN OO SOFTWARE AUTOMATIC TESTING FRAMEWORK

Perspectives on Automated Testing of Aspect-Oriented Programs

Automatic extraction of abstract-object-state machines from unit-test executions.

Object Oriented Design of Missile Automatic Test System and Its Application

Design of Automated-testing Framework System Based on C# and XML

Automated Testing EJB Components Based on Algebraic Specifications

Interface-Based Automated Testing for Open Software Architecture.

Research on the Method of Object-oriented Software Static Testing Based on UML

Research on Model of Automated Test Case Generation for Complicated Interactive Software

Automatic identification of common and special object-oriented unit tests.

Research and implementation of white-box testing framework for object-oriented program

On Test Data Generation of Object-Oriented Software

Novel Software Automated Testing System Based on J2EE

Design and implementation of a unit testing framework for aspects

Object-oriented Unit Test Based on Aspect-oriented Programming

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

Scenario-Based Object-Oriented Test Frameworks for Testing Distributed Systems

Scenario-based Object-Oriented Testing Framework.