Automatic derivation of software test-cases code from formal models
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 proces...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2017
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/135643 |
| Aporte de: |
| Sumario: | 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. |
|---|