马雪雁
- 作品数：4 被引量：6H指数：2
- 供职机构：装甲兵工程学院信息工程系更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于最少谓词思想的可达路径选择被引量：2
- 2004年
- 对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.
- 万琳马雪雁陈曼青
- 关键词：不可达路径程序切片
- 基于路径的测试用例自动生成技术
- 结构测试用例的生成是结构测试中一项非常重要的工作。在软件测试过程中,人为地选择测试用例带有很大的盲目性和倾向性,同时基于软件开发的经济性考虑,测试用例的自动生成技术一直是人们研究的一个热门方向。本文主要针对结构测试中面向...
- 万琳张威马雪雁陈曼青
- 关键词：测试用例插装
- 文献传递
- 面向故障的软件测试方法研究被引量：4
- 2004年
- 提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指针引用、数组越界和未初始化变量等5类故障.该方法在词法分析和语法分析的基础上,利用检查点查找算法查找可疑点,通过适当的人工确认,能够有效找出软件中的故障.
- 张威肖庆卢庆龄马雪雁
- 关键词：数组越界
- 基于路径的测试用例自动生成技术
- 结构测试用例的生成是结构测试中一项非常重要的工作.在软件测试过程中,人为地选择测试用例带有很大的盲目性和倾向性,同时基于软件开发的经济性考虑,测试用例的自动生成技术一直是人们研究的一个热门方向.本文主要针对结构测试中面向...
- 万琳张威马雪雁陈曼青
- 关键词：测试用例插装软件测试自动生成方法
- 文献传递
