Abstract | ||
---|---|---|
In this article, we consider model oriented formal specifica- tion languages. We generate test cases by performing symbolic execution over a model, and from the test cases obtain a Java program. This Java program acts as a test driver and when it is run in conjunction with the implementation then testing is performed in an automatic manner. Our approach makes the testing cycle fully automatic. The main contribution of our work is that we perform automatic testing even when the models are non-deterministic. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-73770-4_6 | Tests and Proofs |
Keywords | Field | DocType |
main contribution,b-method,testing cycle,automatic manner,symbolic execution,model based testing,test driver,non-determinism,formal specification language,java program act,java program,automatic testing,test case,formal specification,b method | Programming language,Test Management Approach,Computer science,Manual testing,Non-regression testing,White-box testing,Exploratory testing,Model-based testing,Concolic testing,Keyword-driven testing | Conference |
Volume | ISSN | ISBN |
4454 | 0302-9743 | 3-540-73769-3 |
Citations | PageRank | References |
10 | 0.63 | 29 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Manoranjan Satpathy | 1 | 183 | 18.49 |
Michael Butler | 2 | 1768 | 104.74 |
Michael Leuschel | 3 | 2156 | 135.89 |
S. Ramesh | 4 | 65 | 4.65 |