A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Smart Test Case Quantifier Based on Mc/Dc Coverage Criterion with Uml Sequence Diagram
2020
International journal of recent technology and engineering
Preserved Fulltext
The code-based generation of test cases, is a white box testing approach, test coverage criteria Modified Condition/Decision Condition (MC/DC) has been used to ensure the maximum coverage of the code during ...
The objective of this paper is to automate the generation of minimal number of test cases required to test a system with maximum coverage by removing the redundant test cases using MC/DC criterion. ...
The various approaches used for generating test cases such as scenario based test case generation approach [6] , model based test case generation approach, and genetic based test case generation approach ...
doi:10.35940/ijrte.a2280.059120
fatcat:46nmqomucvg7lbdydv5nqehtpq
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
tool that determines whether each decision is MC/DC-covered by a set of models executions (runs). ...
We have implemented our approach in a library for CPN Tools comprised of an annotation and instrumentation mechanism that transparently intercept and collect evaluations of Boolean conditions, and a post-processing ...
We thank Svetlana Jakšić for discussions on this work. ...
arXiv:2005.09806v1
fatcat:it2pfmlksrhmxf7ayni5fldryi
Automatic Generation of Acceptance Test Cases from Use Case Specifications: an NLP-based Approach
2020
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
More specifically, UMTG automates the generation of acceptance test cases based on use case specifications and a domain model for the system under test, which are commonly produced in many development ...
In two industrial case studies, UMTG automatically and correctly translated 95% of the use case specification steps into formal constraints required for test data generation; furthermore, it generated ...
For example, ISO26262, the main international automotive standard, enforces statement, branch, and MC/DC coverage for unit testing only [3] . ...
doi:10.1109/tse.2020.2998503
fatcat:f7ve42c7qzdnjjqrjr24f6apsm
Automatic Generation of Acceptance Test Cases from Use Case Specifications: an NLP-based Approach
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
More specifically, UMTG automates the generation of acceptance test cases based on use case specifications and a domain model for the system under test, which are commonly produced in many development ...
In two industrial case studies, UMTG automatically and correctly translated 95% of the use case specification steps into formal constraints required for test data generation; furthermore, it generated ...
For example, ISO26262, the main international automotive standard, enforces statement, branch, and MC/DC coverage for unit testing only [3] . ...
arXiv:1907.08490v2
fatcat:lph77r5to5cc5mlczlee6sgk4e
Decomposing Constraints for Better Coverage in Test Data Generation
2018
International Journal of Performability Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In black-box testing, a possible choice for test data generation is to derive test data from interface constraints using some constraint solving techniques. ...
For example, when solving a constraint (a > 0 or b < 0) in a whole, we cannot guarantee that data covering sub-constraint b < 0 will be involved in the test set. ...
In the future, we plan to bring more white-box coverage criteria, e.g., MC/DC, into constraint-level and study more constraint decomposition strategies for test data generation. ...
doi:10.23940/ijpe.18.06.p16.12511262
fatcat:hubcucwwend3lprxdwfk5to3wa
Exploring Software Security Test Generation Techniques: Challenges and Opportunities
2021
International Journal of Education and Information Technologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In this paper, we review various software security test case generation approaches and techniques. We try to explore and classify the most eminent techniques for test case generation. ...
Manually testing software for security is a labor-intensive task. Therefore, it is required to automate the process of testing by generating test cases by automated techniques. ...
The authors in [1] discussed various search heuristics which are based on OCL constraint. These techniques lead to test data generation and automate Model-Based Testing in industrial applications. ...
doi:10.46300/9109.2021.15.11
fatcat:jfrdf2fi4zdo7mv7jbz5hot3aa
Trusted Product Lines
2013
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The motivation for the research arose from a real business need to reduce cost and lead time of aerospace software development projects. ...
The approach has been evaluated and validated by deployment on a real aerospace project; the approach has been used to produce DO-178B/ED-12B Level A applications of over 300 KSLOC in size. ...
However it should be noted that this has just moved the burden of collecting MC/DC coverage to the design model stage, where the equivalent of MC/DC coverage at the model level needs to be collected during ...
doi:10.1016/j.infsof.2012.06.005
fatcat:6amzpscfkzacphzgxz6xboudea
Boundary Coverage Criteria for Test Generation from Formal Models
15th International Symposium on Software Reliability Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
They can be used either to measure the coverage of an existing test set, or to generate tests from a formal model. We give algorithms that can be used to generate tests that satisfy the criteria. ...
These algorithms and criteria have been incorporated into the BZ-TESTING-TOOLS (BZ-TT) tool-set for automated test case generation from B, Z and UML/OCL specifications, and have been used and validated ...
generation of tests from Z, B and UML/OCL models. ...
doi:10.1109/issre.2004.12
dblp:conf/issre/KosmatovLPU04
fatcat:frormgf2qvbyfbosecemuk7bgu
DEPEND 2014 Committee DEPEND Advisory Chairs
China Syed Naqvi
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We are grateful to the members of the DEPEND 2014 organizing committee for their help in handling the logistics and for their work to make this professional meeting a success. ...
It is challenging how these tools could span different time scales and provide solutions for survivability that range from immediate reaction to global and smooth reconfiguration through policy based management ...
ACKNOWLEDGMENT This work has been supported by the EU under the FP7-ICT program, through project 288195 Kernel-based ARchitecture for safetY-critical cONtrol (KARYON). ...
fatcat:gfu74yk7lraxfill6reucsniii