Abstract | ||
---|---|---|
We present a testing framework using a compositional approach to generate and execute test cases. Test cases are generated and combined with respect to a partial specification expressed as a set of requirements and elementary test cases. These approach and framework are supported by a prototype tool presented here. The framework is presented here in its LTL-like application, besides other specification formalisms can be added. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-73066-8_8 | TestCom/FATES |
Keywords | Field | DocType |
compositional testing framework,elementary test case,ltl-like application,compositional approach,specification formalisms,prototype tool,partial specification,testing framework,test case | Programming language,Computer science,Linear temporal logic,Credit card,Test case,Security policy,Temporal logic,Rotation formalisms in three dimensions,Reliability engineering | Conference |
Volume | ISSN | ISBN |
4581 | 0302-9743 | 3-540-73065-6 |
Citations | PageRank | References |
7 | 0.64 | 8 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yliès Falcone | 1 | 508 | 39.21 |
Jean-Claude Fernandez | 2 | 184 | 8.53 |
Laurent Mounier | 3 | 1187 | 79.54 |
Jean-Luc Richier | 4 | 359 | 45.60 |