SALT - an integrated environment to automate generation of function tests for APIs

Abstract

Automation of test design during function testing phase is essential both to reduce the substantial cost of testing and to improve the delivered software reliability. We argue for a model-based approach specifically designed from test perspective to automate test design. We describe features of Specification and Abstraction Language for Testing (SALT) environment which embodies this perspective. SALT allows testers to capture relationships among partitions of input and output variables for a function under test. Tester can also specify (potential) updates to context which result from the function invocation. This context enables generation of sequences of function invocations with expected outputs. These test specification along with a fault model allow generation of an optimized set of test variations. We describe an example to illustrate SALT usage and report results of our pilot study using SALT.