Abstract
Finite-state machines (FSMs) and the W method have been widely used in software testing. However, the W method fails to detect post-processing errors in the implementation under test (IUT) because it ends testing when it encounters a previously visited state. To alleviate this issue, we propose an enhanced fault-detection W method. The proposed method does not stop the test, even if it has reached a previously visited state; it continues to test and check the points that the W method misses. Through various case studies, we demonstrated software testing using the W method and the proposed method. From the results, it can be inferred that the proposed method can more explicitly determine the consistency between design and implementation, and it is a better option for testing larger software. Unfortunately, the testing time of the proposed method is approximately 1.4 times longer than that of the W method because of the added paths. However, our method is more appropriate than the W method for software testing in safety-critical systems, even if this method is time consuming. This is because the error-free characteristics of a safety-critical system are more important than anything else. As a result, our method can be used to increase software reliability in safety-critical embedded systems.
Highlights
In recent decades, because of the groundbreaking development of computer engineering technology, automatic control systems have gradually substituted for humans
We propose an enhanced fault-detection W method to generate test suites, In this paper, we aim to reinforce the checking of the equivalence between the Finite-state machines (FSMs) specification analyze the testing time, and apply the method to case studies
We propose an enhanced fault‐detection W method to generate test suites, case studies, we demonstrate that system checking through the W method is not up to par with our analyze the testing time, and apply the method to case studies
Summary
Because of the groundbreaking development of computer engineering technology, automatic control systems have gradually substituted for humans. We propose an enhanced fault-detection W method to generate test suites (sequences), In this paper, we aim to reinforce the checking of the equivalence between the FSM specification analyze the testing time, and apply the method to case studies. We show that the difference in the number of errors captured by the two than the W method in safety‐critical systems where the error‐free characteristic is more important methods increases as the software becomes larger and more complex. This result indicates that our than anything else. Our method can be used to increase software reliability in safety‐critical embedded systems
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
