A Log-Based Testing Approach for Detecting Faults Caused by Incorrect Assumptions About the Environment

Sooyong JEONG  Ajay Kumar JHA  Youngsul SHIN  Woo Jin LEE  

IEICE TRANSACTIONS on Information and Systems   Vol.E103-D   No.1   pp.170-173
Publication Date: 2020/01/01
Online ISSN: 1745-1361
DOI: 10.1587/transinf.2019EDL8149
Type of Manuscript: LETTER
Category: Software Engineering
log-based testing,  model-based development,  incorrect assumptions,  fault detection,  

Full Text: PDF(1MB)>>
Buy this Article

Embedded software developers assume the behavior of the environment when specifications are not available. However, developers may assume the behavior incorrectly, which may result in critical faults in the system. Therefore, it is important to detect the faults caused by incorrect assumptions. In this letter, we propose a log-based testing approach to detect the faults. First, we create a UML behavioral model to represent the assumed behavior of the environment, which is then transformed into a state model. Next, we extract the actual behavior of the environment from a log, which is then incorporated in the state model, resulting in a state model that represents both assumed and actual behaviors. Existing testing techniques based on the state model can be used to generate test cases from our state model to detect faults.