The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Coverage Criteria for State-Based Testing: A Systematic Review
|
|
Author(s): Sonali Pradhan (Siksha ‘O' Anusandhan University, Bhubaneswar, India), Mitrabinda Ray (Department of Computer Science and Engineering, Siksha ‘O' Anusandhan University, Bhubaneswar, India)and Srikanta Patnaik (Siksha ‘O' Anusandhan University, Bhubaneswar, India)
Copyright: 2019
Volume: 10
Issue: 1
Pages: 20
Source title:
International Journal of Information Technology Project Management (IJITPM)
Editor(s)-in-Chief: John Wang (Montclair State University, USA)
DOI: 10.4018/IJITPM.2019010101
Purchase
|
Abstract
State-based testing (SBT) is known as deriving test cases from state machines and examining the dynamic behaviour of the system. It helps to identify various types of state-based faults within a system under test (SUT). For SBT, test cases are generated from state chart diagrams based on various coverage criteria such as All Transition, Round Trip Path, All Transition Pair, All Transition Pair with length 2, All Transition Pair with length 3, All Transition Pair of length 4 and Full Predicate. This article discuses a number of coverage criteria at the design level to find out various types of state-based faults in SBT. First, the intermediate graph is generated from a state chart diagram using an XML parser. The graph is traversed based on the given coverage criteria to generate a sequence of test cases. Then, mutation testing and sneak-path testing are applied on the generated test cases to check the effectiveness of the generated test suite. These two are common methods for checking the effectiveness of test cases. Mutation testing helps in the number of seeded errors covered whereas sneak-path testing basically helps to examine the unspecified behavior of the system. In round trip path (RTP), it is not possible to cover all paths. All transition is not an adequate level of fault detection with more execution time compared to all transition pair (ATP) with length 4 (LN4). In the discussion, ATP with LN4 is the best among all coverage criteria. SBT can able to detect various state-based faults-incorrect transition, missing transition, missing or incorrect event, missing or incorrect action, extra missing or corrupt state, which are difficult to detect in code-based testing. Most of these state-based faults can be avoided, if the testing is conducted at the early phase of design.
Related Content
|
Zhi Chen, Jie Liu, Ying Wang.
© 2024.
19 pages.
|
|
Ping Zhang, Changrong Lv, Qingying Li, Bori Cong, Jian Liu.
© 2024.
19 pages.
|
|
Lai Xin, Liang Chang Sheng, Jiayu Feng, Hengyan Zhang.
© 2024.
17 pages.
|
|
Abida Ellahi, Yasir Javed, Mohammad Farooq Jan, Zaid Sultan.
© 2024.
20 pages.
|
|
Tongyue Feng, Jiexiang Xu, Zehan Zhou, Yilang Luo.
© 2024.
21 pages.
|
|
Toby Chau, Helen Lv Zhang, Yuyue Gui, Man Fai Lau.
© 2024.
13 pages.
|
|
Andrew J. Setterstrom, Jack T. Marchewka.
© 2024.
22 pages.
|
|
|