A test strategy for the distributed real-time system MARS

The testing of real-time systems within the framework of the distributed real-time system MARS (maintainable real-time system), is considered. After a brief survey of the available literature and an overview of the background of this work, a proposed test strategy for MARS is described and two architectures for testbeds that allow actual test execution in two different test modes are derived. The specification, development and implementation on one specific test tool, the environmental simulator, is considered and its use in the proposed test strategy is discussed. The principles described are being applied to the construction of an experimental application for MARS.<<ETX>>

[1]  Robert L. Glass Real-time: the “Lost World” of software debugging and testing , 1980, CACM.

[2]  Stewart N. Weiss A formal framework for the study of concurrent program testing , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.

[3]  Hassan Gomaa Software development of real-time systems , 1986, CACM.

[4]  J.A. Stankovic,et al.  Misconceptions about real-time computing: a serious problem for next-generation systems , 1988, Computer.

[5]  C. Senft A computer-aided design environment for distributed realtime systems , 1988, [Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools.

[6]  Hermann Kopetz,et al.  Distributed fault-tolerant real-time systems: the Mars approach , 1989, IEEE Micro.

[7]  C. Senft,et al.  A graphical design environment for distributed real-time systems , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.

[8]  G. Chroust Application development project support , 1989, SOEN.

[9]  John F. Passafiume,et al.  Software testing and evaluation , 1987 .

[10]  Hermann Kopetz,et al.  Clock Synchronization in Distributed Real-Time Systems , 1987, IEEE Transactions on Computers.

[11]  John A. Stankovic,et al.  Misconceptions About Real-Time Computing , 1988, Computer.