Automated generation of test suites from formal specifications of real-time reactive systems

@article{Zheng2008AutomatedGO,
  title={Automated generation of test suites from formal specifications of real-time reactive systems},
  author={Mao Zheng and Vangalur S. Alagar and Olga Ormandjieva},
  journal={Journal of Systems and Software},
  year={2008},
  volume={81},
  pages={286-304}
}
Real-time reactive systems are among the most difficult systems to test because of their size and complex time-dependent functionality. The number of test experiments for such systems is very large, if not infinite. Often such systems arise in safety-critical contexts. Hence, such systems require a rigorous analysis and thorough testing before they are deployed. This paper addresses test case generation methods and a metric-based test case selection algorithm for sufficient testing of real-time… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 15 CITATIONS

Software engineering : testing real-time embedded systems using timed automata based approaches

  • Journal of Systems and Software
  • 2012
VIEW 25 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Environment model-based system testing of real-time embedded systems

VIEW 14 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

System Testing of Timing Requirements Based on Use Cases and Timed Automata

  • 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
  • 2017
VIEW 2 EXCERPTS
CITES METHODS

Testing closed source software: computer forensic tool case study

  • Journal of Computer Virology and Hacking Techniques
  • 2017
VIEW 2 EXCERPTS
CITES BACKGROUND

Fail-Safe Testing of Safety-Critical Systems

  • 2014 23rd Australian Software Engineering Conference
  • 2014
VIEW 1 EXCERPT

A Method for Applying Reuse in Tests Specifications

  • 2012 Eighth International Conference on the Quality of Information and Communications Technology
  • 2012
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 19 REFERENCES

Timed Wp-Method: Testing Real-Time Systems

  • IEEE Trans. Software Eng.
  • 2002
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

TROMLAB: a software development environment for real-time reactive

V. S. Alagar, R. Achuthan, D. Muthiayen
  • 2001
VIEW 11 EXCERPTS
HIGHLY INFLUENTIAL

Testing timed automata

VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

A Theory of Timed Automata

  • Theor. Comput. Sci.
  • 1992
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Incremental testing for self-evolving timed systems

  • Third International Conference on Quality Software, 2003. Proceedings.
  • 2003
VIEW 1 EXCERPT