国家自然科学基金(60403016)
- 作品数:19 被引量:92H指数:5
- 相关作者:徐宝文张亚非陆建江苗壮史亮更多>>
- 相关机构:东南大学解放军理工大学南京邮电大学更多>>
- 发文基金:国家自然科学基金国家杰出青年科学基金国家教育部博士点基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于WordNet重用的领域本体构建方法被引量:16
- 2007年
- 构建本体是开发基于语义信息系统的重要步骤,提出了一种基于WordNet重用的领域本体构建方法。该方法分析了WordNet的结构和语义关系,将WordNet抽象为图模型,从中抽取以领域术语为节点的子图,得到一个领域子本体,再利用编辑工具对其进行修改和完善。实验结果表明,该方法可以重用WordNet的结构并从中获取领域知识,并半自动地快速构建领域本体。
- 赵天忠苗壮张亚非徐伟光陆建江
- 关键词:WORDNET本体图模型
- 基于惩罚函数的演化测试优化方法研究
- 2009年
- 演化测试是一种有效的测试用例自动生成技术。它将测试用例的生成的过程转化为一个利用遗传算法进行数值优化的问题,可以自动生成高质量的测试用例。目前,演化测试技术已经在许多测试领域被广泛地研究。研究发现,演化测试过程中无效解和局部最优解的存在扰乱了演化正常进行,降低了演化测试的性能。针对演化测试中存在的问题,提出基于惩罚函数的适应值函数F(x),对无效解和局部最优解进行惩罚,有助于演化过程中根据适应值选择更合适的个体进行遗传操作,提高演化测试的性能。实验结果表明,F(x)有效降低了无效解和局部最优解的适应值,提高了演化测试的性能。
- 张楠周晓宇陈林
- 关键词:惩罚函数
- 基于CTAM模型的组件系统回归测试方法(英文)
- 2005年
- 提出组件系统的回归测试重点是对更新组件与其他组件之间以事件为单位的交互重新测试.给出了一种基于新的组件测试关联模型(CTAM)的组件系统回归测试方法.首先对需要进行回归测试的组件群体进行波动分析,得出群体中组件受系统改动的影响度,然后根据影响度选择复用先前的测试用例,生成最小回归测试用例集.与传统方法相比,该模型建立在组件间交互事件统计信息的基础上,分析了组件间的复杂关系,更适用于组件系统的回归测试.
- 解凯徐宝文聂长海史亮章晓芳
- 关键词:组件测试用例选择
- 一个新的基于EFALC的推理算法(英文)被引量:1
- 2006年
- 针对目前的扩展模糊描述逻辑缺乏TBox约束下的推理算法,提出TBox约束下扩展模糊描述逻辑EFALC截概念可满足性问题及其推理算法.该算法的设计参考用于经典描述逻辑的tab-leau算法;详细描述了EFALC的转化规则和推理算法的过程,并使用递归函数调用、分支裁减和引入中间结果集合这3种技术对算法进行优化.证明了该优化推理算法的最坏时间复杂性为指数,且具有完备性和正确性,同时证明了TBox约束下EFALC截概念可满足性问题的复杂性是指数时间完全的.
- 周波陆建江张亚非康达周李言辉
- 限制数量约束的扩展模糊描述逻辑的推理复杂性(英文)
- 2007年
- 为了解决限制数量约束的扩展模糊描述逻辑(EFALCQ)的推理复杂性问题,采用限制数量约束的描述逻辑(ALCQ)离散模拟EFALCQ,并重用ALCQ的推理结论来证明EFALCQ推理问题的复杂性.提出了EFALCQ一致性推理问题的ALCQ模拟方法,将EFALCQ的可满足性推理问题转换为EFALCQ的一致性推理问题,并用EFALCQ的一致性推理问题离散模拟EFALCQ的可满足区间推理问题.最后证明了EFALCQ的可满足性、一致性、以及可满足区间推理问题的推理复杂性是PSPACE-complete问题.
- 陆建江李言辉张亚非周波康达周
- 一种基于模型检验的类测试用例生成方法被引量:9
- 2007年
- 提出一种新的自动生成类测试用例的方法.使用符号执行从类源代码抽取对象的状态和行为,以一个四元组抽象描述类,并转化成等价的Kripke结构.使用CTL公式描述测试覆盖标准,然后把这组CTL公式和描述类状态行为的Kripke结构输入模型检验工具,并利用模型检验工具自动生成相应的证据路径,最后将路径转化成满足相应覆盖标准的类测试用例.该方法直接从源代码生成测试用例,并使用贪心法约减冗余用例以降低测试成本.实验表明该方法生成的测试用例具有较高的覆盖率.
- 梁陈良聂长海徐宝文陈振宇
- 关键词:软件测试时序逻辑测试用例
- 一种启发式聚类特征选择方法(英文)被引量:1
- 2006年
- 为了使聚类可以在低维数据空间中进行,提出了一种新的聚类特征选择方法.该方法分3个步骤,每个步骤都在一个wrapper框架中执行.首先,将所有原始特征都按照重要性进行排序,引入一个特征重要性评价函数E(f);然后,顺序地选择特征组成重要特征子集;最后,去除重要特征子集中可能存在的冗余特征.由于是顺序选择特征而不是在巨大的特征子集空间中进行搜索,因此算法效率很高.实验结果表明该方法可以找出有助于聚类的重要特征子集,并且可以去掉那些不利于聚类的特征.
- 徐峻岭徐宝文张卫丰崔自峰
- 关键词:聚类无监督学习
- 统计测试中操作剖面的一种优化设计方法被引量:3
- 2008年
- 为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,对测试剖面进行优化成为必需.采用客户需求和测试需求作为约束,模型静态参数或其他统计质量标准作为优化目标,提出了一种基于约束优化的测试剖面最优化计算框架.通过扩展蚁群算法研究了一种求解优化测试剖面的方法.实验表明,相对于传统的函数最优化方法,使用启发式的蚁群算法具有更好的优化效果,并且更具通用性.在统计测试中使用经过优化的测试剖面可以生成统计意义上符合测试需要的用例集合,提高测试效率.
- 万晓民张德平聂长海徐宝文
- 关键词:软件测试操作剖面测试剖面
- 基于图模型的RDF/RDFS本体抽取方法被引量:5
- 2007年
- 为了提高RDF/RDFS本体中特定领域知识的利用效率,提出了一种从源本体中抽取出特定领域本体的算法。将RDF/RDFS本体抽象为图模型;根据RDFS推理规则生成RDFS本体图模型的闭包;应用图理论构建抽取算法,生成以特定领域术语词典中概念为节点的子图,得到所需的领域本体。抽取结果表明,该方法对于RDF层次的领域本体抽取有良好的适用性,可快速有效地构建特定领域本体。
- 赵天忠苗壮张亚非陆建江徐伟光
- 关键词:资源描述框架资源描述框架模式本体本体抽取图模型闭包
- 面向方面的程序设计:概念、实现与未来被引量:25
- 2005年
- 面向对象程序设计(OOP)的出现极大地提高了软件的可读性、可维护性和可复用性,但OOP并没有彻底解决软件的维护和复用问题,本质上是因为OOP难以模块化处理软件系统的横切关注点,以至于业务逻辑代码和其它代码(如日志记录、安全验证等)相互“纠缠”在一起,使得程序难以维护和复用。面向方面的程序设计(AOP)由此诞生,它最主要的设计原则是模块化系统的横切关注点,将业务代码与其它代码解耦,在更高的抽象和分解层次上,进一步提高了软件的可维护性、可复用性和可扩展性。首先深度探索了AOP的起源,然后阐述了AOP的本质,接着介绍了AOP的基本概念并以最为流行的实现语言AspectJ为例,剖析了AOP的实现机制,最后讨论了AOP在软件开发、测试、分析、度量和重构等领域的研究状况。
- 徐宝文周超洪周天琳史亮
- 关键词:面向对象程序设计ASPECTJ横切关注点