Prolog & txl: a case study for prototyping structural testing supporting tools
TL;DR: In this paper, an approach to prototype supporting tools for control and data flow based criteria is presented, which uses TXL — a language based in the transformational paradigm — to analyze and instrument the program under test.
read more
Abstract: Structured testing criteria are usually used to assess the adequacy of test case sets, defining coverage measures. Control and data flow based criteria employ information about the program graph as well as definition and usage of variables to establish the testing requirements. In this paper, we present an approach to prototype supporting tools for control and data flow based criteria. In the proposed approach, we use TXL — a language based in the transformational paradigm — to analyze and instrument the program under test. The instrumentation aims at
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
References
Selecting Software Test Data Using Data Flow Information
S. Rapps,Elaine J. Weyuker +1 more
TL;DR: This paper defines a family of program test data selection criteria derived from data flow analysis techniques similar to those used in compiler optimization, arguing that currently used path selection criteria are inadequate.
1.1K
On Testing Non-Testable Programs
TL;DR: 'The belief that the tester is routinely able to determine whether or not the test output is correct is the oracle assumption.
Selecting and using data for integration testing
Mary Jean Harrold,Mary Lou Soffa +1 more
TL;DR: The extension of dataflow testing to interprocedural testing is described by developing both an analysis technique that computes the required interprocesural definition-use information and a testing technique that uses this information in selecting and executing the subpaths across procedure boundaries.
103
•Book
Formal languages and automata theory
Vladimir Drobot
- 01 Jan 1989
TL;DR: In this article, Sunitha and Kalyani present a formal language and automata theory for regular expressions and finite automata, which is free to download, and also includes solution sets.
48
Related Papers (5)
Hong Zhu,Lingzi Jin,Dan Diaper,Ganghong Bai +3 more
- 05 May 1999
James Collofello,T. Fisher,M. Rees +2 more
- 31 Oct 1990