A Strategic Aproach with Automated Safe Composable Model Testing Using Petrinets for Safety Critical System

摘要

Testing with vast requirements is a challenging task especially with interoperability system. Traditional testing approaches to safety critical distributed system has to be rethought as most of the approaches are based on testing from extensive requirements which is very time consuming. The idea proposed here is to design an automated safe composable testing model with compatible and composable components by designing with petrinets and hence into test sequences. Petrinets addresses issues concerning parallel system with automatic conversion and hence reducing time and cost.