AVAT, a CASE tool for software verification and validation

H Dai ,Collis Scott

doi:10.1109/case.1995.465298

AVAT, a CASE tool for software verification and validation

H Dai , Collis Scott

https://doi.org/10.1109/case.1995.465298

Copy DOI

Publication Date: Jul 10, 1995

Citations: 1

Affiliation: Atlantic Hydrogen (Canada)

#Computer Aided Software Engineering #Program Function + Show 8 more

Abstract
Full-Text PDF
Similar Papers

Abstract

AVAT, an abbreviation of Automation of the Verification, Validation and Testing (AVAT) of Real-Time Software and Embedded Systems, is a CASE (computer aided software engineering) tool. It has been developed as a tool for the enhancement of software reliability by reducing the manual steps in verification, validation and testing. It implements the formal method of program function (PF) tables. Its features include manipulation of PF tables, comprehensive syntax checking of PF tables, generalized comparison of PF tables, databases of PF tables and related dictionaries used in the PF tables. AVAT was developed with Microsoft Windows which provides an excellent visual environment for inspecting and manipulating several tables at the same time. >

Full Text