10.3969/j.issn.1001-4373.2010.06.026
一种用于测试临界安全变量独立性的类内切片算法
主要通过类内切片技术来实现临界安全变量独立性的判断,主要解决一个类内临界安全组件中的临界安全变量的独立性判断不准确、辨别过程复杂的问题.该思想通过MSV关系图,可以直观、准确的计算出对于类内莱一成员变量即临界安全变量的特定行语句的程序切片,从而达到分析临界安全变量独立性的目的.
程序切片、MSV关系图、临界安全变量
29
TP311.53(计算技术、计算机技术)
甘肃省科技支撑计划项目1011GKCA040;兰州市企业技术攻关计划2009-1-4
2011-04-12(万方平台首次上网日期,不代表论文的发表时间)
共4页
106-109