scholarly journals Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites

2012 ◽  
pp. 19-34 ◽  
Author(s):  
Valeria Bengolea ◽  
Nazareno Aguirre ◽  
Darko Marinov ◽  
Marcelo F. Frias
Keyword(s):  
Coverage Criteria ◽  
Test Suites

scholarly journals Experimental Evaluation of FSM-Based Testing Cost for Time-Delay Systems

2014 ◽  
Vol 2014 ◽  
pp. 1-13
Author(s):  
Zheng Wei ◽  
Wu Xiaoxue ◽  
Cai Lu ◽  
Hu Desheng
Keyword(s):  
Time Delay ◽  
Average Length ◽  
Delay System ◽  
Delay Systems ◽  
Model Parameters ◽  
Time Delay Systems ◽  
Good Test ◽  
Coverage Criteria ◽  
The Impact ◽  
Test Suites

With time-delay systems arising, time-delay system testing has attracted much attention. Additionally, evaluating the cost and effectiveness is required to make a good test strategy in practice. In this paper, we take time-delay and other five factors (state number, input number, output number, completeness degree, and accessibility degree) into account and present a timer embedded FSM (TEFSM) model to design a comparative strategy for assessing the coverage criteria and test suites generation methods for time-delay systems. We explore the impact on the average length of test suites, in which the test suites generation methods, coverage criteria, and TEFSM model parameters are involved.

Comparing non-adequate test suites using coverage criteria

2013 ◽  
Author(s):  
Milos Gligoric ◽  
Alex Groce ◽  
Chaoqiang Zhang ◽  
Rohan Sharma ◽  
Mohammad Amin Alipour ◽  
...  
Keyword(s):  
Coverage Criteria ◽  
Adequate Test ◽  
Test Suites

scholarly journals Multiple-Searching Genetic Algorithm for Whole Test Suites

Electronics ◽  
2021 ◽  
Vol 10 (16) ◽  
pp. 2011
Author(s):  
Wanida Khamprapai ◽  
Cheng-Fa Tsai ◽  
Paohsi Wang ◽  
Chi-En Tsai
Keyword(s):  
Genetic Algorithm ◽  
Multicast Routing ◽  
Test Suite ◽  
Test Cases ◽  
Coverage Criteria ◽  
Mutation Score ◽  
Problem Instances ◽  
Test Suite Generation ◽  
Test Suites

A test suite is a set of test cases that evaluate the quality of software. The aim of whole test suite generation is to create test cases with the highest coverage scores possible. This study investigated the efficiency of a multiple-searching genetic algorithm (MSGA) for whole test suite generation. In previous works, the MSGA has been effectively used in multicast routing of a network system and in the generation of test cases on individual coverage criteria for small- to medium-sized programs. The performance of the algorithms varies depending on the problem instances. In this experiment were generated whole test suites for complex programs. The MSGA was expanded in the EvoSuite test generation tool and compared with the available algorithms on EvoSuite in terms of the number of test cases, the number of statements, mutation score, and coverage score. All algorithms were evaluated on 14 problem instances with different corpus to satisfy multiple coverage criteria. The problem instances were Java open-source projects. Findings demonstrate that the MSGA generated test cases reached greater coverage scores and detected a larger number of faults in the test class when compared with the others.

Automated Synthesis of Comprehensive Memory Model Litmus Test Suites

2017 ◽  
Vol 45 (1) ◽  
pp. 661-675
Author(s):  
Daniel Lustig ◽  
Andrew Wright ◽  
Alexandros Papakonstantinou ◽  
Olivier Giroux
Keyword(s):  
Memory Model ◽  
Automated Synthesis ◽  
Litmus Test ◽  
Test Suites
Sign in / Sign up

Export Citation Format

Share Document