NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Program Helps Design Tests Of Developmental SoftwareComputer program called "A Formal Test Representation Language and Tool for Functional Test Designs" (TRL) provides automatic software tool and formal language used to implement category-partition method and produce specification of test cases in testing phase of development of software. Category-partition method useful in defining input, outputs, and purpose of test-design phase of development and combines benefits of choosing normal cases having error-exposing properties. Traceability maintained quite easily by creating test design for each objective in test plan. Effort to transform test cases into procedures simplified by use of automatic software tool to create cases based on test design. Method enables rapid elimination of undesired test cases from consideration and facilitates review of test designs by peer groups. Written in C language.
Document ID
19940000661
Document Type
Other - NASA Tech Brief
Authors
Hops, Jonathan (Caltech)
Date Acquired
August 16, 2013
Publication Date
December 1, 1994
Publication Information
Publication: NASA Tech Briefs
Volume: 18
Issue: 12
ISSN: 0145-319X
Subject Category
MATHEMATICS AND INFORMATION SCIENCES
Report/Patent Number
NPO-19279
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.