Finite State model-based testing user interface
作者： Steven Rosaria , Henry J. Robinson
DOI:
关键词:
摘要: A finite state model-based testing system has a user interface to enable enter information and transition about software application be tested. The further enables initiate model generation engine generate of the from information. graph traversal menu select program test sequence inputs for model, execution driver read application, execute on application.
google.com.mx 参考文章(9)
Ronald A. Kita, Sylvia C. Tremblay, Thomas M. Lynch, Method and apparatus for generating tests for structures expressed as extended finite state machines ,(1993)
Aarti Gupta, Sharad Malik, Pranav Ashar, Method for design validation using retiming ,(1999)
Mark Edward Trumpler, Lois Scirocco Elkind, Ronald Allen Kita, Method and apparatus for testing implementations of software specifications ,(1996)
Doug Cardy, George Yao, Wendy Wong, Kelvin Porter, Carol Waller, Ken Rambo, Robert Barnhouse, Intelligent call platform for an intelligent distributed network architecture ,(2002)
Jai-Jein Yu, Andrzej P. Mazur, Brian Groves, Karen Brodersen, Michael Yu, State models for monitoring processes ,(1999)
Harry Robinson, F INITE STATE MODEL-BASED TESTING ON A SHOESTRING ,(1999)
Mark Edward Trumpler, Lois Scirocco Elkind, Ronald Allen Kita, Method and apparatus for generating an extended finite state machine architecture for a software specification ,(1997)
Harry Robinson, Graph Theory Techniques in Model-Based Testing ,(1999)