毛澄映
- 作品数：24 被引量：171H指数：7
- 供职机构：江西财经大学软件与通信工程学院更多>>
- 发文基金：湖北省自然科学基金国家自然科学基金国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于扩展有限状态机的定义-清除路径的生成方法被引量：3
- 2006年
- 本文提出了一种面向对象测试中定义-清除路径(DC路径)生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径。这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径(DU路径)组成的测试用例集。
- 卢炎生雷波谢晓东毛澄映
- 关键词：扩展有限状态机测试用例
- 面向对象程序的异常分析与测试方法述评被引量：2
- 2007年
- 从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C++程序中异常测试技术改进和工具实现方面所做的工作;探讨了异常分析和测试的若干研究方向。
- 毛澄映卢炎生闫伟江胜
- 关键词：异常处理控制流图
- 统计测试技术在类测试中的应用研究
- 面向对象程序的广泛应用,寻求对此高效测试的方法和技术已成为一个亟待解决的课题.本文将测试过程式程序效果显著的统计测试方法应用于类程序的测试.方法级统计结构化测试能有效地排除语句逻辑错误,对象级统计功能性测试则能揭示导致状...
- 毛澄映卢炎生
- 关键词：统计测试控制流图测试用例面向对象
- 数据挖掘技术在软件工程中的应用综述被引量：21
- 2009年
- 随着软件系统的规模和复杂性日益增长,软件开发已经演变成一项复杂的系统工程。软件工程中的对象、活动和过程更加难以控制和管理,因此该领域原有的经验直觉型的处理模式已经不能适应新的需求,而数据挖掘技术的引入为实现知识智能型软件工程提供了重要契机。以软件工程领域中的数据对象为主线,对在程序代码分析、故障检测、软件项目管理、开源软件开发等软件活动中所运用到的数据挖掘技术进行了系统的介绍和归纳,并在每一环节作了方法间的优劣性对比分析。最后还指出了若干值得进一步研究的方向。
- 毛澄映卢炎生胡小华
- 关键词：数据挖掘软件工程软件项目管理开源软件
- 面向对象类簇级测试中控制依赖分析方法研究被引量：6
- 2005年
- 类簇控制依赖信息是进行类间数据流测试的基础。本文通过克服已有类控制流分析的不足之处,提出了CCFG算法,依照类间测试序,通过分析继承、聚集和关联等类间关系特征进而增量式地构造类间控制流图(ICCFG算法),并初步探讨了动态控制依赖分析方法。实验表明,上述控制流分析方法可方便地用于类间数据流测试,并能有效地探测定义-使用错误。
- 毛澄映卢炎生
- 关键词：数据流测试
- 基于安全规则变异的Web Services安全性测试方法被引量：4
- 2013年
- 针对已有变异测试研究中仅考虑对SOAP(Simple Object Access Protocol)消息输入参数的变异处理,而缺乏对SOAP消息安全规则变异的研究,文中从消息机密性、完整性及身份认证等方面对安全规则进行归类,提出了一种基于安全规则变异的Web Services安全性测试方法.首先给出一种安全规则变异测试框架,研究变异点判定规则库,设计出相应的变异操作算子、漏洞判定准则以及基于优先级与权重策略的变异算子选择方法.然后提出一种基于安全规则变异的测试用例生成算法,依照算法生成违背安全规则的SOAP消息,从而揭露Web Services的安全类故障.最后实现了一个Web Services安全性测试工具WSSTT(Web Services Security Testing Tool),在工具的基础上进行实验和对比分析,验证了文中提出的基于安全规则变异的Web Services安全测试方法的可行性和有效性.
- 陈锦富李青毛澄映詹永照黄如兵陈加梅
- 关键词：WEBSERVICESSOAP消息变异算子
- 基于依赖性分析的回归测试用例选择被引量：10
- 2005年
- 在面向对象程序功能性测试中,扩展有限状态自动机(ESFM)是一种有效的建模表示方式。本文主要探讨面向对象程序回归测试中的用例选择技术,对程序对应的EFSM模型进行数据依赖和控制依赖分析,确定程序中修改部分的波及影响,再进行测试用例的选择。
- 黄若艺毛澄映
- 基于粒子群优化的测试数据生成及其实证分析被引量：19
- 2014年
- 运用元启发式搜索进行结构性测试数据生成已经被证实是一种有效的方法.在讨论基于搜索的测试数据生成基本框架的基础上,以分支覆盖作为测试覆盖准则,给出了基于粒子群优化(particle swarm optimization,PSO)的测试数据生成算法,并通过分析分支谓词的结构特征提出了一种新的适应函数构造形式.在此基础上,针对一些公开的程序集开展对比性实验分析,证实粒子群优化算法在平均覆盖率、全覆盖成功率、平均收敛代数和搜索时间4项指标上均要优于遗传算法和模拟退火算法.同时,编程实现了4种典型的PSO变体算法并进行测试数据生成效果的实证分析,结果表明:基本PSO是解决测试数据生成问题的首选算法,而综合学习式PSO算法的表现则相对较差.
- 毛澄映喻新欣薛云志
- 关键词：结构性测试测试数据生成搜索算法粒子群优化
- 一个C/C++程序集成测试平台的设计与实现被引量：4
- 2007年
- 研制自动化或半自动化的测试工具将对软件的开发过程产生重大影响,并能有效提高软件生产率,是当今软件业界一个极具现实意义的课题.以目前广为使用的C/C++程序作为测试对象,从程序结构信息获取、插装、I/O重定向等方面探讨如何实现方法级结构性测试;按需求规约对类的状态转换行为运用EFSM建模,依据类状态转换图自动生成测试用例,在类测试驱动器的执行下实现基于状态的类测试.在系统级别上,运用等价类、边界值分析等常规策略进行黑盒测试.此外,运用聚类技术对失效执行进行聚类分析,并从中抽样出典型的测试执行用例用于指导程序的进一步诊断.所实现的原型系统CppTest具备多级别测试、测试项目化管理、自动化/可视化程度高、扩展性好等优点.
- 毛澄映卢炎生谢晓东江胜顾海波
- 关键词：结构性测试聚类分析
- 构件软件测试技术研究进展被引量：41
- 2006年
- 软构件技术提供了一种较面向对象方法更为有效的软件设计模式,构件软件被广泛应用并成为一种主流软件形态·然而,构件的内部信息屏蔽、演变速度快以及构件间的异质、松耦合等特点给构件软件系统的测试带来极大的挑战,寻求高效的构件软件测试技术和开发实用的测试工具是当今软件业界一个亟待解决的课题·分析和归纳近年来一些典型的构件、构件软件测试方法和技术并对当前较为有效的测试框架和工具进行总结;最后,对其今后若干研究方向进行了展望·
- 毛澄映卢炎生
- 关键词：可测试性网构软件可靠性
