形式化方法自动生成测试用例的算法研究  

Automated testing case generator algorithm based on formal methods

作　　者：王冬[1] 吕慧娟[1] 

机构地区：[1]河南大学计算中心,河南开封475001

出　　处：《科技信息》2008年第23期73-74,共2页Science & Technology Information

摘　　要：本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法,给出了算法步骤.算法设计,并进行了算法分析。最后指出了下一步工作的重点所在。The paper puts forward an automated testing case generator algorithm which uses equivalence class division methods and formal specification. The paper presents the algorithm steps, design and analyse. In the end the paper also points out the emphases of the next work.

关 键 词：形式化方法 测试用例 等价类划分 形式规格说明 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构] TM621[自动化与计算机技术—计算机科学与技术]