面向需求覆盖的航天软件测试用例优化方法

王红园; 郭永飞; 姬琪

doi:10.3788/OPE.20142201.0228

您当前的位置：

首页 >

文章列表页 >

面向需求覆盖的航天软件测试用例优化方法

信息科学 | 更新时间：2020-08-13

- 面向需求覆盖的航天软件测试用例优化方法
- Optimization of aerospace software test cases based on requirement coverage
- 光学精密工程 2014年22卷第1期页码：228-234
- 作者机构：
  
  1. 中国科学院长春光学精密机械与物理研究所,吉林长春,中国,130033
  2. 中国科学院大学北京,中国,100049
- 作者简介：
- 基金信息：
  
  国家863高技术研究发展计划资助项目(No.2011AA7031024G)()
- DOI：10.3788/OPE.20142201.0228
  中图分类号： TP311.5
- 收稿日期：2013-05-25，
  
  纸质出版日期：2014-01-15
- 稿件说明：
移动端阅览
王红园, 郭永飞, 姬琪. 面向需求覆盖的航天软件测试用例优化方法[J]. 光学精密工程, 2014,22(1): 228-234

WANG Hong-Yuan, Guo Yong-Fei, Ji Qi. Optimization of aerospace software test cases based on requirement coverage[J]. Editorial Office of Optics and Precision Engineering, 2014,22(1): 228-234
王红园, 郭永飞, 姬琪. 面向需求覆盖的航天软件测试用例优化方法[J]. 光学精密工程, 2014,22(1): 228-234 DOI： 10.3788/OPE.20142201.0228.

WANG Hong-Yuan, Guo Yong-Fei, Ji Qi. Optimization of aerospace software test cases based on requirement coverage[J]. Editorial Office of Optics and Precision Engineering, 2014,22(1): 228-234 DOI： 10.3788/OPE.20142201.0228.

摘要

研究了一种面向需求覆盖率的测试用例优化方法

用于提高测试效率

增加航天软件测试的有效性。该测试用例优化方法包括测试用例约简和测试用例设计两部分

目前已应用于某航天型号项目的测试过程中。文中分析了航天软件的特点

测试流程及测试过程中可采用的优化技术。研究了现有的测试用例约简方法

并改进了基于测试需求的约简方法

使之能够满足需求覆盖率的要求。之后

提出了一种基于需求关键词关联的测试用例设计方法

以确保达到预期的需求覆盖率。最后

将这种优化方法应用于工程实践

并进行了结果分析。应用结果表明

采用上述方法不但满足了需求覆盖率的要求并使测试用例设计的工作量降低了约39%

保证了测试充分性

并有效地提高了测试效率。

Abstract

An approach to optimize the aerospace software test cases based on the requirement coverage is researched in this paper to improve the efficiency of the software testing and increase the effectiveness of aerospace software testing. It is composed of the reduction and design of test cases

and has been used in a test of aerospace project. Firstly

the characteristics

testing process

and optimization techniques of aerospace software are analyzed. Then

a method to reduce test requirements is improved to simplify the test requirements. Furthermore

a design of test cases based on the correlative keywords of requirements is given

and the requirement coverage is achieved. Finally

the optimizing approach is applied in the test of aerospace software. The results of application show that the method can not only satisfy the demand of requirement coverage

but also make the workload of designing test cases reduce by 39%. The method ensures testing adequacy

and improves the test efficiency greatly.

关键词

Keywords

references

曹爽.航空软件测试用例自动生成方法研究[D].南京:南京航空航天大学, 2010.

CAO SH. Research on automatic generation method of test case for aviation software [D]. Nanjing:

Nanjing University of Aeronautics and Astronautics, 2010. (in Chinese)

PETRENKO A, SIMAO A. Model-based testing of software and systems: recent advances and challenges [J]. International Journal on Software Tools for Technology Transfer, 2012, 14(4):383-386.

ELBERZHAGER F, ROSBACH A. Reducing test effort: A systematic mapping study on existing approaches [J]. Information and Software Technology, 2012, 54(10):1092-1106.

SRIKANTH H, BANERJEE S. Improving test efficiency through system test prioritization [J]. The Journal of Systems & Software, 2012, 85(5):1176-1187.

章晓芳, 陈林, 徐宝文, 等.测试用例集约简问题研究及其进展[J].计算机科学与探索, 2008, 2(3): 235-247.

ZHANG X F, CHEN L, XU B W, et al.. Survey of test suite reduction problem [J]. Journal of Frontiers of Computer Science and Technology, 2008, 2(3): 235-247. (in Chinese)

章晓芳, 徐宝文, 聂长海, 等.一种基于测试需求约简的测试用例集优化方法[J].软件学报, 2007, 18(4): 821-831.

ZHANG X F, XU B W, NIE CH H, et al.. An approach for optimizing test suite based on testing requirement reduction [J]. Journal of Software, 2007, 18(4): 821-831. (in Chinese)

王俊杰, 沈湘衡, 张波, 等.环境参数与状态参数融合的测试用例集约简方法[J].光学精密工程, 2009, 17(7): 1678-1685.

WANG J J, SHEN X H, ZHANG B, et al.. Optimal test suite generation methods based on the fusion of environment and state parameter [J]. Opt. Precision Eng., 2009, 17(7): 1678-1685. (in Chinese)

陈佳豫, 孔德柱, 刘金国, 等.基于蝴蝶模型的星载嵌入式软件测试策划[J].光学精密工程, 2011, 19(7): 1677-1685.

CHEN J Y, KONG D ZH, LIU J G, et al.. On-board embedded software test planning based on butterfly model [J]. Opt. Precision Eng., 2011, 19(7): 1677-1685. (in Chinese)

顾庆, 唐宝, 陈道蓄.一种面向测试需求部分覆盖的测试用例集约简技术[J].计算机学报, 2011, 34(5): 879-888.

GU Q, TANG B, CHEN D X. A test suite reduction technique for partial coverage of test requirements [J]. Chinese Journal of Computers, 2011, 34(5): 879-888. (in Chinese)

薛旭成, 石俊霞, 吕恒毅, 等. 空间遥感相机TDI CCD积分级数和增益的优化设置[J]. 光学精密工程, 2011, 19(4): 857-863.

XUE X CH, SHI J X, LV H Y. Optimal set of TDI CCD integration stages and gains of space remote sensing camera [J]. Opt. Precision Eng., 2011, 19(4): 857-863. (in Chinese)

浏览量

264

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于需求模型的航天软件测试用例生成方法

用智能规划解空间树法生成测试数据

环境参数与状态参数融合的测试用例集约简方法