Accession Number:

ADA278161

Title:

Faultless Software Project.

Descriptive Note:

Final rept. 1 Feb 89-31 Mar 93,

Corporate Author:

CALIFORNIA UNIV SAN DIEGO LA JOLLA DEPT OF ELECTRICAL AND COMPUTER ENGINEERING

Personal Author(s):

• Howden, William

Report Date:

1993-06-01

Pagination or Media Count:

10.0

Abstract:

Research has focused in three areas. The first is the development of a general platform paradigm for informal program verification and understanding. The second is the development of practical methods for the reconstruction of functional specifications from code. The third is the development of formal, statistical models for the evaluation of testing methods.

Descriptors:

• *SOFTWARE ENGINEERING
• *COMPUTER PROGRAM VERIFICATION
• SPECIFICATIONS
• ADA PROGRAMMING LANGUAGE
• TEST METHODS
• STATISTICAL ANALYSIS

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE