Context-Based Testing of COTs Using Petri Nets
暂无分享,去创建一个
[1] Lionel C. Briand,et al. A UML-Based Approach to System Testing , 2001, UML.
[2] Hassan Reza,et al. A Methodology for Architectural Design of Concurrent and Distributed Software Systems , 2006, The Journal of Supercomputing.
[3] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[4] Hassan Reza,et al. A method to test concurrent systems using architectural specification , 2006, The Journal of Supercomputing.
[5] Anil Kumar Tripathi,et al. Dependence analysis of software component , 2010, SOEN.
[6] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[7] Hong Zhu,et al. A methodology of testing high-level Petri nets , 2002, Inf. Softw. Technol..
[8] Sriram Sankar,et al. Specifying and Testing Software Components using ADL , 1994 .
[9] George T. Heineman,et al. Component-Based Software Engineering: Putting the Pieces Together , 2001 .
[10] A. Jefferson Offutt,et al. UML-Based Integration Testing for Component-Based Software , 2003, ICCBSS.
[11] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools (2nd Edition) , 2006 .
[12] Ian Sommerville,et al. Software engineering 9th edition (international edition) , 2011 .
[13] Hans-Gerhard Groß,et al. Component-based software testing with UML , 2004 .
[14] Jean-Michel Bruel,et al. Using Aspects to Develop Built-In Tests for Components , 2003 .