Abstract | ||
---|---|---|
We propose a syntax-driven test generation technique to automaticaly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an elementary test case (called a“tile”) is associated to each basic predicate of the formula, we show how to generate a set of test controlers associated to each logical operator, and able to coordinate the whole test execution. The test cases produced are expressed in a process algebraic style, allowing to take into account the test environment constraints. We illustrate this approach in the context of network security testing, for which more classical model-based techniques are not always suitable. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/11940197_4 | FATES/RV |
Keywords | Field | DocType |
network security policy,elementary test case,derive abstract test case,classical model-based technique,linear temporal logic,syntax-driven test generation technique,whole test execution,test calculus framework,logical operator,basic predicate,test environment constraint,test case,network security,process algebra | System under test,Logical connective,Computer science,Network security,Linear temporal logic,Theoretical computer science,Test case,Temporal logic,Linear logic,Process calculus | Conference |
Volume | ISSN | ISBN |
4262 | 0302-9743 | 3-540-49699-8 |
Citations | PageRank | References |
4 | 0.48 | 7 |
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 |