Abstract | ||
---|---|---|
Model-based testing is a promising technique for improving the quality of testing by automatically generating an efficient set of provably valid test cases from a system model. Testing embedded real-time systems is challenging because it must deal with timing, concurrency, processing and computation of complex mixed discrete and continuous signals, and limited observation and control. Whilst several techniques and tools have been proposed, few deals systematically with models capturing the indeterminacy resulting from concurrency, timing and limited observability and controllability. This paper proposes a number of model-based test generation principles and techniques that aim at efficient testing of timed systems under uncertainty. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-25271-6_19 | FMCO |
Keywords | Field | DocType |
limited observability,testing real-time system,efficient set,limited observation,model-based testing,provably valid test case,model-based test generation principle,deals systematically,testing embedded real-time system,efficient testing,continuous signal | Observability,Computer science,System testing,Concurrency,White-box testing,Real-time computing,Software performance testing,Theoretical computer science,Conformance testing,Model-based testing,Test case | Conference |
Citations | PageRank | References |
5 | 0.49 | 31 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alexandre David | 1 | 42 | 3.11 |
Kim Guldstrand Larsen | 2 | 4434 | 346.88 |
Shuhao Li | 3 | 107 | 15.55 |
Marius Mikučionis | 4 | 799 | 33.52 |
Brian Nielsen | 5 | 29 | 3.74 |