|
|||||
|
|
| 传值进程模型检测中诊断信息的生成 | |
| 作者姓名： | 刘剑 林惠民 |
| 作者单位： | 中国科学院,软件研究所,计算机科学重点实验室,北京,100080 |
| 基金项目： | (国家自然科学基金)No.69833020 ~ |
| 摘 要： | 诊断信息自动生成是模型检测方法的基本特征之一,对分析和排错具有重要的意义,讨论了传值进程模型检测中诊断信息的生成问题,引入了两种诊断信息的表示结构：证明图和示例;提出了两种诊断信息的构造算法,所采用的方法是从检测过程保存的依赖信息中抽取证明图和示例,这样可以继承已有的信息,从而减少计算量,相应的算法已经实现并用实例作了分析测试,实验结果表明该方法是有效的。 |
| 关 键 词： | 传值进程 模型检测 诊断信息 进程代数 证明图 示例 算法 计算机 |
| 文章编号： | 1000-9825/2003/14(01)0001 |
| 收稿时间： | 2002-05-10 |
| 修稿时间： | 2002-05-10 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载免费的PDF全文 | |