Test Generation Tool for Modified Condition/Decision Coverage

qortobi, Mounia El; Rahj, Amine; Dssouli, Rachida

doi:10.1145/3419604.3419628

Cited by 4 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Ma and Provost [31] suggest a testing process that ensures that a system's nominal behavior is fully covered while still allowing for the consideration of defective behavior. Elqortobi et al [32] describe the components of an automated Modified Condition/Decision Coverage MC/DC Test Generation Tool (TGT) for avionics software test sequence generation. Their method incorporates three coverage parameters to increase the performance and error detection capacity of the derived tests.…”

Section: Related Workmentioning

confidence: 99%

Sena TLS-Parser: A Software Testing Tool for Generating Test Cases

Ibrahim¹,

AbuSalim²,

Jamel³

et al. 2022

IJACSA

View full text Add to dashboard Cite

Currently, software complexity and size has been steadily growing, while the variety of testing has also been increased as well. The quality of software testing must be improved to meet deadlines and reduce development testing costs. Testing software manually is time consuming, while automation saves time and money as well as increasing test coverage and accuracy. Over the last several years, many approaches to automate test case creation have been proposed. Model-based testing (MBT) is a test design technique that supports the automation of software testing processes by generating test artefacts based on a system model that represents the system under test's (SUT) behavioral aspects. The optimization technique for automatically generating test cases using Sena TLS-Parser is discussed in this paper. Sena TLS-Parser is developed as a Plug-in Tool to generate test cases automatically and reduce the time spent manually creating test cases. The process of generating test cases automatically by Sena TLS-Parser is be presented through several case studies. Experimental results on six publicly available java applications show that the proposed framework for Sena TLS-Parser outperforms other automated test case generation frameworks. Sena TLS-Parser has been shown to solve the problem of software testers manually creating test cases, while able to complete optimization in a shorter period of time. Keywords-Software testing; schema parser; software under test (SUT); model based testing (MBT); java applications 397 | P a g e www.ijacsa.thesai.org

show abstract

Section: Related Workmentioning

confidence: 99%

Sena TLS-Parser: A Software Testing Tool for Generating Test Cases

Ibrahim¹,

AbuSalim²,

Jamel³

et al. 2022

IJACSA

View full text Add to dashboard Cite

show abstract

“…Several research efforts have proposed the use of existing coverage techniques for specific modeling languages, e.g., see logic coverage for State Machines [19], data-flow coverage for executable UML models [46], branch coverage for activity diagrams [7], among many others. To the best of our knowledge, there is no generic coverage criterion for xModels.…”

Section: Related Workmentioning

confidence: 99%

From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages

Khorram

Bousse

Garmendía³

et al. 2022

Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering

View full text Add to dashboard Cite

To test a system efficiently, we need to know how good are the defined test cases and to localize detected faults in the system. Measuring test coverage can address both concerns as it is a popular metric for test quality evaluation and, at the same time, is the foundation of advanced fault localization techniques. However, for Domain-Specific Languages (DSLs), coverage metrics and associated tools are usually manually defined for each DSL representing costly, error-prone, and non-reusable work.To address this problem, we propose a generic coverage computation and fault localization framework for DSLs. Considering a test suite executed on a model conforming to a DSL, we compute a coverage matrix based on three ingredients: the DSL specification, the coverage rules, and the model's execution trace. Using the test execution result and the computed coverage matrix, the framework calculates the suspiciousness-based ranking of the model's elements based on existing spectrum-based techniques to help the user in localizing the model's faults. We provide a tool atop the Eclipse GEMOC Studio and evaluate our approach using four different DSLs, with 297 test cases for 21 models in total.

show abstract

Granular Traceability Between Requirements and Test Cases for Safety-Critical Software Systems

Elqortobi

Rahj

2023

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Test Generation Tool for Modified Condition/Decision Coverage

Cited by 4 publications

References 15 publications

Sena TLS-Parser: A Software Testing Tool for Generating Test Cases

Sena TLS-Parser: A Software Testing Tool for Generating Test Cases

From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages

Granular Traceability Between Requirements and Test Cases for Safety-Critical Software Systems

Contact Info

Product

Resources

About