Ensuring the Observability of Structural Test Obligations

Ying Meng, Gregory Gay, Michael Whalen

Research output: Contribution to journalArticlepeer-review

5 Scopus citations


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.

Original languageEnglish (US)
Article number8456606
Pages (from-to)748-772
Number of pages25
JournalIEEE Transactions on Software Engineering
Issue number7
StateAccepted/In press - Sep 5 2018

Bibliographical note

Publisher Copyright:
© 1976-2012 IEEE.


  • Automated Test Generation
  • Model-Based Test Generation
  • Software Testing
  • Test Adequacy Criteria


Dive into the research topics of 'Ensuring the Observability of Structural Test Obligations'. Together they form a unique fingerprint.

Cite this