NDLI: Specification-based Test Generation and Optimization Using Model Checking

Content Provider	IEEE Xplore Digital Library
Author	Hongwei Zeng Huaikou Miao Jing Liu
Copyright Year	2007
Description	Author affiliation: Shanghai Univ., Shanghai (Hongwei Zeng; Huaikou Miao)
Abstract	The capability of model checkers to construct counterexamples provides a basis for automated test generation. However, many model checking-based testing approaches just focus on generating test sets with respect to some coverage criteria. Such test sets generally are large and inefficient because of much redundancy. We propose an on-the-fly approach that performs test generation and redundancy elimination by turns. Our approach employs a test-tree to pick out and represent a subset of tests with equal coverage for a test criterion and no redundancy. Along with model checking for a property, a new test sequence is derived from the counterexample and is used to detect redundant properties, and then is winnowed by the test-tree as well. We demonstrate the approach by applying some small examples to our prototyped algorithm.
Starting Page	349
Ending Page	355
File Size	283957
Page Count	7
File Format	PDF
ISBN	9780769528564
DOI	10.1109/TASE.2007.46
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2007-06-06
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Software testing Automation Costs Automatic testing Laboratories Programming Formal specifications Application software Time factors Software engineering
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

An Evaluation of Model Checkers for Specification Based Test Case Generation

A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications

Automated model analysis and test generation for flight guidance mode logic

Model Checking RAISE Applicative Specifications

Formal specification tools for test coverage analysis

Test-case generation from Prolog-based specifications

Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation

Increasing Diversity in Coverage Test Suites Using Model Checking

An Evaluation of Specification Based Test Generation Techniques Using Model Checkers

Specification-based Test Generation and Optimization Using Model Checking

Similar Documents

An Evaluation of Model Checkers for Specification Based Test Case Generation

A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications

Automated model analysis and test generation for flight guidance mode logic

Model Checking RAISE Applicative Specifications

Formal specification tools for test coverage analysis

Test-case generation from Prolog-based specifications

Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation

Increasing Diversity in Coverage Test Suites Using Model Checking

An Evaluation of Specification Based Test Generation Techniques Using Model Checkers

Specification-based Test Generation and Optimization Using Model Checking