基于新型程序切片的质量软件控制关键技术研究-猫眼课题宝

权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

基于新型程序切片的质量软件控制关键技术研究

结题报告

批准号：

60473065

项目类别：

面上项目

资助金额：

24.0 万元

负责人：

李必信

依托单位：

东南大学

学科分类：

F0203.软件理论、软件工程与服务

结题年份：

2007

批准年份：

2004

项目状态：

已结题

项目参与者：

吴军华、姜淑娟、汪鹏、曹璟、曾奕、钱巨、章晓芳、吴重强

关键词：

新型程序切片可靠性形式验证..软件质量

国基评审专家1V1指导中标率高出同行96.8%

中文摘要

程序切片技术自从1979年由Mark Weiser博士提出以来，被广泛用于软件调试，软件测试和程序理解等领域。近年来，它又在逆向工程，软件重组以及程序的形式验证等领域找到了用武之地。本项目旨在探索如何利用程序切片技术在质量软件控制研究方面的一些突破，例如,如何利用程序切片进行软件可靠性分析和建模？如何利用程序切片简化软件测试和形式验证等。本项目的研究意义在于：（1）探索新型程序切片（如层次切片，数

英文摘要

期刊论文列表

专著列表

科研奖励列表

会议论文列表

专利列表

模型检验软件体系结构研究与进展

DOI：--

发表时间：--

期刊：

《计算机科学》, 34（4）: 7-12, 2007.

影响因子：--