Automatic derivation of software test-cases code from formal models

Abstract

Model-Driven Testing or MDT is a new and promising approach for software testing automation that can significantly reduce the efforts in the testing cycle of every software development. It consists in a black box test that uses structural and behavioral models to automate the tests generation process. In this context, we developed a tool which allows developers to translate a data model with formal constraints to its corresponding Java code, automating the generation of strong test-cases codes and specifying them not only in java language but also in two formal languages, such as OCL and Alloy. This tool gives a trustworthy and verifiable support with different techniques. In this way, the test-cases code generation process is improved and its quality enhanced.