Title :
AVAT, a CASE tool for software verification and validation
Author :
Dai, Heping ; Scott, C. Keith
Author_Institution :
Atlantic Nucl. Services Ltd., Fredericton, NB, Canada
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;
Conference_Titel :
Computer-Aided Software Engineering, 1995. Proceedings., Seventh International Workshop on
Conference_Location :
Toronto, Ont.
Print_ISBN :
0-8186-7078-9
DOI :
10.1109/CASE.1995.465298
