论文信息 - Incremental testing for self-evolving timed systems

Incremental testing for self-evolving timed systems

Self-evolving software systems in time-critical domains adapt themselves automatically to changes in external situations and internal conditions. This paper presents a black-box method for incrementally generating test cases for self-evolving systems.

Vangalur S. Alagar | Olga Ormandjieva | Mao Zheng

[1] Olga Ormandjieva,et al. Deriving new measurements for real-time reactive systems , 2002 .

[2] Stephen J. Garland,et al. Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.

[3] Vangalur S. Alagar,et al. A rigorous approach for constructing self-evolving real-time reactive systems , 2003, Inf. Softw. Technol..

[4] Alicja B Celer. Role of Larch/C++ specifications in black-box testing of object-oriented software , 1995 .

[5] May Haydar. Parameterized events for designing real-time reactive systems , 2001 .