TY - GEN
T1 - Automatic integrated test of phased mission systems oriented to earthquake response
AU - Song, Jiangong
AU - Li, Qinyong
AU - Lv, Jianghua
AU - Ma, Shilong
PY - 2017
Y1 - 2017
N2 - 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.
AB - 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.
KW - Earthquake response and process
KW - Formal methods
KW - Integrated test method
KW - Model checking
KW - Phased mission system
UR - https://www.scopus.com/pages/publications/85027868194
M3 - 会议稿件
AN - SCOPUS:85027868194
T3 - 2017 7th International Workshop on Computer Science and Engineering, WCSE 2017
SP - 224
EP - 232
BT - 2017 7th International Workshop on Computer Science and Engineering, WCSE 2017
PB - International Workshop on Computer Science and Engineering (WCSE)
T2 - 2017 7th International Workshop on Computer Science and Engineering, WCSE 2017
Y2 - 25 June 2017 through 27 June 2017
ER -