模块灰盒行为规格说明和灰盒测试用例设计方法

摘要

本发明涉及一种模块灰盒行为规格说明和灰盒测试用例设计方法，属于计算机软件工程技术领域。其解决了现有黑盒测试测试用例过多、测试效率低下的问题。本发明包括：引入灰盒行为规格说明:被测模块内部成员变量是成员函数作的输入输出，依此输入输出关系划分变量值的等价类，用其合理组合确定被测模块的等价状态集合；将被测模块接口函数输入输出等价类划分好，二者共同作为接口函数调用的条件结果；引入灰盒测试用例设计：被测模块初始化，直接依照模块灰盒行为规格说明设定模块状态变量值，在模块接口调用接口函数，查看模块状态变量值。本发明具有剔除冗余黑盒测试用例，提高测试效率等优点，可广泛运用于计算机软件开发和检验检测场合。