万琳
- 作品数：41 被引量：90H指数：6
- 供职机构：装甲兵工程学院信息工程系更多>>
- 发文基金：国家高技术研究发展计划中国人民解放军总装备部预研基金中国人民解放军总装备部“十五”预研基金更多>>
- 相关领域：自动化与计算机技术自然科学总论社会学兵器科学与技术更多>>
- 面向C程序的测试用例自动生成实现被引量：2
- 2006年
- 软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的。对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的。介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法。该算法有效地改善了前有算法的一些缺陷,显示出不错的效果。
- 万琳
- 关键词：测试用例搜索策略
- 基于量化指标分析的软件质量度量方法被引量：10
- 2007年
- 使用定量的软件质量度量能够为质量管理人员的决策提供数据的基础,并减少定性评价或者主观评价的片面性。本文基于ISO/IEC9126软件质量标准,在分析软件质量度量的量化指标的基础上,进行了软件质量度量方法的研究,完善了软件质量综合特性和定量指标的度量模型。
- 程诺万琳张威
- 关键词：软件质量
- 一种缺陷数据分析方法及利用其缩减软件测试项目的方法
- 本发明提供了一种缺陷数据分析方法及利用其缩减软件测试项目的方法。本发明的缺陷数据分析方法包括缺陷数据向量空间模型构建、缺陷数据相似度计算、缺陷数据离散化编码、数据矩阵简化、染色体集合获取及负关联关系提取等步骤。该方法解决...
- 万琳王钦钊范秋灵李小龙张威
- 文献传递
- 基于最少谓词思想的可达路径选择被引量：2
- 2004年
- 对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.
- 万琳马雪雁陈曼青
- 关键词：不可达路径程序切片
- 软件的测试性分析与设计被引量：1
- 2001年
- 软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的.软件的测试性分析与设计是分析软件测试的复杂性、提高软件测试性的基本方法.提出了软件测试性的基本概念、分析与计算方法,以及软件测试性设计的基本思路.这对于高可靠性软件--特别是武器装备软件的设计具有指导意义.
- 宫云战刘海燕万琳杨朝红
- 关键词：软件测试
- 一种基于故障模型的代码静态测试方法研究
- 2011年
- 软件测试是排除软件故障,提高软件质量和可靠性的重要手段。基于故障模型的软件测试是软件编码阶段的主流测试方法之一。基于故障模型的代码静态测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点。鉴于此,本文采取一种特殊的静态分析技术来实现对代码的测试。首先讨论传统软件测试方法的缺点和局限性,给出基于故障模型的静态测试方法的优越性;然后在分析过程中,综合应用抽象语法树和控制流图,提出一种基于故障模型的软件测试方法。依据该算法开发自动化测试工具,给出实验结果和对比分析,并指出下一步的研究方向。
- 夏玉辉李鸣万琳王洪艳
- 关键词：软件测试语法树控制流图
- 基于路径的测试用例自动生成技术
- 结构测试用例的生成是结构测试中一项非常重要的工作。在软件测试过程中,人为地选择测试用例带有很大的盲目性和倾向性,同时基于软件开发的经济性考虑,测试用例的自动生成技术一直是人们研究的一个热门方向。本文主要针对结构测试中面向...
- 万琳张威马雪雁陈曼青
- 关键词：测试用例插装
- 文献传递
- 一种前置测试的软件开发方法被引量：1
- 2007年
- 测试是研发过程中的一个重要环节,但同其他过程相比,测试往往没有得到应有的重视,开发人员会将测试工作视为阻碍其按期完成开发进度的额外的负担。同时,传统的测试模型会推后发现错误的时间。本文介绍一种前置测试的开发方法,在开发之前就提前定义好该如何对程序进行测试,这不仅可以早期发现问题,并能够有效缩短开发时间。本文通过一个实例描述了该方法的基本原理。
- 万琳刘娟宫云战
- 关键词：软件开发
- 一种软件故障测试系统及方法
- 一种软件故障测试系统及方法，该系统包括软件读取模块、控制模块、故障检测模块和确认与统计模块；控制模块根据用户的输入信息向软件读取模块发出指令；软件读取模块读取待测软件并根据控制模块发出的指令将读取的软件程序传送至故障检测...
- 宫云战陈俊亮张威肖庆高传平万琳曹文静王璇孟祥武彭泳于晓燕
- 文献传递
- 结构测试中的可达路径选择方法被引量：5
- 2003年
- 在简单介绍了传统的不可达路径的排除方法后，主要介绍能有效改善其缺陷的可达路径选择方法。基于最少谓词思想的路径生成方法得到广泛的认可，但其实现方法的不同同样会影响路径的可达效果，文中介绍的综合利用控制流信息和数据流信息的方法较之单纯地利用控制流或数据流信息会生成更好的路径。
- 万琳肖庆宫云战
- 关键词：软件工程
