Issues in Software Component Testing

Published

December 17, 1998

Author(s)

William J. Majurski

Abstract

The purpose of this project is to construct a tool for testing software APIs that integrates two established software test generation techniques: context free grammars and constraint satisfaction. Context free grammars with extensions have been used to generate tests for VLSI circuits[1]. Grammars can generate large collections of test cases form compact specifications but require extension for two reasons: control of repeating patterns and selectivity (targeting the user's intent). Constraint satisfaction approaches have been used in white-box testing of software [2] as an intermediate form between source code analysis tools and test environments. Constraints are used to describe the branching structure of program logic. Solutions of the constraints are candidate test data for evaluating he targeted program logic.We have integrated these two techniques into a single tool. We find the results appealing for two reasons. The constraints complement the grammars by allowing selective restrictions on the test space along with the stochastic restrictions placed on grammar expansions. Secondly, constraints and grammars both use a consistent declarative style. We believe this combination supports manual test design for black-box tests, automated test design as from analysis of code, and test design extracted from analysis of formal specification.

Citation

Acm Computing Surveys

Pub Type

Journals

Keywords

computer software, software, software testing

Citation

Majurski, W. (1998), Issues in Software Component Testing, Acm Computing Surveys (Accessed December 26, 2024)