史亮 作品数:25 被引量:294 H指数:10 供职机构: 东南大学 更多>> 发文基金: 国家自然科学基金 国家杰出青年科学基金 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 更多>>
一种基于组合测试的软件故障诊断方法 被引量:13 2003年 针对组合测试的基本模型和特征 ,提出了一种基于组合测试的软件故障诊断方法 .该方法基于软件故障由某些系统参数或其相互作用而引发的前提下 ,首先对组合测试的结果进行分析 ,找出所有可能的错误原因 ,然后根据初步分析结果补充一组由导致故障的测试用例衍生出的附加测试用例进行重新测试 ,并对其结果作进一步分析和验证 ,从而迅速将故障原因锁定在很小的范围内 ,这样可为软件的调试和测试工作提供更方便。 聂长海 徐宝文 史亮关键词:软件测试 故障诊断 Component system regression testing method based on CTAM 2005年 The emphasis of component system regression testing is retesting of the event interaction between updated components and other components in a system.A component system regression testing method based on a new component testing association model (CTAM) is proposed.First,the modification-affected component groups are identified by the impact analysis on CTAM,and each component in this group is assigned with an influence degree.Then,previous test cases are selected according to the influence degree,to generate the minimal regression test suite.Compared with traditional methods,CTAM is derived from the statistic on the interactive events that occurred in previous test executions,and focuses on the complicated relationship between components,which is more applicable to the component system regression testing. 解凯 徐宝文 聂长海 史亮 章晓芳关键词:COMPONENT 测试数据自动生成技术研究 软件测试可以被视为为了发现错误而执行程序的过程,其中设计和生成有效的测试用例是决定其质量的重要因素之一。作为人工测试的重要补充,测试数据自动生成技术可以节省测试时间,降低开发成本,拓展测试人员的能力,在许多测试领域发挥着... 史亮关键词:软件测试 测试数据生成 遗传算法 程序分析与测试技术研究 徐宝文 史亮 陈振强 聂长海 黄曙萍 周毓明 周晓宇 陈林 卢红敏 左赋斌 曹景 屈波 钱巨 章晓芳 吴重强 “程序分析与测试技术研究”课题组提出了一种并发程序切片算法,较好地解决了并发程序依赖性的不可传递性问题,在多项式时间内获得了比较精确的切片。从多个方面研究了内聚性和复杂性。提出了三种新的两两组合测试用例集生成算法,其生成...关键词:关键词:程序切片 软件测试 面向路径覆盖的演化测试用例生成技术(英文) 被引量:25 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程序中函数间的调用依赖、参数传递依赖、全局数据依赖以及文件间的包含依赖和外部变量定义依赖进行了分析 ,并提出单元依赖图表达这些关系。基于此图 ,本文采用基于信息论的方法度量了单元间的耦合性。单元依赖图中保留的函数调用间的互斥关系提高了度量的准确性。相关的分析思想和技术适用于分析使用其它高级程序设计语言编写的软件。 周晓宇 黄文伟 史亮 徐宝文关键词:函数调用 内聚性