江苏省高技术研究计划项目(BG2005032)
- 作品数：9 被引量：43H指数：3
- 相关作者：徐宝文聂长海许蕾周晓宇钱巨更多>>
- 相关机构：东南大学武汉大学中国矿业大学更多>>
- 发文基金：国家自然科学基金江苏省高技术研究计划项目江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于AST的克隆序列与克隆类识别被引量：3
- 2008年
- 为了减少代码冗余,改善程序结构,提出一种新的基于抽象语法的代码克隆识别方法,归纳出常见的代码克隆形式并给出相应的重构技术.用二叉树表示源程序的抽象语法(BAST),逐条判断各语句BAST子树的同构性,识别出相似的语句序列作为克隆序列;根据子树同构识别一元克隆类,然后通过克隆类的连接操作,逐步识别二元及任意元数的克隆类.实验分析了多个开源软件,识别出了其中的克隆序列以及克隆类,从中归纳出4种常见的代码克隆,其基本特征分别为:相同的程序点访问同类对象的不同属性、部分变量名不同、针对不同的数据类型实施相同的操作、修改克隆区域外定义的变量,并对这4种代码有效地实施了重构.
- 李亚军徐宝文周晓宇
- 关键词：代码克隆软件维护
- 基于程序依赖图的Aspect挖掘技术被引量：1
- 2008年
- 为了有效地识别遗产代码中因横切关注点而导致的零散代码或交织代码,提出了一种基于程序依赖图的A spect挖掘方法.根据横切关注点的本质特性,考察了横切关注点与核心关注点之间的依赖关系及其在依赖图上的表现形式,对于单个方法体,结合程序的语义信息,在程序依赖图中引入一个虚拟结点表征方法体的核心功能,所有影响核心功能的语句都与之建立依赖关系,然后对依赖图进行拓扑分析,先从虚拟结点开始分离出核心代码,再通过求解连通分量的方式挖掘方法体内横切代码.实例分析表明,该方法不仅能识别出方法体内的零散特性代码,而且还能有效地挖掘出交织特性的代码.
- 闵洪波徐宝文钱巨
- 关键词：ASPECT挖掘横切关注点程序依赖图软件维护
- 相邻因素组合测试用例集的最优生成方法被引量：29
- 2007年
- 软件系统是一个复杂的逻辑系统,有很多因素可能影响系统的正常运行,组合测试可以对这些因素及其相互作用可能对系统产生的影响进行检测.针对一类只在相邻因素间存在相互作用的系统,文中提出了相邻因素组合测试的概念,分别给出了相邻因素两两(二维)组合覆盖表、相邻因素N(N2)维组合覆盖表和多重维数相邻因素组合覆盖表的生成算法,并证明了3个算法均可以生成数量最优的相邻因素组合测试用例集.最后通过实际应用场景,分析了相邻因素组合测试的应用价值.
- 王子元聂长海徐宝文史亮
- 关键词：软件测试测试用例生成
- 一种Web应用测试结果分析比较技术被引量：3
- 2006年
- 合理分析、正确比较Web应用的测试结果能够有效评判测试工作的效果和效率。在现有工作的基础上,我们提出一种新的测试结果分析比较方法,利用语义标注和XML描述技术实现Web页面中数据与显示信息的分离,从而方便测试结果与预期结果的直接比较;并进一步引入反馈控制机制,把测试结果反馈给Web应用本身,根据Web应用的实际状况来指导其发展和演化,使得系统质量得到进一步改善。
- 许蕾徐宝文
- 关键词：WEB应用反馈控制
- 一种基于类型约束的泛型Java程序重构方法被引量：2
- 2007年
- 泛化关系重构是一类非常重要的重构方法，能否实施这类重构取决于程序中的类型约束．本文针对现有泛化关系重构方法在处理泛型程序时不考虑参数化类型的约束，会破坏程序类型正确性的问题，提出了一组泛型Java程序的类型约束规则，通过构造类型约束图分析了重构前后程序的类型约束，并给出了提炼接口和成员上移的自动化重构算法，可以在与程序代码规模成线性关系的时间内实施重构，并有效地保证程序的类型正确性．
- 陈林徐宝文周晓宇曹璟
- 关键词：软件维护
- 基于SAT求解的面向对象程序类型分析
- 2009年
- 类型分析是面向对象程序分析中的重要环节,精确的类型分析能够提高其它程序分析的精度。由于传统精确分析方法固有的高复杂性,现有的类型分析大都使用粗糙的分析方法。提出了一种基于SAT求解的面向对象程序类型分析方法。该方法用命题逻辑表示类型在变量间的传递关系,将程序抽象成命题公式,并使用高效的SAT求解器求解,从而获得变量运行时的类型集合。该方法是流敏感的,并且具有良好的伸缩性,既可以进行快速但精度低的上下文不敏感分析,也可以进行较慢但精度高的上下文敏感分析。
- 曹璟徐宝文
- 关键词：面向对象程序
- 一种基于组合测试的Web应用兼容性故障诊断方法被引量：4
- 2006年
- Web应用兼容性故障诊断涉及到种类繁多的软硬件设备、数目庞大的设备品牌和型号以及各种情况的组合,如何有效而又快速地对故障定位是一项很重要的工作。针对Web应用兼容性测试的特性以及组合测试的基本模型和特征,我们对组合测试的结果进行分析,根据初步分析结果补充一些附加测试用例进行重新测试,并对其结果作进一步分析和验证,从而迅速将故障原因锁定在很小的范围内,为Web应用兼容性的调试和测试工作提供方便、有价值的线索和参考。
- 许蕾聂长海徐宝文
- 关键词：WEB应用故障诊断
- 一个异常传播分析工具的设计与实现被引量：1
- 2008年
- 异常处理是一种用来检测异常并对其进行处理的技术,异常传播改变程序原来的执行路线,从而可能改变程序中的数据流、控制流和各种成分的依赖关系。在进行程序分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的。本文设计并实现了一个分析C++程序中异常传播分析工具CETool。该工具可以有效地分析C++程序的异常传播,它既可以获得异常处理结构的局部信息,也可以获得异常处理结构的全局信息,这对于有效地分析异常的传播,分析异常传播路径,以及改进异常处理结构都有很大的帮助。
- 姜淑娟徐宝文姜元鹏
- 关键词：异常处理
- 点间确定别名及其在Java程序数据依赖分析中的应用被引量：1
- 2008年
- 堆内存的大量使用使得Java程序上数据依赖关系的精确提取仍存在许多困难.对于堆空间上的依赖提取,通常的做法是先对堆上空间进行命名,再据此分析依赖关系.然而该方法不能在多个定义间进行强更新,故分析精度不够理想.针对此问题,该文首先提出了一种点间确定别名的概念,然后用它生成强更新和相对更新来精化数据依赖分析.实验表明,与不进行强更新和相对更新的数据依赖分析方法相比,新算法能够在相对较少的额外时间消耗内,有效地提高堆空间上依赖分析的精度.
- 钱巨徐宝文周毓明
- 关键词：数据依赖别名分析
