编号
zgly0000766352
文献类型
期刊论文
文献题名
面向代数规约测试谓词/变迁网
作者
余波
作者单位
中南林业科技大学涉外学院
国防科学技术大学计算机学院
母体文献
小型微型计算机系统
年卷期
2011,32(9)
页码
1804-1809
年份
2011
分类号
TP311
关键词
代数规约
可行路径
谓词/变迁网
变迁触发序列
测试充分性准则
文摘内容
针对谓词/变迁网缺乏有效的形式化验证分析技术, 基于代数规约测试谓词/变迁网方法, 给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则, 提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序列构造公理等式的启发式规则.案例研究表明: 该方法可以有效地解决测试Pr/T网时自动生成测试用例和自动判定测试结果和可行路径的问题.