NDLI: Generating test case chains for reactive systems

Content Provider	Springer Nature Link
Author	Schrammel, Peter Melham, Tom Kroening, Daniel
Copyright Year	2014
Abstract	Testing of reactive systems is challenging because long input sequences are often needed to drive them into a state to test a desired feature. This is particularly problematic in on-target testing, where a system is tested in its real-life application environment and the amount of time required for resetting is high. This article presents an approach to discovering a test case chain—a single software execution that covers a group of test goals and minimizes overall test execution time. Our technique targets the scenario in which test goals for the requirements are given as safety properties. We give conditions for the existence and minimality of a single test case chain and minimize the number of test case chains if a single test case chain is infeasible. We report experimental results with our ChainCover tool for C code generated from Simulink models and compare it to state-of-the-art test suite generators.
Starting Page	319
Ending Page	334
Page Count	16
File Format	PDF
ISSN	14332779
Journal	International Journal on Software Tools for Technology Transfer
Volume Number	18
Issue Number	3
e-ISSN	14332787
Language	English
Publisher	Springer Berlin Heidelberg
Publisher Date	2014-11-15
Publisher Place	Berlin, Heidelberg
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Test case generation Reactive systems Test optimization Bounded model checking Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation
Content Type	Text
Resource Type	Article
Subject	Information Systems Software

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

Incremental test case generation using bounded model checking: an application to automatic rating

Test sequence generation and model checking using dynamic transition relations

Model-based testing for real : The inhouse card case study

Counter-example generation in symbolic abstract model-checking

Computational challenges in bounded model checking

TGV: theory, principles and algorithms : A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

The software model checker Blast : Applications to software engineering

Applying symbolic bounded model checking to the 2012 RERS greybox challenge

Constraint-based BMC: a backjumping strategy

Generating test case chains for reactive systems

Similar Documents

Incremental test case generation using bounded model checking: an application to automatic rating

Test sequence generation and model checking using dynamic transition relations

Model-based testing for real : The inhouse card case study

Counter-example generation in symbolic abstract model-checking

Computational challenges in bounded model checking

TGV: theory, principles and algorithms : A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

The software model checker Blast : Applications to software engineering

Applying symbolic bounded model checking to the 2012 RERS greybox challenge

Constraint-based BMC: a backjumping strategy

Generating test case chains for reactive systems