Username   Password       Forgot your password?  Forgot your username? 

Modeling and Optimizing CPS Software Testing based on Petri Nets

Volume 13, Number 8, December 2017, pp. 1183-1194
DOI: 10.23940/ijpe.17.08.p2.11831194

Liqiong Chena,b, Guisheng Fanc, Huiqun Yuc

aDepartment of Computer Science and Information Engineering, Shanghai Institute of Technology,  Shanghai 200235,  China
bShanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai 201112, China
cDepartment of Computer Science and Engineering East China University of Science and Technology, Shanghai 200237, China

(Submitted on September 29, 2017; Revised on November 12, 2017; Accepted on November 23, 2017)


Software testing is an important means to ensure the quality of software. However, there is a lack of effective modeling and optimization of CPS software testing. In this paper, Petri nets are used to model the underlying devices, components, connectors and test cases of CPS software. Aspect oriented programming extracts the crosscutting concerns of CPS software testing. The behaviors and their relationships are described based on AOP, and a weaving mechanism is used to dynamically integrate these models into the test model of CPS. The correctness of the model is analyzed by using the operation semantics and related theories of Petri nets. Based on the state space of constructed model, a strategy is proposed to dynamically select the test suite. The experiment results show that this method can effectively describe the CPS software testing process, which can improve the quality of software testing.


References: 17

      1. A. Aerts, M. Mousavi and M. Reniers, “A Tool Prototype for Model Based Testing of Cyber-Physical Systems,” International Colloquium on Theoretical Aspects of Computing, pp. 563-572, Springer-Verlag, 2015
      2. A. Aerts A, M. Reniers, M. Mousavi, “Model-Based Testing of Cyber-Physical Systems,” Cyber-Physical Systems, pp. 287-304, 2017
      3. G. Al-Hudhud, “Aspect Oriented Design for Team Learning Management System,” Computers in Human Behavior, vol. 51, no. PB, pp. 627-631, 2015
      4. S. A. Asadollah, R. Inam and H. Hansson, “A Survey on Testing for Cyber Physical System,”in International Conference on Testing Software and Systems, pp.194-207, Springer-Verlag, Inc. November, 2015
      5. R. Baheti and H. Gill, “Cyber-Physical Systems,” Computer, vol. 42, no. 3, pp. 88-89, 2017
      6. I. Buzhinsky, C. Pang, V. Vyatkin, “Formal Modeling of Testing Software for Cyber-Physical Automation Systems,” IEEE Trustcom/bigdatase/ispa, pp. 301-306, IEEE, 2015
      7. T. Chen, J. Sanchez-Aarnoutse and J. Buford, “Petri Net Modeling of Cyber-Physical Attacks on Smart Grid,” IEEE Transactions on Smart Grid, vol. 2, no. 4, pp. 741-749, 2011
      8. Z. Ding, Y. Zhou and M. Zhou, “Modeling Self-Adaptive Software Systems with Learning Petri nets,” IEEE Transactions on Systems Man & Cybernetics Systems, vol. 46, no. 4, pp. 483-498, 2016
      9. G. Fan, H. Yu and L. Chen, “A Formal Aspect-Oriented Method for Modeling and Analyzing Adaptive Resource Scheduling in Cloud Computing,” IEEE Transactions on Network & Service Management, vol. 13, no. 2, pp. 281-294, 2016
      10. G. Kiczales, J. Lamping and A. Mendhekar, “Aspect-Oriented Programming,” in Proceedings of the European Conference on Object-Oriented Programming, pp. 220-242, Springer-Verlag, 1997
      11. U. Markiegi, “Test Optimisation for Highly-Configurable Cyber-Physical Systems,” in The International Systems and Software Product Line Conference, pp. 139-144, IEEE, September, 2017
      12. M. Mohaqeqi, M. Mousavi, “Sound Test-Suites for Cyber-Physical Systems,” International Symposium on Theoretical Aspects of Software Engineering, pp. 42-48, IEEE, 2016
      13. D. Rawat, J. Rodrigues and I. Stojmenovic, “Cyber-Physical Systems: From Theory to Practice,” CRC Press, 2015
      14. F. Saglietti, D. Fohrweiser and S. Winzinger, “Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems,” Software Engineering and Advanced Applications, pp. 479-483, IEEE, 2015
      15. J. Yang, C. Zhou, S. Yang, H. Xu and B. Hu, “Anomaly Detection Based on Zone Partition for Security Protection of Industrial Cyber-Physical Systems,” IEEE Transactions on Industrial Electronics, vol. 99, pp. 1-1, 2017
      16. T. Wang, Q. Su, T. Chen, “Formal Analysis of Security Properties of Cyber Physical System Based on Timed Automata,” in IEEE Second International Conference on Data Science in Cyberspace, pp. 534-540, IEEE, June,2017
      17. J. Wang, H. Yu and C. Leng, “Sequence Composition Analysis of Noninterference in Cyber-Physical System with Petri Net,” International Journal of Security & Its Applications, vol. 8, no. 3, pp. 185-192, 2014


          Click here to download the paper.

          Please note : You will need Adobe Acrobat viewer to view the full articles.Get Free Adobe Reader

          This site uses encryption for transmitting your passwords.