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.
展开▼