史亮
- 作品数：25 被引量：292H指数：10
- 供职机构：东南大学更多>>
- 发文基金：国家自然科学基金国家杰出青年科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于组合测试的软件故障诊断方法被引量：13
- 2003年
- 针对组合测试的基本模型和特征 ,提出了一种基于组合测试的软件故障诊断方法 .该方法基于软件故障由某些系统参数或其相互作用而引发的前提下 ,首先对组合测试的结果进行分析 ,找出所有可能的错误原因 ,然后根据初步分析结果补充一组由导致故障的测试用例衍生出的附加测试用例进行重新测试 ,并对其结果作进一步分析和验证 ,从而迅速将故障原因锁定在很小的范围内 ,这样可为软件的调试和测试工作提供更方便。
- 聂长海徐宝文史亮
- 关键词：软件测试故障诊断
- 基于CTAM模型的组件系统回归测试方法(英文)
- 2005年
- 提出组件系统的回归测试重点是对更新组件与其他组件之间以事件为单位的交互重新测试.给出了一种基于新的组件测试关联模型(CTAM)的组件系统回归测试方法.首先对需要进行回归测试的组件群体进行波动分析,得出群体中组件受系统改动的影响度,然后根据影响度选择复用先前的测试用例,生成最小回归测试用例集.与传统方法相比,该模型建立在组件间交互事件统计信息的基础上,分析了组件间的复杂关系,更适用于组件系统的回归测试.
- 解凯徐宝文聂长海史亮章晓芳
- 关键词：组件测试用例选择
- 测试数据自动生成技术研究
- 软件测试可以被视为为了发现错误而执行程序的过程，其中设计和生成有效的测试用例是决定其质量的重要因素之一。作为人工测试的重要补充，测试数据自动生成技术可以节省测试时间，降低开发成本，拓展测试人员的能力，在许多测试领域发挥着...
- 史亮
- 关键词：软件测试测试数据生成遗传算法
- 程序分析与测试技术研究
- 徐宝文史亮陈振强聂长海黄曙萍周毓明周晓宇陈林卢红敏左赋斌曹景屈波钱巨章晓芳吴重强
- “程序分析与测试技术研究”课题组提出了一种并发程序切片算法，较好地解决了并发程序依赖性的不可传递性问题，在多项式时间内获得了比较精确的切片。从多个方面研究了内聚性和复杂性。提出了三种新的两两组合测试用例集生成算法，其生成...
- 关键词：
- 关键词：程序切片软件测试
- 面向路径覆盖的演化测试用例生成技术(英文)被引量：24
- 2009年
- 为了解决目前结构性演化测试主要集中于面向语句、分支等覆盖标准,缺乏面向路径覆盖标准的问题,提出了基于相似性度量的适应值函数构造方法,以用于生成覆盖指定路径的测试用例.首先给出适应值函数构造基本模型,即利用测试数据的真实执行轨迹来评估它相对于指定路径的适应值.该模型的核心在于度量执行轨迹与指定路径之间的相似度,为此给出了3种不同的相似度度量算法.该模型可以完全自动化地为每一条目标路径构造出特定的适应值函数.实验结果表明,相对于其他路径测试方法,该方法在针对复杂路径的情况下具有一定的优势.此外,实验结果还指出了该方法的适用性范围和局限所在.
- 谢晓园徐宝文史亮聂长海
- 关键词：软件测试路径覆盖测试
- 基于客户程序度量包内聚性(英文)被引量：3
- 2009年
- 为了一致而高效地计算包内聚性,许多研究者提出了大量的包内聚性度量方法.然而,这些方法主要依赖于包内部的数据流关系,常导致度量结果与实际开发经验相悖.为了解决这一问题,首先以包的职责为基础将包划分为4类.然后,提出了共同重用内聚CRC,并根据包的分类框架讨论了CRC的适用性.CRC的核心思想是若多个类总被共同重用,则它们之间存在紧密耦合.最后,提出了度量CRC的海明内聚度HC.与现有方法相比,HC同时考虑了包内和包间的数据依赖.因而,该方法能够有效地反映包内部类间的语义关系.此外,HC利用包的使用模式提高了度量结果的可区分性.实验研究表明HC能够有效评估包的内聚程度.充分说明了作为HC基础的CRC具有较高的合理性.
- 周天琳徐宝文史亮周毓明
- 关键词：内聚性
- 相邻因素组合测试用例集的最优生成方法被引量：29
- 2007年
- 软件系统是一个复杂的逻辑系统,有很多因素可能影响系统的正常运行,组合测试可以对这些因素及其相互作用可能对系统产生的影响进行检测.针对一类只在相邻因素间存在相互作用的系统,文中提出了相邻因素组合测试的概念,分别给出了相邻因素两两(二维)组合覆盖表、相邻因素N(N2)维组合覆盖表和多重维数相邻因素组合覆盖表的生成算法,并证明了3个算法均可以生成数量最优的相邻因素组合测试用例集.最后通过实际应用场景,分析了相邻因素组合测试的应用价值.
- 王子元聂长海徐宝文史亮
- 关键词：软件测试测试用例生成
- 面向方面的程序设计:概念、实现与未来被引量：25
- 2005年
- 面向对象程序设计(OOP)的出现极大地提高了软件的可读性、可维护性和可复用性,但OOP并没有彻底解决软件的维护和复用问题,本质上是因为OOP难以模块化处理软件系统的横切关注点,以至于业务逻辑代码和其它代码(如日志记录、安全验证等)相互“纠缠”在一起,使得程序难以维护和复用。面向方面的程序设计(AOP)由此诞生,它最主要的设计原则是模块化系统的横切关注点,将业务代码与其它代码解耦,在更高的抽象和分解层次上,进一步提高了软件的可维护性、可复用性和可扩展性。首先深度探索了AOP的起源,然后阐述了AOP的本质,接着介绍了AOP的基本概念并以最为流行的实现语言AspectJ为例,剖析了AOP的实现机制,最后讨论了AOP在软件开发、测试、分析、度量和重构等领域的研究状况。
- 徐宝文周超洪周天琳史亮
- 关键词：面向对象程序设计ASPECTJ横切关注点
- 嵌入式软件测试支撑系统ETS
- 徐宝文陈振强周晓宇黄曙萍滕至阳史亮张斌管杰聂长海周毓明许蕾卢红敏陈林陈琴黄文伟
- 该项目是充分理论研究的基础上，国家自然科学基金、江苏省科技攻关项目、国防预研项目、江苏省自然科学基金、教育部高校骨干教师资助计划、江苏省青蓝工程跨世纪学术带头人项目、江苏省“三三三”人才项目、华为公司合作项目、716等项...
- 关键词：
- C程序单元级依赖性分析被引量：5
- 2004年
- 程序依赖性分析是软件分析的一个基本内容 ,目前的相关工作大多集中在语句级的分析方面。人们同样需要单元级的依赖信息来考察单元间的信息流向及整个程序的构架。本文针对C程序中函数间的调用依赖、参数传递依赖、全局数据依赖以及文件间的包含依赖和外部变量定义依赖进行了分析 ,并提出单元依赖图表达这些关系。基于此图 ,本文采用基于信息论的方法度量了单元间的耦合性。单元依赖图中保留的函数调用间的互斥关系提高了度量的准确性。相关的分析思想和技术适用于分析使用其它高级程序设计语言编写的软件。
- 周晓宇黄文伟史亮徐宝文
- 关键词：函数调用内聚性
