Abstract
| Original language | English |
|---|---|
| Title of host publication | Fourth international conference on application of concurrency to system design: ACSD 2004 |
| Editors | M. Kishinevsky, P. Darondeau |
| Place of Publication | Los Alamitos |
| Publisher | IEEE Computer Society |
| Pages | 3-4 |
| Number of pages | 36 |
| ISBN (Print) | 0-7695-2077-4 |
| DOIs | |
| Publication status | Published - 16 Jun 2004 |
Publication series
| Name | |
|---|---|
| Publisher | IEEE Computer Society |
Fingerprint
Keywords
- IR-49284
- METIS-221488
Cite this
}
Testing times: on model-driven test generation for non-deterministic real-time systems. / Brinksma, Hendrik.
Fourth international conference on application of concurrency to system design: ACSD 2004. ed. / M. Kishinevsky; P. Darondeau. Los Alamitos : IEEE Computer Society, 2004. p. 3-4.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - Testing times: on model-driven test generation for non-deterministic real-time systems
AU - Brinksma, Hendrik
PY - 2004/6/16
Y1 - 2004/6/16
N2 - Summary form only given. Although testing has always been the most important technique for the validation of software systems it has only become a topic of serious academic research in the past decade or so. In this period research on the use of formal methods for model-driven test generation and execution of functional test cases has led to a number of promising methods and tools for systematic black-box testing of systems, examples are based on A. Belinfante et al. (1999), J. Tretmans and E. Brinksma (2003), J.-C. Fernandez et al. (1996) and J.-C. Fernandez et al. (1997). Most of these approaches are limited to the qualitative behaviour of systems, and exclude quantitative aspects such as real-time properties. The explosive growth of embedded software, however, has also caused a growing need to extend existing testing theories to the testing of real-time reactive systems. In our presentation we present an extension of Tretmans' ioco theory for test generation as stated in J. Tretmans (1996) for input/output transition systems that includes real-time behaviour.
AB - Summary form only given. Although testing has always been the most important technique for the validation of software systems it has only become a topic of serious academic research in the past decade or so. In this period research on the use of formal methods for model-driven test generation and execution of functional test cases has led to a number of promising methods and tools for systematic black-box testing of systems, examples are based on A. Belinfante et al. (1999), J. Tretmans and E. Brinksma (2003), J.-C. Fernandez et al. (1996) and J.-C. Fernandez et al. (1997). Most of these approaches are limited to the qualitative behaviour of systems, and exclude quantitative aspects such as real-time properties. The explosive growth of embedded software, however, has also caused a growing need to extend existing testing theories to the testing of real-time reactive systems. In our presentation we present an extension of Tretmans' ioco theory for test generation as stated in J. Tretmans (1996) for input/output transition systems that includes real-time behaviour.
KW - IR-49284
KW - METIS-221488
U2 - 10.1109/CSD.2004.1309110
DO - 10.1109/CSD.2004.1309110
M3 - Conference contribution
SN - 0-7695-2077-4
SP - 3
EP - 4
BT - Fourth international conference on application of concurrency to system design: ACSD 2004
A2 - Kishinevsky, M.
A2 - Darondeau, P.
PB - IEEE Computer Society
CY - Los Alamitos
ER -