Abstract | ||
---|---|---|
Robustness testing is a part of the validation process which consists in testing the behavior of a system implementation under exceptional execution conditions in order to check if it still fulfills some robustness requirements. We propose a theoretical framework for model-based robustness testing together with an implementation within the If validation environment. Robustness test cases are generated from both a (partial) operational specification and an abstract fault model. This generation technique is inspired from the ones used in (classical) conformance testing – already implemented in several tools. This framework is illustrated on a small example. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11430230_23 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
robustness testing,model-based approach,model-based robustness,theoretical framework,robustness test case,conformance testing,validation environment,system implementation,validation process,robustness requirement,abstract fault model,fault model | Robustness testing,System testing,Computer science,Abstract interpretation,Simulation,Model-based reasoning,Conformance testing,Robustness (computer science),Test case,Fault model,Reliability engineering,Distributed computing | Conference |
Volume | ISSN | ISBN |
3502 | 0302-9743 | 3-540-26054-4 |
Citations | PageRank | References |
18 | 0.90 | 11 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jean-Claude Fernandez | 1 | 184 | 8.53 |
Laurent Mounier | 2 | 1187 | 79.54 |
Cyril Pachon | 3 | 33 | 1.60 |