一种Ada并发程序的模型检测方法

• 作者: 江国华 黄超
• 来源期刊: 电子科技
• 学科: 工学
• 关键词: 模型检测 Ada 并发程序 模型提取 SPIN
• 年，卷（期）: 2012,（3）
• 所属期刊栏目: 图像·编码与软件
• 页码范围: 44-47
• 分类号: TP311.562
• 字数: 2427字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-7820.2012.03.014

摘要

提出了一种针对Ada并发程序的模型提取方法,使用模型检测工具SPIN对生成的模型进行自动化验证,发现Ada语言编写的程序中并发错误。通过实例对提取方法进行验证,实验结果表明,此方法能够成功检测出Ada并发程序中存在的错误,并给出相应的错误路径。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄超	南京航空航天大学计算机科学与技术学院	7	73	5.0	7.0
2	江国华	南京航空航天大学计算机科学与技术学院	29	79	5.0	6.0