Modeling and Optimizing CPS Software Testing based on Petri Nets

doi:10.23940/ijpe.17.08.p2.11831194

Abstract

Abstract: 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.

Submitted on September 29, 2017; Revised on November 12, 2017; Accepted on November 23, 2017
References: 17

Liqiong Chen, Guisheng Fan, and Huiqun Yu. Modeling and Optimizing CPS Software Testing based on Petri Nets [J]. Int J Performability Eng, 2017, 13(8): 1183-1194.

Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks

References 0

	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
	A. Aerts A, M. Reniers, M. Mousavi, “Model-Based Testing of Cyber-Physical Systems,” Cyber-Physical Systems, pp. 287-304, 2017
	G. Al-Hudhud, “Aspect Oriented Design for Team Learning Management System,” Computers in Human Behavior, vol. 51, no. PB, pp. 627-631, 2015
	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
	R. Baheti and H. Gill, “Cyber-Physical Systems,” Computer, vol. 42, no. 3, pp. 88-89, 2017
	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
	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
	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
	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
	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
	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
	M. Mohaqeqi, M. Mousavi, “Sound Test-Suites for Cyber-Physical Systems,” International Symposium on Theoretical Aspects of Software Engineering, pp. 42-48, IEEE, 2016
	D. Rawat, J. Rodrigues and I. Stojmenovic, “Cyber-Physical Systems: From Theory to Practice,” CRC Press, 2015
	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
	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
	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
	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