一种用于测试临界安全变量独立性的类内切片算法

• 作者: 张忠林 林牧宇 赵园
• 来源期刊: 兰州交通大学学报
• 学科: 工学
• 关键词: 程序切片 MSV关系图 临界安全变量
• 年，卷（期）: 2010,（6）
• 页码范围: 106-109
• 分类号: TP311.53
• 字数: 2963字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-4373.2010.06.026

摘要

主要通过类内切片技术来实现临界安全变量独立性的判断,主要解决一个类内临界安全组件中的临界安全变量的独立性判断不准确、辨别过程复杂的问题.该思想通过MSV关系图,可以直观、准确的计算出对于类内莱一成员变量即临界安全变量的特定行语句的程序切片,从而达到分析临界安全变量独立性的目的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张忠林	兰州交通大学电子与信息工程学院	81	483	12.0	18.0
2	林牧宇	兰州交通大学电子与信息工程学院	1	0	0.0	0.0
3	赵园	兰州交通大学电子与信息工程学院	1	0	0.0	0.0