摘要
本文通过讨论软件测试自动化的基本条件和特殊要求,给出了一种基于属性文法的形式描述方法,它是对一般属性文法作以下两方面扩展得到的:(1)扩展运算函数的值域;(2)补充运算函数在条件不成立时的定义.这样的形式描述方法满足软件测试自动化对形式描述的要求.
In this paper,a method of formal description based on attribute gram- mar is given,after discussing the necessary condition and the special requirement of automated software testing.It is a generalized attribute grammar in which the common attribute grammar is extended in two points i.e.,(1)the range of value of the arithematic function is extended,(2)the definition in the case in which the arithematic condition is false is complemented.The requirements of formaliza- tion for automated software testing can be met by the method.
关键词
形式语言
属性文法
软件测试
formal languages/attribute grammar
software testing
