Name
Title | ||
|---|---|---|
Automated generation of test suites from formal specifications of real-time reactive systems |
Abstract | ||
|---|---|---|
Real-time reactive systems are among the most difficult systems to test because of their size and complex time-dependent functionality. The number of test experiments for such systems is very large, if not infinite. Often such systems arise in safety-critical contexts. Hence, such systems require a rigorous analysis and thorough testing before they are deployed. This paper addresses test case generation methods and a metric-based test case selection algorithm for sufficient testing of real-time reactive systems. The methods are rigorous, and based on the formal specifications of the system and its fault models. The test generation and execution of algorithms are implemented in TROMLAB, a formal framework for developing real-time reactive systems. The methods are applied to the formal specification of the Train-Gate-Controller (TGC) example, a bench-mark case study in the real-time systems community. A brief description of the experimental results obtained on the case study is given. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1016/j.jss.2007.05.009 | Journal of Systems and Software |
Keywords | Field | DocType |
fault models,test adequacy,automated generation,optimal test selection,specification-based testing,test experiment,case study,real-time reactive systems,real-time reactive system,bench-mark case study,paper addresses test case,metric-based test selection,formal specification,test generation,metric-based test case selection,test suite,real-time systems community,formal framework,fault model,real time systems,reactive system,real time | Test suite,Test method,Automatic test pattern generation,Test Management Approach,Systems engineering,Computer science,Selection algorithm,Formal specification,Real-time computing,Test case,Reactive system,Reliability engineering | Journal |
Volume | Issue | ISSN |
81 | 2 | The Journal of Systems & Software |
Citations | PageRank | References |
11 | 0.67 | 12 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mao Zheng | 1 | 13 | 1.52 |
| Vasu Alagar | 2 | 62 | 6.57 |
| Olga Ormandjieva | 3 | 317 | 37.11 |