Transition coverage based test case generation from state chart diagram

Pradhan, Sonali; Ray, Mitrabinda; Swain, Santosh Kumar

doi:10.1016/j.jksuci.2019.05.005

Cited by 18 publications

(6 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this experiment, we generated test cases from both the base model and the log-adjusted model using ATSA (All transition state algorithm) [14] To execute the test cases, we converted the state conditions in each state with real values that satisfy the conditions. Then, we executed Gyroscope Explorer by feeding the real values of the Y-axis rotation through sensor listener using Galaxy S9+ smartphone.…”

Section: Discussionmentioning

confidence: 99%

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

Jeong

Jha

Shin

et al. 2020

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

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.

show abstract

Section: Discussionmentioning

confidence: 99%

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

Jeong

Jha

Shin

et al. 2020

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

show abstract

“…As state-based testing has been known as a challenging task in software testing, authors in [12] proposed an approach using various coverage criteria derived from SCD. It has been observed from previous studies [27] that TC are generated by minimizing time and cost. However, the challenge is to use such techniques proposed from UML diagrams and consider the concurrent states for generating TC.…”

Section: Related Workmentioning

confidence: 99%

A UML-based Approach towards Test Case Generation and Optimization

2024

KSII TIIS

View full text Add to dashboard Cite

Software testing is an important phase as it ensures the software quality. The software testing process comprises of three steps: generation, execution, and evaluation of test cases. Literature claims the usage of single and multiple 'Unified Modeling Language' (UML) diagrams to generate test cases. Using multiple UML diagrams increases test case coverage. However, the existing approaches show limitations in test case generation from UML diagrams. Therefore, in this research study, we propose an approach to generate the test cases using UML State Chart Diagram (SCD), Activity Diagram (AD), and Sequence Diagram (SD). The proposed approach transforms UML diagrams into intermediate forms: SCD Graph, AD Graph, and SD Graph respectively. Furthermore, by integrating these three graphs, a System Testing Graph (STG) is formed. Finally, test cases are identified from STG by using a traversal algorithm such as Depth First Search (DFS) that is an optimization method. The results show that the proposed approach is better compared to existing approaches in terms of coverage and performance. Moreover, the generated test cases have the ability to detect faults at the unit level, integration, and system level testing.

show abstract

“…Conformance testing based on FSM has always been an active research direction in software testing [31][32][33][34][35][36][37][38][39]. In the existing literature, there are precedents for improving fault coverage in conformance testing by combining different testing methods.…”

Section: Related Workmentioning

confidence: 99%

A Combining Method for Wireless Protocol Conformance Testing: A Empirical Case

Lin

Zeng

Kim

2021

Wireless Communications and Mobile Computing

View full text Add to dashboard Cite

Ensuring the consistency of protocol implementation and protocol specification is the basic premise of wireless communication. With the application of wireless communication in more and more fields, the wireless communication environment becomes more and more complex, and the fault coverage of wireless protocol conformance testing is also facing more and more challenges. To solve this problem, this paper uses Finite State Machine (FSM) as a formal description tool for wireless protocols and presents a combining test method based on two test methods with complementary characteristics in the test technologies based on structural coverage and state identification. Then, the paper evaluates the effectiveness of the method based on 14 empirical cases. The experimental results show that the fault coverage of each empirical case can be effectively improved to 100% when the average test cost is only increased by 17.99%.

show abstract

Transition coverage based test case generation from state chart diagram

Cited by 18 publications

References 19 publications

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

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

A UML-based Approach towards Test Case Generation and Optimization

A Combining Method for Wireless Protocol Conformance Testing: A Empirical Case

Contact Info

Product

Resources

About