传值进程模型检测中诊断信息的生成

• 作者: 刘剑 林惠民
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 进程代数 模型检测 证明图 示例 诊断生成
• 年，卷（期）: 2003,（1）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 1-8
• 页数: 8页
• 分类号: TP301
• 字数: 7406字
• 语种: 中文

摘要

诊断信息自动生成是模型检测方法的基本特征之一,对分析和排错具有重要的意义.讨论了传值进程模型检测中诊断信息的生成问题.引入了两种诊断信息的表示结构:证明图和示例;提出了两种诊断信息构造算法.所采用的方法是从检测过程保存的依赖信息中抽取证明图和示例,这样可以继承已有的信息,从而减少计算量.相应的算法已经实现并用实例作了分析测试.实验结果表明该方法是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林惠民		4	49	4.0	4.0
2	刘剑		3	11	2.0	3.0