53 search results - page 1 / 11 » Time-Optimal Test Cases for Real-Time Systems |
FORMATS
2003
Springer
13 years 10 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
ICST
2009
IEEE
13 years 11 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
FATES
2004
Springer
13 years 10 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
ESEC
1993
Springer
13 years 9 months ago
1993
Springer
We report the results of a survey about the software faults encountered during the testing phases in evolving a large real-time system. The survey was done in two parts: the rst pa...
ISORC
1998
IEEE
13 years 9 months ago
1998
IEEE
Many real-time systems evolve over time due to new requirements and technology improvements. Each revision requires regression testing to ensure that existing functionality is not...