基于变量间依赖关系的软件可信度量模型

• 作者: 付利华 卢彦 王丹 赵文兵
• 来源期刊: 华中科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 应用程序 行为 动态 可信度量 前向切片
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 计算机与控制工程
• 页码范围: 41-45
• 分类号: TP311
• 语种: 中文

摘要

针对软件交互行为的动态可信度量问题,提出一种基于变量间依赖关系的动态度量模型.从输入数据对软件可信性的影响入手,利用程序静态分析和切片技术提取出关于输入信息的前向切片以及切片中各语句可赋值的变量集合,并以切片集合中的语句作为度量对象,以该语句可赋值的变量集合作为软件在该度量点处的行为预期模型.在程序动态运行过程中动态监视软件在度量点处的实际行为是否符合预期,实现可信动态度量.相应的试验结果表明,模型实现了设计目标.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王丹	北京工业大学计算机学院	51	234	8.0	12.0
2	赵文兵	北京工业大学计算机学院	21	164	7.0	12.0
3	付利华	北京工业大学计算机学院	19	69	6.0	7.0
4	卢彦	北京工业大学计算机学院	1	3	1.0	1.0