WCSE 2017
ISBN: 978-981-11-3671-9 DOI: 10.18178/wcse.2017.06.039

Automatic Integrated Test of Phased Mission Systems Oriented to Earthquake Response

Jiangong Song, Qinyong Li, Jianghua Lv, Shilong Ma

Abstract— Since violent earthquakes occur frequently at home and abroad, for a class of mission systems in earthquake response and process, called phased mission systems, we propose an automatic integrated test method based on model checking to satisfy the need of complexity and trustworthiness required by phased mission systems. We build an automatic test system and test environment, and give a model of phased mission systems by system windows tree model, and also give a theoretical state diagram model. Based on model checking, an automatic test method for phased mission system is proposed, and an evaluation algorithm for systems trustworthiness is applied in a case study of the System of International Earthquake Response.

Index Terms— formal methods, model checking, phased mission system, earthquake response and process, integrated test method

Jiangong Song, Qinyong Li, Jianghua Lv, Shilong Ma
Beihang University, CHINA

[Download]


Cite: Jiangong Song, Qinyong Li, Jianghua Lv, Shilong Ma, "Automatic Integrated Test of Phased Mission Systems Oriented to Earthquake Response," Proceedings of 2017 the 7th International Workshop on Computer Science and Engineering, pp. 224 -232, Beijing, 25-27 June, 2017.