传值进程模型检测中诊断信息的生成
| Data(s) |
2003
|
|---|---|
| Resumo |
诊断信息自动生成是模型检测方法的基本特征之一，对分析和排错具有重要的意义，讨论了传值进程模型检测中诊断信息的生成问题，引入了两种诊断信息的表示结构：证明图和示例；提出了两种诊断信息的构造算法，所采用的方法是从检测过程保存的依赖信息中抽取证明图和示例，这样可以继承已有的信息，从而减少计算量，相应的算法已经实现并用实例作了分析测试，实验结果表明该方法是有效的。 National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
刘剑; 林惠民.传值进程模型检测中诊断信息的生成,软件学报,2003,14(1):40186 |
| Palavras-Chave | #进程代数 #模型检测 #证明图 #示例 #诊断生成 process algebra #model checking #proof graph #witness #diagnosis generation |
| Tipo |
期刊论文 |
