Aspect-Oriented Testing Approach For The Real-time Characteristic Of Real-Time Cyber-Physical System

The Cyber-physical system is a kind of digital, networked systems and physical process close fusion equipment system.The Cyber-physical system sets communication, computation and control integration in one and by the depth of the organic integration and collaboration of3C technology, large-scale engineering systems achieve real-time perception,dynamic control and information services. Along with development of Cyber-physical system concept, which makes the real-time system application integrating computer and network system environment.However,how to solve the problem about real-time characterastic, the safety and reliability of functional properties, and especially quality assurance of the system design and development is facing enormous challenge.Aspect-oriented programming technology well solves the code tangle and code scattering challenges that object-oriented programming have to face.It found that aspect-oriented programming should be extended to the entire software development cycle and full used the AOP technology from designing to code generation by analyzing the object-oriented programming. But now aspect-oriented programming technology is not mature, and it is still in an experimental stage.At the same time aspect-oriented programming introduced a new language structure,which may bring new types of software fault,and it brings software testing great challenges.In view of the above questions,this paper researches the real-time characteristic of Cyber-physical system by combination aspect-oriented technology and software testing technology,and does the application research of the road traffic system.Using aspect-oriented programming separates the nonfunction characteristics of road traffic system,especially the real-time characteristic.Differential dynamic logic naturally decomposes CPS operating model hybrid procedure into lots of parts,the description and verification of every part can get the description and verification by regular composition.By the differential temporal dynamic logic, this paper simulates and models the road traffic traffic,and tests the safety of its speed limits.Since that can not guarantee to test all the state of the system,this paper analyses and tests the reachability of road traffic system.By dynamic logic,this paper builds a model for road traffic system,and decomposes the state which is described by differential dynamic logic,and chooses some typical time point in order to guarantee to test all the state of the system.