检验程序语言

这是近年来提出的 一种用于软件的语言。对于设计和研制大程序均要进行专门的检验，其工作量大，并要求标准化、独立化、自动化，以便于形成文档资料。为此设计了检验程序语言。 检验程序语言的功能包括：数据区域说明、数据定义、符合性检验、模拟、检验情形描述、过程定义等。进行检验的方式有：展开、插入、解释执行和监控 目前，有的检验程序语言就用类似FORTRAN、 PL/1的语言，也有专门设计一的。