基于改进z-precondition算法的功能测试用例生成技术

摘要：

鉴于传统的生成功能测试用例技术存在非形式化、忽视问题领域约束等不足,本文提出了基于改进z-precondition算法的功能测试用例生成技术.该技术具有形式化、面向问题领域建模等特点,很好的弥补了传统技术的缺陷.

关键词： 功能测试 测试用例 形式化语言 算法功能

作者: 陈立哲 李强 马永刚 钟晓峰

作者单位: 合肥电子工程学院

会议类型: 国内会议

会议名称: 中国电子学会电子系统工程分会第十五届信息化理论学术研讨会

会议地点: 南京

会议语种:中文

页码: 391-393

在线出版日期: 2008-09-01（万方平台首次上网日期，不代表论文的发表时间）