国家杰出青年科学基金(60425206)
- 作品数：25 被引量：238H指数：9
- 相关作者：徐宝文聂长海史亮周晓宇陈林更多>>
- 相关机构：东南大学南京大学南京邮电大学更多>>
- 发文基金：国家自然科学基金国家杰出青年科学基金江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种近似Markov Blanket最优特征选择算法被引量：17
- 2007年
- 特征选择可以有效改善分类效率和精度,传统方法通常只评价单个特征,较少评价特征子集.在研究特征相关性基础上,进一步划分特征为强相关、弱相关、无关和冗余四种特征,建立起Markov Blanket理论和特征相关性之间的联系,结合Chi-Square检验统计方法,提出了一种基于前向选择的近似Markov Blanket特征选择算法,获得近似最优的特征子集.实验结果证明文中方法选取的特征子集与原始特征子集相比,以远小于原始特征数的特征子集获得了高于或接近于原始特征集的分类结果.同时,在高维特征空间的文本分类领域,与其它的特征选择方法OCFS,DF,CHI,IG等方法的分类结果进行了比较,在20Newsgroup文本数据集上的分类实验结果表明文中提出的方法获得的特征子集在分类时优于其它方法.
- 崔自峰徐宝文张卫丰徐峻岭
- 关键词：MARKOVBLANKET
- 基于AST的克隆序列与克隆类识别被引量：3
- 2008年
- 为了减少代码冗余,改善程序结构,提出一种新的基于抽象语法的代码克隆识别方法,归纳出常见的代码克隆形式并给出相应的重构技术.用二叉树表示源程序的抽象语法(BAST),逐条判断各语句BAST子树的同构性,识别出相似的语句序列作为克隆序列;根据子树同构识别一元克隆类,然后通过克隆类的连接操作,逐步识别二元及任意元数的克隆类.实验分析了多个开源软件,识别出了其中的克隆序列以及克隆类,从中归纳出4种常见的代码克隆,其基本特征分别为:相同的程序点访问同类对象的不同属性、部分变量名不同、针对不同的数据类型实施相同的操作、修改克隆区域外定义的变量,并对这4种代码有效地实施了重构.
- 李亚军徐宝文周晓宇
- 关键词：代码克隆软件维护
- 统计测试中操作剖面的一种优化设计方法被引量：3
- 2008年
- 为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,对测试剖面进行优化成为必需.采用客户需求和测试需求作为约束,模型静态参数或其他统计质量标准作为优化目标,提出了一种基于约束优化的测试剖面最优化计算框架.通过扩展蚁群算法研究了一种求解优化测试剖面的方法.实验表明,相对于传统的函数最优化方法,使用启发式的蚁群算法具有更好的优化效果,并且更具通用性.在统计测试中使用经过优化的测试剖面可以生成统计意义上符合测试需要的用例集合,提高测试效率.
- 万晓民张德平聂长海徐宝文
- 关键词：软件测试操作剖面测试剖面
- 基于程序依赖图的Aspect挖掘技术被引量：1
- 2008年
- 为了有效地识别遗产代码中因横切关注点而导致的零散代码或交织代码,提出了一种基于程序依赖图的A spect挖掘方法.根据横切关注点的本质特性,考察了横切关注点与核心关注点之间的依赖关系及其在依赖图上的表现形式,对于单个方法体,结合程序的语义信息,在程序依赖图中引入一个虚拟结点表征方法体的核心功能,所有影响核心功能的语句都与之建立依赖关系,然后对依赖图进行拓扑分析,先从虚拟结点开始分离出核心代码,再通过求解连通分量的方式挖掘方法体内横切代码.实例分析表明,该方法不仅能识别出方法体内的零散特性代码,而且还能有效地挖掘出交织特性的代码.
- 闵洪波徐宝文钱巨
- 关键词：ASPECT挖掘横切关注点程序依赖图软件维护
- TPython:一种扩充的Python语言被引量：1
- 2009年
- Python是一种流行的动态语言,但是由于完全的动态性影响了其执行效率和使用。因此,在Python基础上进行了静态化扩充,研制了TPython语言。该语言在注释中引入了可选的类型声明,并提供了包括类型检查在内的静态检查。相对于动态语言而言,TPython能够提高程序的可读性和可靠性,降低调试成本,相对于静态语言而言,TPython又具有语法简单,易于开发的优势。
- 余超周天琳周晓宇陈林徐宝文
- 关键词：PYTHON解释器动态语言
- 一种新型形式化程序切片方法被引量：9
- 2008年
- 针对目前程序切片方法较单一,且其模块性和程序语言适应性较差,提出一种新型的形式化程序切片方法—基于模块单子语义的切片方法.通过设计切片单子转换器,切片这一类计算被抽象成独立于具体语言的切片单子转换器,它可模块化地加载到实际程序中,得到相应的模块单子切片算法.这种模块化的抽象机制使得单子切片算法具有较强的模块性和语言适应性.还给出切片单子转换器的若干性质,并证明模块单子切片算法的正确性和终止性,同时研究单子切片算法与基于图可达性切片算法间的联系.
- 张迎周徐宝文
- 关键词：程序切片单子模块化形式化语义
- 相邻因素组合测试用例集的最优生成方法被引量：29
- 2007年
- 软件系统是一个复杂的逻辑系统,有很多因素可能影响系统的正常运行,组合测试可以对这些因素及其相互作用可能对系统产生的影响进行检测.针对一类只在相邻因素间存在相互作用的系统,文中提出了相邻因素组合测试的概念,分别给出了相邻因素两两(二维)组合覆盖表、相邻因素N(N2)维组合覆盖表和多重维数相邻因素组合覆盖表的生成算法,并证明了3个算法均可以生成数量最优的相邻因素组合测试用例集.最后通过实际应用场景,分析了相邻因素组合测试的应用价值.
- 王子元聂长海徐宝文史亮
- 关键词：软件测试测试用例生成
- 属性序列图:形式语法和语义被引量：6
- 2008年
- 在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用在工业实践中.属性序列图可以用来解决这种问题,它是一种基于场景的可视化的语言,容易理解并且具有较强的表达能力,能够克服当前工业中常用的符号中存在的诸多表达缺陷.为了能够完全清晰地描述和理解属性序列图,使其能够广泛地应用,给出其形式语法和基于Bchi自动机的形式语义,并进行了实例研究,讨论了其应用前景.
- 张鹏程周宇李必信徐宝文
- 关键词：时态逻辑自动机
- 基于概念内涵最小生成子的伪内涵计算方法被引量：2
- 2008年
- 伪内涵是形式概念分析理论的一个重要概念,伪内涵问题的研究是当前研究的热点.传统的伪内涵计算方法为了获得形式背景中所有的伪内涵,需要搜索形式背景中所有的非内涵属性集,而属性的组合容易导致搜索空间爆炸.为此,本文从概念内涵生成子的角度,刻画伪内涵的特性,给出伪内涵判定的充要条件;在此基础上,提出计算伪内涵的GPI算法.GPI算法只需对概念内涵的最小生成子进行计算,便可获得形式背景中所有的伪内涵,有助于缩减算法的搜索空间,提高伪内涵计算效率.理论分析和实验结果表明,本文的算法是有效可行的.
- 杨彬徐宝文许蕾
- 关键词：形式概念分析
- 并发环境中渐增式追踪重演机制被引量：1
- 2005年
- 在基于消息传递的并发程序中 ,由于进程的调度顺序以及消息延时等特性 ,使得同样输入的不同执行呈现不同的结果 ,这种并发程序行为的不确定性直接导致了程序错误的不可再现性 ,即后续的执行无法再现前次执行的错误。以反复执行程序、重复再现故障为核心的循环调试方法变得不再可用。因此 ,对于并发程序的调试问题 ,我们将传统的循环调试方法加以扩充 ,引入追踪和重演的机制 ,重放程序的某次执行 ,以消除并发程序的错误不可再现性。
- 曾奕徐宝文许蕾
- 关键词：并发不确定性检查点
