基于构图覆盖的软件需求检测方法

• 作者: 朱立松 毋国庆 王敏 舒风笛
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 嵌入式实时软件系统 需求规格说明 动态执行模型 构图
• 年，卷（期）: 2003,（11）
• 页码范围: 1963-1968
• 页数: 6页
• 分类号: TP311
• 字数: 6841字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2003.11.019

摘要

以需求描述模型RTRSM为基础,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型,提出了构图覆盖的动态检测方法,并给出了其具体算法.该方法能检测嵌入式实时软件系统动态执行步中各并行成分及其相互间的执行情况,而且也可为分析员提供一些有用的检测信息以提高分析和检测软件需求的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王敏	武汉大学计算机科学系	190	1211	17.0	28.0
5	毋国庆	武汉大学计算机科学系	72	470	12.0	17.0
9	舒风笛	武汉大学计算机科学系	5	69	3.0	5.0
13	朱立松	武汉大学计算机科学系	5	10	2.0	2.0