-
题名程序切片技术综述
被引量：7
- 1
-
-
作者
王伟
陈平
-
机构
西安电子科技大学
-
出处
《微电子学与计算机》
CSCD
北大核心
2002年第8期25-27,48,共4页
-
文摘
程序切片技术在软件维护、程序调试、测试、代码理解及逆向工程等方面有许多应用。文章介绍了目前已有的程序切片技术及其应用领域,提出了面向对象程序应用该技术时需要考虑的问题及相应的解决方法。
-
关键词
程序切片技术
逆向工程
面向对象
软件维护
计算机
-
Keywords
Program slicing,Reverse engineering,Object -oriented
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
-
-
题名程序切片技术综述
- 2
-
-
作者
王伟
陈平
-
机构
西安电子科技大学
-
出处
《电子科技》
2002年第20期41-43,共3页
-
文摘
程序切片技术在软件维护、程序调试、测试、代码理解及逆向工程等方面有许多应用。文章介绍了目前已有的程序切片技术及其应用领域,提出面向对象程序应用技术时需要考虑的问题及相应的解决方法。
-
关键词
程序切片技术
逆向工程
软件维护
程序调试
代码
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于最弱前置条件的程序正确性分析
- 3
-
-
作者
郭莎莎
侯春燕
王劲松
-
机构
天津理工大学计算机科学与工程学院
-
出处
《高技术通讯》
EI
CAS
北大核心
2019年第6期556-563,共8页
-
基金
国家自然基金(61402333,61272450)
天津市自然科学基金(18JCZDJC30700)
赛尔网络下一代互联网技术创新项目(NGII20160121)资助
-
文摘
随着软件的不断更新迭代,软件正确性检测的必要性愈加凸显,软件正确性检测的处理时间直接决定软件的维护成本。动态测试的断言编写和静态分析的符号执行均针对程序正确性进行优化完善,但分析结果易出现路径缺失甚至错误无法识别等问题。现有验证方法在路径扩展时易生成较多无用路径,且针对性不强,因此有必要研究一种更为可靠的方案。本文采用最弱前置条件对软件可行性加以分析,对程序执行语义正确建模,使用程序切片技术预处理程序代码,并根据层级结构存储节点及其子程序。实验结果表明,该方法可以有效减小静态分析对程序状态抽象操作带来的验证精度损耗,且能够遍历求解出程序的所有可能路径,并通过分组标出条件表达式的结论真假值,以此验证路径正确性,同时可对高复杂的程序代码进行有效的正确性分析。
-
关键词
程序正确性
最弱前置条件
静态分析
路径扩展
程序切片技术
-
Keywords
program correctness
the weakest precondition
static analysis
path extension
program slicing technology
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件测试热点浅析
被引量：1
- 4
-
-
作者
黄茗云
王英龙
张洪亮
-
机构
山东轻工业学院信息科学与技术学院
山东省计算中心
山东师范大学
-
出处
《信息技术与信息化》
2008年第2期56-59,共4页
-
文摘
本文首先讲述了软件测试方面的历史和技术方法,通过介绍国内外关于软件测试的几个重大会议和研讨会,总结该领域的发展现状。重点介绍了部分研究热点情况。
-
关键词
软件测试
自动化测试
构件软件测试
程序切片技术
WEB测试
嵌入式测试
-
Keywords
Software testing Automated testing Component testing Program slicing Web testing Embedded testing
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
