Name
Abstract | ||
|---|---|---|
Real-time reactive systems are complex systems to design and verify.Rigorous testing of real-time reactive systems complement the more difficult and expensive formal verification process.This paper discusses a rigorous method for black-boxtesting of real-time reactive systems, whose design specificationsare given in the Timed Reactive Object Model (TROM ) formalism. |
Year | DOI | Venue |
|---|---|---|
2001 | 10.1109/APSEC.2001.991479 | APSEC |
Keywords | Field | DocType |
rigorous testing,rigorous method,design specificationsare,testing real-time reactive systems,expensive formal verification process,complex system,timed reactive object model,real-time reactive system,real time systems,reactive system,black box testing,patient monitoring,real time,formal verification,test methods,object model,air traffic control,formal specification,system under test | Complex system,Programming language,Computer science,Object model,Real-time computing,Formalism (philosophy),Reactive system,Program testing,Formal verification | Conference |
Citations | PageRank | References |
2 | 0.58 | 10 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| V. S. Alagar | 1 | 8 | 1.78 |
| M. Zheng | 2 | 2 | 0.58 |