Filters








9 Hits in 6.3 sec

Smart Test Case Quantifier Based on Mc/Dc Coverage Criterion with Uml Sequence Diagram

2020 International journal of recent technology and engineering  
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]

Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
2020 arXiv   pre-print
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

Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand
2020 IEEE Transactions on Software Engineering  
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]

Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand
2020 arXiv   pre-print
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

Ju Qian
2018 International Journal of Performability Engineering  
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

Mamdouh Alenezi, Mohammed Akour, Hamid Abdul Basit
2021 International Journal of Education and Information Technologies  
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

Stuart Hutchesson, John McDermid
2013 Information and Software Technology  
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

N. Kosmatov, B. Legeard, F. Peureux, M. Utting
15th International Symposium on Software Reliability Engineering  
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

Rolf Johansson, Sweden Sp, Sergio Hidalgo, Manuel Gil Perez, Reijo Savola, Sergio Hidalgo, Manuel Gil Perez, Muhammad Afzaal, Ian Bayley, Brookes University, U Benkner, James Brandt (+82 others)
China Syed Naqvi   unpublished
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