NDLI: Automated test data generation for programs with procedures

Please wait, while we are loading the content...

Test and analysis of software architectures

An efficient state space generation for analysis of real-time systems

An incremental approach to structural testing of concurrent software

Improving the accuracy of Petri net-based analysis of concurrent programs

Generating functional test cases in-the-large for time-critical systems from logic-based specifications

Daistish: systematic algebraic testing for OO programs in the presence of side-effects

Structural specification-based testing with ADL

Issues in the full scale use of formal methods for automated testing

Experiences and lessons from the analysis of TCAS II

Predicting dependability by testing

Using perturbation analysis to measure variation in the information content of test sets

Linear and structural event sequence analysis

Separate computation of alias information for reuse

Critical slicing for software fault localization

The path-wise approach to data flow testing with pointer variables

Unconstrained duals and their use in achieving all-uses coverage

Software error analysis: a real case study involving real faults and mutations

Generation of multi-formalism state-space analysis tools

Beyond traditional program slicing

An approach to verification and validation of a reliable multicasting protocol

A semantic model of program faults

Towards a structural load testing tool

Automated test data generation for programs with procedures

Reachability analysis of feature interactions: a progress report

Compositional verification by model checking for counter-examples

Elements of style: analyzing a software design feature with a counterexample detector

Constructing abstract models of concurrent real-time software

Using partial-order methods in the formal validation of industrial concurrent programs

Formal specification and verification of the kernel functional unit of the OSI session layer protocol and service using CCS

A logic-model semantics for SCR software requirements

Why state-of-the-art is not state-of-the-practice (panel)

Automated test data generation for programs with procedures

Content Provider	ACM Digital Library
Author	Korel, Bogdan
Abstract	Test data generation in program testing is the process of identifying a set of test data that satisfies a selected testing criterion, such as, statement coverage or branch coverage. The existing methods of test data generation are limited to unit testing and may not efficiently generate test data for programs with procedures. In this paper we present an approach for automated test data generation for programs with procedures. This approach builds on the current theory of execution-oriented test data generation. In this approach, test data are derived based on the actual execution of the program under test. For many programs, the execution of the selected statement may require prior execution of some other statements that may be part of some procedures. The existing methods use only control flow information of a program during the search process and may not efficiently generate test data for these types of programs because they are not able to identify statements that affect execution of the selected statement. Our approach uses data dependence analysis to guide the process of test data generation. Data dependence analysis automatically identifies statements (or procedures) that affect the execution of the selected statement and this information is used to guide the search process. The initial experiments have shown that this approach may improve the chances of finding test data.
Starting Page	209
Ending Page	215
Page Count	7
File Format	PDF
ISBN	0897917871
DOI	10.1145/229000.226319
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1996-05-01
Publisher Place	New York
Access Restriction	Subscribed
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

Automated test data generation for programs with procedures

Automated test data generation for mutation testing using AspectJ programs

Automated test data generation for aspect-oriented programs.

Automated test data generation for aspect-oriented programs

Automated Evolutionary Test Data Generation with Domain Reduction for Aspect-Oriented Programs

Reggae: Automated Test Generation for Programs Using Complex Regular Expressions

Automated software test data generation for complex programs (1998)

Automated Software Test Data Generation for Complex Programs (1998)

Approach for automated test data generation for path testing in aspect-oriented programs using genetic algorithm

Automated test data generation for programs with procedures

Similar Documents

Automated test data generation for programs with procedures

Automated test data generation for mutation testing using AspectJ programs

Automated test data generation for aspect-oriented programs.

Automated test data generation for aspect-oriented programs

Automated Evolutionary Test Data Generation with Domain Reduction for Aspect-Oriented Programs

Reggae: Automated Test Generation for Programs Using Complex Regular Expressions

Automated software test data generation for complex programs (1998)

Automated Software Test Data Generation for Complex Programs (1998)

Approach for automated test data generation for path testing in aspect-oriented programs using genetic algorithm

Automated test data generation for programs with procedures