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