TY - GEN
T1 - Test case prioritization for acceptance testing of cyber physical systems
T2 - 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018
AU - Shin, Seung Yeob
AU - Nejati, Shiva
AU - Sabetzadeh, Mehrdad
AU - Briand, Lionel C.
AU - Zimmer, Frank
N1 - Publisher Copyright:
© 2018 Association for Computing Machinery.
PY - 2018/7/12
Y1 - 2018/7/12
N2 - Acceptance testing validates that a system meets its requirements and determines whether it can be sufficiently trusted and put into operation. For cyber physical systems (CPS), acceptance testing is a hardware-in-the-loop process conducted in a (near-)operational environment. Acceptance testing of a CPS often necessitates that the test cases be prioritized, as there are usually too many scenarios to consider given time constraints. CPS acceptance testing is further complicated by the uncertainty in the environment and the impact of testing on hardware. We propose an automated test case prioritization approach for CPS acceptance testing, accounting for time budget constraints, uncertainty, and hardware damage risks. Our approach is based on multi-objective search, combined with a test case minimization algorithm that eliminates redundant operations from an ordered sequence of test cases. We evaluate our approach on a representative case study from the satellite domain. The results indicate that, compared to test cases that are prioritized manually by satellite engineers, our automated approach more than doubles the number of test cases that fit into a given time frame, while reducing to less than one third the number of operations that entail the risk of damage to key hardware components.
AB - Acceptance testing validates that a system meets its requirements and determines whether it can be sufficiently trusted and put into operation. For cyber physical systems (CPS), acceptance testing is a hardware-in-the-loop process conducted in a (near-)operational environment. Acceptance testing of a CPS often necessitates that the test cases be prioritized, as there are usually too many scenarios to consider given time constraints. CPS acceptance testing is further complicated by the uncertainty in the environment and the impact of testing on hardware. We propose an automated test case prioritization approach for CPS acceptance testing, accounting for time budget constraints, uncertainty, and hardware damage risks. Our approach is based on multi-objective search, combined with a test case minimization algorithm that eliminates redundant operations from an ordered sequence of test cases. We evaluate our approach on a representative case study from the satellite domain. The results indicate that, compared to test cases that are prioritized manually by satellite engineers, our automated approach more than doubles the number of test cases that fit into a given time frame, while reducing to less than one third the number of operations that entail the risk of damage to key hardware components.
KW - Acceptance Testing
KW - Cyber Physical Systems
KW - Multi-objective Optimization
KW - Search-based Software Engineering
KW - Test Case Prioritization
UR - http://www.scopus.com/inward/record.url?scp=85051547390&partnerID=8YFLogxK
U2 - 10.1145/3213846.3213852
DO - 10.1145/3213846.3213852
M3 - Conference contribution
AN - SCOPUS:85051547390
T3 - ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
SP - 49
EP - 60
BT - ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
A2 - Bodden, Eric
A2 - Tip, Frank
PB - Association for Computing Machinery, Inc
Y2 - 16 July 2018 through 21 July 2018
ER -