๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A software system for the generation of test data for Ada programs

โœ Scribed by M.J. Gallagher; V.L. Narasimhan

Publisher
Elsevier Science
Year
1993
Weight
679 KB
Volume
38
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Solving a system of linear inequalities
Solving a system of linear inequalities for generating test data
โœ Bo Einarsson ๐Ÿ“‚ Article ๐Ÿ“… 1977 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 332 KB

Data Flow Analysis can be used to fred some of the errors in a computer program and gives as output a set of dubious paths of the investigated program, which have to be checked for executability. This can be done by solving a system of inequalities in order to obtain input data for that path. This a

The dynamic domain reduction procedure f
The dynamic domain reduction procedure for test data generation
โœ A. Jefferson Offutt; Zhenyi Jin; Jie Pan ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 171 KB ๐Ÿ‘ 1 views

Test data generation is one of the most technically challenging steps of testing software, but most commercial systems currently incorporate very little automation for this step. This paper presents results from a project that is trying to find ways to incorporate test data generation into practical

ROCHECK/CONVERT A program system for qua
ROCHECK/CONVERT A program system for quantitative analysis and documentation of Rorschach-test data
โœ Ernst Jackli ๐Ÿ“‚ Article ๐Ÿ“… 1970 ๐Ÿ› Elsevier Science โš– 762 KB

A program system has been developed for the quantitative analysis and documentation of Rorschach test data. The scores are taken as input data. They are read from the optical mark sheets 'RORSCHACH Form. 1' and 'RORSCHACH Form. 2' (cf. appendix 1). The processing of the test data is done in three st