Method and system for forming skeletons for generating verification systems
作者： Dmitri Galter , Ul Harry M. Sumar , Alexandre K. Petrenko , Alexandre S. Kossatchev , Igor B. Burdonov
DOI:
关键词:
摘要: A verification system for a procedure interface is generated by using formal specifications of the and generating test suites. The suites are from templates or skeletons which used to generate an element system. based on decomposition suits.
lens.org 参考文章(28)
Alfred E. Nickles, System and method for determining whether time-based operations of a computer system operate properly ,(1998)
Dennis E. Caughran, Michael J. Caughran, Steve C. Weber, Test information management system ,(1999)
Timothy Dennis Logan, Pudur S. Ramaswamy, Component testing with a client system in an integrated test environment network ,(1999)
Keith Andrew Longtin, John Gamwell Almstead, Maheshch Amritlal Morjaria, Remote diagnostic system and method collecting sensor data according to two storage techniques ,(1999)
Adam K. Kolawa, Roman Salvador, Method and system for generating a computer program test suite using dynamic symbolic execution of JAVA programs ,(1997)
Thomas H. Baker, Robert W. Proulx, John G. Rohrbaugh, Michael J. Bennett, Mercedes E. Gil, Apparatus and method for displaying wafer test results in real time ,(1992)
Marsten Hugh Parker, Leah Ruth Sklar, Laurence Ralph Kepple, David Christopher Laroche, Automated GUI interface testing ,(1993)
Leesa Murray, David Carrington, Ian MacColl, Jason McDonald, Paul Strooper, Formal Derivation of Finite State Machines for Class Testing Lecture Notes in Computer Science. ,vol. 1493, pp. 42- 59 ,(1998) , 10.1007/978-3-540-49676-2_4
John T. Dalton, Stephen A. Sciandra, Harvey G. Reed, Jonathan B. Aibel, Method and apparatus for testing object-oriented programming constructs ,(1995)
Toyohiko Ushiku, System and apparatus for selectively publishing electronic-mail ,(1997)