Aspect-Oriented Testing Approach Of Real-Time System In Cyber Physical Systems

Aspect-oriented programming paradigm introduces aspect to realize the separation and encapsulation of crosscut concerns. It well solve the code tangle and code scattering challenges that object-oriented programming have to face, and make the system easy to be realized and expanded, also increase the software modularity and reusability. However, AOP is mainly used in the analysis, design and code implementation phases of software development life cycle. The research of aspect-oriented testing techniques and methods is relatively few. In addition, the realization of the AOP introduced a new language structure, which may bring new types of software fault. This brings software testing great challenges.With the development of RFID and computational capabilities, Cyber-Physical network environment become the hot research area after The Internet of Thellongs(IoT). As an important application place of real-time system, CPS sets communication, calculation and control integration in one and attaches great importance to the physical resource and computational resources closely integration and coordination. It has wide application like robot system, state grid and intelligent transportation systems etc. Challenges for CPS include theory lacking of system design, system development and system integration. Some nonfunctional characteristics like system instantaneity, security and reliability are important content of urgently to be solved. Especially system quality assurance faces huge challenge of design and development.Based on the above requirements, this paper analyzes characteristics of real-time system under Cyber-Physical network environment, and also analyzes the advantages and disadvantages of several frequently-used aspect-oriented testing approaches including aspect-oriented testing method based on fault models, state-based testing approach for aspect-oriented programs and aspect flow graph for testing aspect-oriented programs. This paper proposes prioritizing state-based testing for aspect-oriented programs. Firstly, under the guidance of model-based aspect testing framework, create aspect-oriented finite state machine model for the correct program. This program can pass all the aspect-oriented state model tests; Then produce a trasition tree according to the system state model, and then get the test suites; After that, determine the testing priority by identifying the changes of its corresponding base class of this aspect, and then execute test suites generated without prioritization and with prioritization respectively. Finally analysis on rationality according to the test results.This paper proposes prioritizing state-based testing for aspect-oriented programs for the first time. At the end of this article gives an example of adaptive cruise control system to illustrate and verify it. The results show that this method can effectively detect some possible interaction errors of aspect-oriented programs, and will accelerate test schedule and enhance the correctness and robustness of aspect-oriented programs.