TY - GEN
T1 - MC/DC Test Case Automatic Generation for Safety-Critical Systems
AU - Wang, Cong
AU - Sun, Haiying
AU - Dou, Hui
AU - Chen, Hongtao
AU - Liu, Jing
N1 - Publisher Copyright:
© 2022 IEEE.
PY - 2022
Y1 - 2022
N2 - Testing is an essential part of the software development of Safety-Critical Systems (SCSs). Since it can automatically generate test cases using the system requirement models, Model-Based Testing (MBT) is suitable for SCSs. However, most of the existing system modeling languages for SCSs mainly focus on representing functional requirements rather than safety, e.g., SysML. In this paper, we first propose a modeling language, Safety SysML State Machine (S2MSM), to guarantee safety during the requirement modeling stage. Second, we propose a model transformation algorithm to transform the S2MSM model into an intermediate model. Then, we design a time flow operation sequence that simulates the external real-time environment. Finally, we generate test cases from the intermediate model according to the MC/DC criterion and time flow operation sequence. We conduct a case study on a real-world SCS application to demonstrate the effectiveness and efficiency of the proposed approach.
AB - Testing is an essential part of the software development of Safety-Critical Systems (SCSs). Since it can automatically generate test cases using the system requirement models, Model-Based Testing (MBT) is suitable for SCSs. However, most of the existing system modeling languages for SCSs mainly focus on representing functional requirements rather than safety, e.g., SysML. In this paper, we first propose a modeling language, Safety SysML State Machine (S2MSM), to guarantee safety during the requirement modeling stage. Second, we propose a model transformation algorithm to transform the S2MSM model into an intermediate model. Then, we design a time flow operation sequence that simulates the external real-time environment. Finally, we generate test cases from the intermediate model according to the MC/DC criterion and time flow operation sequence. We conduct a case study on a real-world SCS application to demonstrate the effectiveness and efficiency of the proposed approach.
KW - Ceramics
KW - coaxial resonators
KW - delay filters
KW - delaylines
KW - power amplifiers
UR - https://www.scopus.com/pages/publications/85151419270
U2 - 10.1109/QRS57517.2022.00079
DO - 10.1109/QRS57517.2022.00079
M3 - 会议稿件
AN - SCOPUS:85151419270
T3 - IEEE International Conference on Software Quality, Reliability and Security, QRS
SP - 732
EP - 743
BT - Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security, QRS 2022
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022
Y2 - 5 December 2022 through 9 December 2022
ER -