用于程序开发的改进的有条件切片算法

• 作者: 王晓华 郭丽丽 陈蔚薇 顾逸东
• 来源期刊: 科技与创新
• 关键词: 有条件切片 控制依赖 数据依赖 路径
• 年，卷（期）: 2008,（13）
• 所属期刊栏目: 软件天地
• 页码范围: 304-306
• 页数: 3页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2008.13.124

摘要

为了加速软件开发,提高软件质量,本文针对开发过程提出了一种改进的有条件切片算法.该算法改造了程序控制流程图,扩充了程序数据依赖定义,按照条件切片的一阶逻辑谓词缩减目标程序,并用扩充后的数据依赖计算有务件程序切片.在程序编码阶段,该算法能够抽取需要关注的代码段给开发人员,并能利用边的信息计算出程序的路径数目.从而为开发人员发现软件缺陷、冗余提供了有利的支撑.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭丽丽	中国科学院光电研究院	16	45	5.0	5.0
2	顾逸东	中国科学院光电研究院	22	93	7.0	9.0
3	陈蔚薇	中国科学院光电研究院	10	92	4.0	9.0