Design And Implementation Of Conformance Testing System Based On Parallel Composite Timed Automata

At present,with the rapid development of intelligent vehicles,more and more vehicles use data buses to transmit in-vehicle information.As the bus communication security solution of AUTOSAR,SecOC is widely used by major automobile manufacturers.As an embedded real-time software,it is very important for the implementation of SecOC to be consistent with its design specifications.However,current AUTOSAR standard does not give out official conformance test method for SecOC.This paper takes model-based testing as the methodology,uses timed automata to describe the design model of SecOC,and proposes a soundness testing method for the time input-output conformance relationship.The test method is divided into two stages:test generation and test execution and judgment.First,this paper generate discrete operational semantics for timed automata,called grid automata.Next,all grid automata are parallel composited incrementally,and during the process of composition,a state compression method is introduced to alleviate the problem of state explosion.After that,soundness test suites are generated based on composited grid automata.Finally,the test execution and judgement phase is the process in which the test system interacts with the implementation under test according to the test suite.In this process,the system judges whether to pass the test according to the output and the timeliness of the output.To ensure accurate test execution,test execution control relies on real-time scheduling of hard real-time operating systems.The experimental results show that the test method proposed in this paper can test the output errors and time errors with a certain precision in the implementation of SecOC.Meanwhile,the state compression algorithm introduced in the test method effectively reduces the state of the model.It is worth noting that the test method proposed in this paper can be used as a general method for testing concurrent real-time systems based on parallel composite time automata.Due to the use of pre-test generation and real-time test control,the test system in this paper has higher test accuracy than previous.