Abstract | ||
---|---|---|
. A method is introduced for testing the conformance of implemented real-time systems to timedautomata specications. Uppaal timed automata are transformed into testable timed transition systems(TTTSs) using a test view. Fault hypotheses and a test generation algorithm for TTTSs are dened. Resultsof applying the method are presented.1. IntroductionThe development of real-time systems has been advanced in recent years by new theories and tools fortheir specication and analysis. The... |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/s001650070009 | Formal Asp. Comput. |
Keywords | Field | DocType |
Keywords: Conformance testing,Real-time systems,Timed automata,Test selection | Supervisor,Control theory,Deterministic automaton,Computer science,Automaton,Real-time operating system,Theoretical computer science,Real-time computing,Timed automaton,Computer program,Digital clock | Journal |
Volume | Issue | ISSN |
12 | 5 | 1433-299X |
Citations | PageRank | References |
26 | 1.08 | 10 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rachel Cardell-Oliver | 1 | 271 | 33.25 |