TY - JOUR
T1 - Ensuring the Observability of Structural Test Obligations
AU - Meng, Ying
AU - Gay, Gregory
AU - Whalen, Michael
PY - 2018/9/5
Y1 - 2018/9/5
N2 - Test adequacy criteria are widely used to guide test creation. However, many of these criteria are sensitive to statement structure or the choice of test oracle. This is because such criteria ensure that execution reaches the element of interest, but impose no constraints on the execution path after this point. We are not guaranteed to observe a failure just because a fault is triggered. To address this issue, we have proposed the concept of observability - an extension to coverage criteria based on Boolean expressions that combines the obligations of a host criterion with an additional path condition that increases the likelihood that a fault encountered will propagate to a monitored variable.
AB - Test adequacy criteria are widely used to guide test creation. However, many of these criteria are sensitive to statement structure or the choice of test oracle. This is because such criteria ensure that execution reaches the element of interest, but impose no constraints on the execution path after this point. We are not guaranteed to observe a failure just because a fault is triggered. To address this issue, we have proposed the concept of observability - an extension to coverage criteria based on Boolean expressions that combines the obligations of a host criterion with an additional path condition that increases the likelihood that a fault encountered will propagate to a monitored variable.
KW - Automated Test Generation
KW - Model-Based Test Generation
KW - Software Testing
KW - Test Adequacy Criteria
UR - http://www.scopus.com/inward/record.url?scp=85052877343&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85052877343&partnerID=8YFLogxK
U2 - 10.1109/TSE.2018.2869146
DO - 10.1109/TSE.2018.2869146
M3 - Article
AN - SCOPUS:85052877343
SN - 0098-5589
JO - IEEE Transactions on Software Engineering
JF - IEEE Transactions on Software Engineering
ER -