| 面向代数规约测试谓词/变迁网 |
| |
| 引用本文： | 余波.面向代数规约测试谓词/变迁网[J].小型微型计算机系统,2011,32(9). |
| |
| 作者姓名： | 余波 |
| |
| 作者单位： | 中南林业科技大学涉外学院,长沙410042;国防科学技术大学计算机学院,长沙410007 |
| |
| 基金项目： | 国家“九七三”重点基础研究发展计划项目(2005CB321802)资助; 湖南省教育厅高校教学改革项目(2010-495)资助 |
| |
| 摘 要： | 针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序列构造公理等式的启发式规则.案例研究表明:该方法可以有效地解决测试Pr/T网时自动生成测试用例和自动判定测试结果和可行路径的问题.
|
| 关 键 词： | 代数规约 可行路径 谓词/变迁网 变迁触发序列 测试充分性准则 |
Algebraic Specification Oriented Testing Predicate/Transition Net |
| |
| YU Bo.Algebraic Specification Oriented Testing Predicate/Transition Net[J].Mini-micro Systems,2011,32(9). |
| |
| Authors: | YU Bo |
| |
| Affiliation: | YU Bo1,21(Swan College of Central South University of Forestry and Technology,Changsha 410042,China)2(Department of Computer Science & Technology of National University of Defense Technology,Changsha 410007,China) |
| |
| Abstract: | Aim to the problem of being not valid formal means to verify the Predicate/Transition net,the rules are given for translating Predicate/Transition net into signature defined by an algebraic specification CASOCC-WS based on presented method for testing Predicate/Transition net based on algebraic specification.Then,the algorithm is presented for deriving the transition fired sequences from Predicate/Transition net according to the test adequacy criterion,and the heuristic rules are defined for constructing ax... |
| |
| Keywords: | algebraic specification feasible path predicate/transition net transition fired sequence test adequacy criterion |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
