Context-Based Testing of COTs Using Petri Nets

The persistent problem with using reusable components is adequate integrations, compositions, and certifications testing that are related to the factors such as the lack of access to source code, lack of composition support, lack of standards and contexts in which Components of the Shelves (COTS) must be deployed. Existing approaches to testing reusable components heavily focus on interface and integration testing of COTS without specifying contexts. The theory of Petri nets has been used in the model-based engineering of software systems to specify dependency, concurrency, conflict, distribute ness, composition, choice, randomness, etc. In this work, we attempt to utilize Petri nets theory to specify and analyze contextual dependency (data, control, etc) among Cots and their environments. A simple case study known as Car Dashboard Control System (DCS) has been used to demonstrate our proposed idea.

[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 .