基于新型程序切片的质量软件控制关键技术研究
批准号：
60473065
项目类别：
面上项目
资助金额：
24.0 万元
负责人：
李必信
依托单位：
学科分类：
软件理论、软件工程与服务
结题年份：
2007
批准年份：
2004
项目状态：
已结题
项目参与者：
吴军华、姜淑娟、汪鹏、曹璟、曾奕、钱巨、章晓芳、吴重强
项目摘要
结项摘要
项目成果
李必信的其他基金
相似基金
相关文献
中文摘要
程序切片技术自从1979年由Mark Weiser博士提出以来，被广泛用于软件调试，软件测试和程序理解等领域。近年来，它又在逆向工程，软件重组以及程序的形式验证等领域找到了用武之地。本项目旨在探索如何利用程序切片技术在质量软件控制研究方面的一些突破，例如,如何利用程序切片进行软件可靠性分析和建模？如何利用程序切片简化软件测试和形式验证等。本项目的研究意义在于：（1）探索新型程序切片（如层次切片，数
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
--
发表时间：
--
期刊：
《计算机科学》, 34（4）: 7-12, 2007.
影响因子：
--
作者：
[]
通讯作者：
SSA: A Core Algorithm to Slice
SSA：切片的核心算法
SSA：切片的核心算法
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[Bixin Li(李必信), Xufang Gong]
通讯作者：
Bixin Li(李必信), Xufang Gong
DOI：
--
发表时间：
--
期刊：
《东南大学学报》(自然科学版), 2006(3)
影响因子：
--
作者：
[李必信]
通讯作者：
李必信
DOI：
--
发表时间：
--
期刊：
《东南大学学报》(自然科学版),37(4): 593-598, 2007
影响因子：
--
作者：
[周宇 张鹏程 李必信]
通讯作者：
周宇 张鹏程 李必信
DOI：
--
发表时间：
--
期刊：
计算机研究与发展
影响因子：
--
作者：
[周宇, 李必信, 徐宝文, 张鹏程]
通讯作者：
张鹏程
共 10 条
面向不确定性需求的智能化软件架构演化优化和自适应技术研究
-
批准号：61872078
-
项目类别：面上项目
-
资助金额：63.0万元
-
批准年份：2018
-
负责人：李必信
-
依托单位：
面向全生命周期的软件协同演化关键技术研究
-
批准号：61572126
-
项目类别：面上项目
-
资助金额：65.0万元
-
批准年份：2015
-
负责人：李必信
-
依托单位：
Web服务组合建模和验证技术研究
-
批准号：60973149
-
项目类别：面上项目
-
资助金额：33.0万元
-
批准年份：2009
-
负责人：李必信
-
依托单位：
软件演化和维护过程中若干关键技术研究
-
批准号：60773105
-
项目类别：面上项目
-
资助金额：28.0万元
-
批准年份：2007
-
负责人：李必信
-
依托单位：
国内基金
海外基金