AVAT, a CASE tool for software verification and validation

Author

Dai, Heping ; Scott, C. Keith

Author_Institution

Atlantic Nucl. Services Ltd., Fredericton, NB, Canada

fYear

1995

fDate

10-14 Jul 1995

Firstpage

358

Lastpage

367

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

Keywords

computer aided software engineering; program testing; program verification; real-time systems; software reliability; software tools; AVAT CASE tool; Microsoft Windows; comprehensive syntax checking; computer aided software engineering; databases; dictionaries; embedded systems; formal method; program function tables; real-time software; software reliability enhancement; software validation; software verification; table inspection; table manipulation; testing; visual environment; Automatic testing; Automation; Computer aided software engineering; Embedded software; Embedded system; Real time systems; Software systems; Software testing; Software tools; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer-Aided Software Engineering, 1995. Proceedings., Seventh International Workshop on

Conference_Location

Toronto, Ont.

Print_ISBN

0-8186-7078-9

Type

conf

DOI

10.1109/CASE.1995.465298

Filename

465298