欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
程序切片技术自从1979年由Mark Weiser博士提出以来，被广泛用于软件调试，软件测试和程序理解等领域。近年来，它又在逆向工程，软件重组以及程序的形式验证等领域找到了用武之地。本项目旨在探索如何利用程序切片技术在质量软件控制研究方面的一些突破，例如,如何利用程序切片进行软件可靠性分析和建模？如何利用程序切片简化软件测试和形式验证等。本项目的研究意义在于（1）探索新型程序切片（如层次切片，数
结论摘要：
程序切片技术自从1979年由Mark Weiser博士提出以来，被广泛用于软件调试，软件测试和程序理解等领域。近年来，它又在逆向工程，软件重组以及程序的形式验证等领域找到了用武之地。本项目旨在探索如何利用程序切片技术在质量软件控制研究方面的一些突破，例如,如何利用程序切片进行软件可靠性分析和建模？如何利用程序切片简化软件测试和形式验证等。本项目的研究意义在于（1）探索新型程序切片（如层次切片，数据切片，无定型切片等），使程序切片技术本身得到进一步的充实和发展；（2）探索基于新型程序切片的软件可靠性分析和建模技术。由于程序切片捕捉的信息比一般的统计方法更完全，这使得软件可靠性分析和建模建立在更广泛的信息获取之上，提高了分析结果的可信度；（3）探索基于新型程序切片的软件测试和形式验证技术意义巨大，例如，在软件测试中可以利用切片减少测试用例，在形式验证中可以减少状态空间等。
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
会议论文
相关项目
李必信的项目
