Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/ICMCS.2016.7905597 | 2016 5th International Conference on Multimedia Computing and Systems (ICMCS) |
Keywords | DocType | ISSN |
Constraint based Testing,Model based Testing,Java bytecode,BML specifications | Conference | 2472-7652 |
ISBN | Citations | PageRank |
978-1-5090-5147-2 | 0 | 0.34 |
References | Authors | |
7 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Safaa Achour | 1 | 0 | 1.01 |
Mohammed Benattou | 2 | 0 | 2.03 |