A Scenario-Based Approach to Validating and Testing Software Systems Using Statecharts
暂无分享,去创建一个
[1] Guney Gonenc,et al. A Method for the Design of Fault Detection Experiments , 1970, IEEE Transactions on Computers.
[2] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[3] Tsun S. Chow,et al. Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.
[4] Stéphane S. Somé,et al. Toward an Automation of Requirements Engineering using Scenarios , 1996 .
[5] Martin Rutishauser,et al. GLASS: Remote Monitoring of Embedded Systems in Power Engineering , 1998, IEEE Internet Comput..
[6] Martin Glinz,et al. A Practical Approach to Validating and Testing Software Systems Using Scenarios , 1999 .
[7] I. Spence,et al. Generation Of Software Tests From Specifications , 1970 .
[8] Ivar Jacobson,et al. Object-oriented software engineering - a use case driven approach , 1993, TOOLS.
[9] Martin Glinz,et al. On the State of the Art in Requirements-based Validation and Test ofSoftware , 1999 .
[10] Norbert E. Fuchs,et al. Attempto Controlled English - Not Just Another Logic Specification Language , 1998, LOPSTR.
[11] David Chenho Kung,et al. Formal approach to scenario analysis , 1994, IEEE Software.