Test case generation for Java Bytecode programs annotated with BML specifications

The work presented in this paper extends an existing constraint model defined to automatically generate test inputs for java Bytecode programs. We propose to consider also BML specifications for generating valid test data. The main objective is to apply constraint based testing on java bytecode prog...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:2016 5th International Conference on Multimedia Computing and Systems (ICMCS) S. 605 - 610
Hauptverfasser: Achour, Safaa, Benattou, Mohammed
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 01.09.2016
Schlagworte:
BML specifications
Broadcasting
Constraint based Testing
Java
Java bytecode
Markup languages
Memory management
Model based Testing
Object oriented modeling
Registers
Testing
ISSN:2472-7652
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The work presented in this paper extends an existing constraint model defined to automatically generate test inputs for java Bytecode programs. We propose to consider also BML specifications for generating valid test data. The main objective is to apply constraint based testing on java bytecode program annotated with BML for detecting the valid execution paths, to check the validity of the returned result, to reduce the domain of input data, and to perform coverage of the testing method under test.
ISSN:2472-7652
DOI:10.1109/ICMCS.2016.7905597