2020
DOI: 10.1587/transinf.2019edl8149
|View full text |Cite
|
Sign up to set email alerts
|

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

Abstract: 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. N… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(1 citation statement)
references
References 10 publications
0
1
0
Order By: Relevance
“…The approach employs search-based testing, machine learning, and model checking techniques. Jeong et al [15] also focused on environment assumptions, and they proposed a log-based testing approach to identify faults caused by invalid environment assumptions in model-based development. Li et al [19] conducted an experiment to evaluate the performance of seven machine learning methods (e.g., Support Vector Machine, Logistic Regression, and Perceptron) in automatically classifying software development assumptions.…”
Section: Assumptions In Software Developmentmentioning
confidence: 99%
“…The approach employs search-based testing, machine learning, and model checking techniques. Jeong et al [15] also focused on environment assumptions, and they proposed a log-based testing approach to identify faults caused by invalid environment assumptions in model-based development. Li et al [19] conducted an experiment to evaluate the performance of seven machine learning methods (e.g., Support Vector Machine, Logistic Regression, and Perceptron) in automatically classifying software development assumptions.…”
Section: Assumptions In Software Developmentmentioning
confidence: 99%