王晓华
- 作品数：6 被引量：6H指数：1
- 供职机构：中国科学院研究生院更多>>
- 发文基金：中国科学院国防科技创新基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向对象主流切片表示法的比较研究被引量：1
- 2008年
- 随着面向对象程序的发展,它的切片表示法也逐步成熟。对面向对象程序依赖图和面向对象系统依赖图这两种主流的面向对象切片表示法进行研究后,给出了两种方法的主要特点,并比较了它们的异同点及适用的应用领域。最后,对好的切片表示法应该具备的特性进行了总结。
- 王晓华顾逸东陈蔚薇郭丽丽
- 关键词：切片表示法
- 基于复合执行剖面的测试用例缩减技术
- 2009年
- 考虑到基于观察的测试常用的基本块、分支边等执行剖面信息不能完全表现测试用例对缺陷的发现能力,致使筛选的测试用例失效发现率不高,本文根据分析不同程序元素对缺陷类型的表现情况,提出将全面覆盖缺陷的复合执行剖面用于缩减高效的测试子集。实验结果表明,该缩减技术综合考虑了执行剖面对测试用例缺陷覆盖能力的刻画及失效用例的分布特性,因而得到的测试子集更能有效发现程序缺陷,提高了测试效率及可信度。
- 王晓华尚景亮顾逸东张涛
- 关键词：测试用例聚类
- 多维标度法选择回归测试子集被引量：1
- 2010年
- 在软件改动较大且资源限制严格时,回归测试目前的方法难以满足实际需要。因此,提出利用多维标度法选择回归测试子集的方法。该方法使用测试执行剖面表示测试集,通过计算剖面数据,将测试集合按照测试效果可视化分类,综合考虑了软件变更及测试用例的典型性,适用于大规模软件更改较多时获取有代表性的测试子集。实验表明,多维标度法能够全面反映原测试集对变更的测试程度,从而使得回归子集的获取及测试实施更有针对性,能够满足限制严格的回归测试要求。
- 王晓华张涛尚景亮王金波
- 软件特征模型与测试应用研究
- 随着软件规模和复杂度的迅速提高，测试成为保障软件质量的主要技术手段和促进软件开发的重要方法。目前测试主要依赖需求、设计规约，这就带来以下问题：首先，软件缺陷大量出现于需求至设计的转换阶段，而它们之间的可追踪性不佳，难以测...
- 王晓华
- 关键词：软件质量聚类
- 文献传递
- 用于程序开发的改进的有条件切片算法被引量：1
- 2008年
- 为了加速软件开发,提高软件质量,本文针对开发过程提出了一种改进的有条件切片算法。该算法改造了程序控制流程图,扩充了程序数据依赖定义,按照条件切片的一阶逻辑谓词缩减目标程序,并用扩充后的数据依赖计算有条件程序切片。在程序编码阶段,该算法能够抽取需要关注的代码段给开发人员,并能利用边的信息计算出程序的路径数目,从而为开发人员发现软件缺陷、冗余提供了有利的支撑。
- 王晓华顾逸东陈蔚薇郭丽丽
- 关键词：数据依赖
- 嵌入式系统仿真研究被引量：1
- 2008年
- 嵌入式环境的仿真能够为嵌入式软件的测试和可靠性的提高提供有力保障。当前的指令集环境模拟不能满足实际测试中的需要,基于此,构建了满足最小测试子集的仿真系统。该系统以关键控制单元为触发点,仿真嵌入式汇编软件的运行环境,实现了全数字、跨平台仿真,并支持脱离硬件的系统联调。为其它嵌入式系统的仿真提供了可借鉴经验。
- 王晓华顾逸东陈蔚薇张涛
- 关键词：嵌入式系统数字仿真
