A Semiautomatic Test Case Generator Based on UML Activity Diagrams and Object Constraint Language

Abstract

Software testing is the main activity to ensure the quality of software. This article applies the black-box approach to designing test cases. This article designs test cases based on the preconditions and postconditions in the Design by Contract software development approach. This article uses Unified Modeling Language (UML) activity diagrams and Object Constraint Language (OCL) to specify the preconditions and postconditions of Java methods. This article develops a semiautomatic tool to generate Java test classes for the JUnit framework based on UML activity diagrams and OCL.