Optimization of aerospace software test cases based on requirement coverage

WANG Hong-Yuan; Guo Yong-Fei; Ji Qi

doi:10.3788/OPE.20142201.0228

您当前的位置：

首页 >

文章列表页 >

Optimization of aerospace software test cases based on requirement coverage

Information Sciences | 更新时间：2020-08-13

- Optimization of aerospace software test cases based on requirement coverage
- Optics and Precision Engineering Vol. 22, Issue 1, Pages: 228-234(2014)
- 作者机构：
  
  1. 中国科学院长春光学精密机械与物理研究所,吉林长春,中国,130033
  2. 中国科学院大学北京,中国,100049
- 作者简介：
- 基金信息：
- DOI：10.3788/OPE.20142201.0228
  CLC： TP311.5
- Received：25 May 2013，
  
  Published：15 January 2014
- 稿件说明：
移动端阅览
王红园, 郭永飞, 姬琪. 面向需求覆盖的航天软件测试用例优化方法[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)

Views

264

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Test case generation of aerospace software based on modeling requirements

Generation of test data by solution space tree based on intelligent planning

Optimal test suite generation methods based on fusion of environment and state parameters

Related Author

HA Qing-hua

LIU Da-you

SHEN Xiang-heng

LIU Luo

LI Yang

Song Ke-Fei

WANG Jun-jie

SHEN Xiang-heng

Related Institution

College of Computer Science and Technology, Jilin University

Key Laboratory of Symbolic Computation and Knowledge Engineering for the Ministry of Education, Jilin University

Graduate University of Chinese Academy of Sciences

Institute of Sciences, PLA University of Science and Technology

AI问答

Address：No.3888 Dong Nanhu Road, Changchun, Jilin, China Postal code：130033
Tel：0431-86176855 Email：gxjmgc@ciomp.ac.cn
Technical support is provided by Beijing Founder electronics co., LTD 吉ICP备11002662号-17 京公网安备11010802024621
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰