论文信息 - Systematic testing: A means for validating reactive systems

Systematic testing: A means for validating reactive systems

The validity of the first (formal) model of a system to be developed is crucial for the whole development process. Systematically checking this validity helps avoid costs that could arise if it were discovered too late that the system does not satisfy the customer's needs and expectations.

Monika Müllerburg

[1] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[2] M. Ümit Uyar,et al. Finite State Machine Based Formal Methods in Protocol Conformance Testing: From Theory to Implementation , 1991, Comput. Networks ISDN Syst..

[3] David Lee,et al. Testing Finite-State Machines: State Identification and Verification , 1994, IEEE Trans. Computers.

[4] Ferhat Khendek,et al. Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..

[5] Tsun S. Chow,et al. Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[6] Combining Testing and Formal Veriication for Validating Reactive Systems , 1994 .

[7] Nicolas Halbwachs,et al. LUSTRE: A declarative language for programming synchronous systems* , 1987 .

[8] Amir Pnueli,et al. On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[9] M. Mullerburg,et al. On the effectiveness of program testing , 1988 .

[10] Alexandre Petrenko,et al. Protocol testing: review of methods and relevance for software testing , 1994, ISSTA '94.

[11] Glenford J. Myers,et al. Art of Software Testing , 1979 .

[12] James Collofello,et al. AUTOMATED PASCAL MULTIPLE CONDITION TEST COVERAGE TOOL. , 1984 .