NDLI: Experiments on the test case length in specification based test case generation

Content Provider	IEEE Xplore Digital Library
Author	Fraser, G. Gargantini, A.
Copyright Year	2009
Description	Author affiliation: Dip. di Ing. dell'Informazione e Metodi Mat., University of Bergamo, Viale Marconi 5, 24044 Dalmine, Italia (Gargantini, A.) \|\| Institute for Software Technology, Graz University of Technology, Inffeldgasse 16b/2, A-8010, Austria (Fraser, G.)
Abstract	Many different techniques have been proposed to address the problem of automated test case generation, varying in a range of properties and resulting in very different test cases. In this paper we investigate the effects of the test case length on resulting test suites: Intuitively, longer test cases should serve to find more difficult faults but will reduce the number of test cases necessary to achieve the test objectives. On the other hand longer test cases have disadvantages such as higher computational costs and they are more difficult to interpret manually. Consequently, should one aim to generate many short test cases or fewer but longer test cases? We present the results of a set of experiments performed in a scenario of specification based testing for reactive systems. As expected, a long test case can achieve higher coverage and fault detecting capability than a short one, while giving preference to longer test cases in general can help reduce the size of test suites but can also have the opposite effect, for example, if minimization is applied.
Starting Page	18
Ending Page	26
File Size	240681
Page Count	9
File Format	PDF
ISBN	9781424437115
DOI	10.1109/IWAST.2009.5069037
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2009-05-18
Publisher Place	Canada
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Software testing Automatic testing Computational efficiency Performance evaluation System testing Fault detection Genetic mutations Monitoring Concrete Software quality
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Increasing Diversity in Coverage Test Suites Using Model Checking

An experimental evaluation of selective mutation

An Evaluation of Specification Based Test Generation Techniques Using Model Checkers

Using symbolic execution to aid automatic test data generation

A controlled experiment assessing test case prioritization techniques via mutation faults

An Evaluation of Model Checkers for Specification Based Test Case Generation

Character string predicate based automatic software test data generation

Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis

Constraint-based automatic test data generation

Experiments on the test case length in specification based test case generation

Similar Documents

Increasing Diversity in Coverage Test Suites Using Model Checking

An experimental evaluation of selective mutation

An Evaluation of Specification Based Test Generation Techniques Using Model Checkers

Using symbolic execution to aid automatic test data generation

A controlled experiment assessing test case prioritization techniques via mutation faults

An Evaluation of Model Checkers for Specification Based Test Case Generation

Character string predicate based automatic software test data generation

Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis

Constraint-based automatic test data generation

Experiments on the test case length in specification based test case generation