国家自然科学基金(61003020)
- 作品数:5 被引量:2H指数:1
- 相关作者:徐宝文许蕾卢红敏郭晶陈林更多>>
- 相关机构:东南大学南京大学河海大学更多>>
- 发文基金:国家自然科学基金江苏省自然科学基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术兵器科学与技术理学更多>>
- 一种新的重构语义分析方法及其应用被引量:1
- 2012年
- 提出一种新的重构语义分析方法,引入了后置条件作为重构后程序语义的分析条件,然后基于该方法提出一种重构异常行为检测方法,利用不同重构之间的关系及其关联语义特征,发现重构实施时的错误.分析表明,该方法可以有效发现E-clipse中存在的若干缺陷,并且可以检测出使用Eclipse实施相应重构时产生的程序异常行为.
- 卢红敏郭晶陈林许蕾徐宝文
- 关键词:软件再工程代码重构
- t-维组合覆盖阵的递归构建(英文)
- 2011年
- 一个大小为N、度为k、取值为v、强度为t的t-维组合覆盖阵是一个N×k矩阵,其取值为v的符号集,并且任意N×t子矩阵的行都至少包含取值为v符号集的任一t元组一次.提出了一种基于差阵的t-维组合覆盖阵代数递归构建新方法,该方法在已有的覆盖阵基础上可大规模地扩展参数个数,实现任意t个参数组合的有效覆盖(t≥2),是一种实用的生成高维组合覆盖阵代数递归新方法.同时,给出了该新方法的理论推导与算法实现.
- 查日军张德平徐宝文
- 关键词:正交阵