Test case generation of aerospace software based on modeling requirements

HA Qing-hua; LIU Da-you; SHEN Xiang-heng; LIU Luo

doi:10.3788/OPE.20162405.1185

您当前的位置：

首页 >

文章列表页 >

Test case generation of aerospace software based on modeling requirements

更新时间：2020-08-13

- Test case generation of aerospace software based on modeling requirements
- Optics and Precision Engineering Vol. 24, Issue 5, Pages: 1185-1196(2016)
- 作者机构：
  
  1. 中国科学院长春光学精密机械与物理研究所,吉林长春,中国,130033
  2. 吉林大学计算机科学与技术学院,吉林长春,130012
  3. 吉林大学符号计算与知识工程教育部重点实验室,吉林长春,130012
- 作者简介：
- 基金信息：
- DOI：10.3788/OPE.20162405.1185
  CLC： TP301.6
- Received：11 May 2015，
  
  Revised：01 June 2015，
  
  Published：25 May 2016
- 稿件说明：
移动端阅览
哈清华, 刘大有, 沈湘衡等. 基于需求模型的航天软件测试用例生成方法[J]. 光学精密工程, 2016,24(5): 1185-1196

HA Qing-hua, LIU Da-you, SHEN Xiang-heng etc. Test case generation of aerospace software based on modeling requirements[J]. Editorial Office of Optics and Precision Engineering, 2016,24(5): 1185-1196
哈清华, 刘大有, 沈湘衡等. 基于需求模型的航天软件测试用例生成方法[J]. 光学精密工程, 2016,24(5): 1185-1196 DOI： 10.3788/OPE.20162405.1185.

HA Qing-hua, LIU Da-you, SHEN Xiang-heng etc. Test case generation of aerospace software based on modeling requirements[J]. Editorial Office of Optics and Precision Engineering, 2016,24(5): 1185-1196 DOI： 10.3788/OPE.20162405.1185.

摘要

为了提高航天软件测试的效率和覆盖率

增加航天软件测试的有效性

提出了一种基于需求模型的软件测试用例设计方法。针对航天软件测试的特点

该方法采用从用例层深入至步骤层的测试优化策略。首先

基于元建模方法定义了一种测试需求模型;通过建立模型

将测试需求加以拆分

获取了测试需求之间的先后依赖关系以及测试需求与测试步骤之间的对应关系。然后

基于测试需求模型

构建了测试需求的路径图

进而通过对图的遍历获得了测试用例。最后

将该方法用于工程实践进行了实验验证。验证结果表明

该方法有效保证了测试活动的充分性和有效性

降低了测试用例约简的风险。与不约简的测试方法相比

该方法减少测试工作量达18%

减少测试用例数量为40%以上

软件测试的执行时间也减少了40%以上

在满足需求覆盖率的同时

有效提高了测试效率。

Abstract

A model-driven software test case generation approach was researched to improve the efficiency and coverage rate of aerospace soft test and to increase the validity of test. According to the characteristics of aerospace software test

the strategy of step-layer test case optimization was put forward instead of case-layer optimization. Firstly

a model for testing requirements was presented based on meta-modeling method. Then

the test requirements were split by model building to obtain the relationship between the test requirements and the dependence of the test requirements on the test steps. With the constructed path graph of test requirements

test cases were gotten based on traversing for the graph. Finally

the approach was applied to the test of aerospace software test. The results of application show that this approach reduces the risk of test case optimization and is effective to ensuring the adequacy and validity of testing activities. The number of test cases are reduced more than 40%

and the whole workload of test is saved more than 18%. It meets the coverage rate of software test and improves the efficiency of test.

关键词

Keywords

references

张义德,王国庆,杨平,等. 基于需求的航空嵌入式软件测试技术研究[J]. 计算机工程与设计, 2002, 23(10):4-7. ZHANG Y D,WANG G Q, YANG P, et al.. A research on aeronautic embedded software testing technique based on requirement[J]. Computer Engineering and Design,2002,23(10):4-7. (in Chinese)

刘逻,郭立红,方艳超,等. 系统级软件可靠性屋在RTI管理模块上的应用[J]. 光学精密工程, 2014, 22(3):787-796. LIU L, GUO L H, FANG Y CH, et al.. The application of system-level house of software reliability on RTI management module[J]. Opt. Precision Eng., 2014, 22(3):787-796. (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.

HARROLD M J, GUPTA R, SOFFA M L. A methodology for controlling the size of a test suite[J]. ACM Transactions of Software Engineering and Methodology, 1993, 2(3):270-285.

CHAE H S, WOO G, KIM T Y, et al.. An automated approach to reducing test suites for testing retargeted C compilers for embedded systems[J]. The Journal of Systems and Software, 2011, 84(12):2053-2064.

WANG SH, SHAUKAT A, ARNAUD G, et al.. Cost-effective test suite minimization in product lines using search techniques[J].The Journal of Systems and Software, 2015, 103:370-391.

BESTOUN S A, TAIB SH A, MOAYAD Y P, et al.. Achievement of minimized combinatorial test suite for configuration-aware software functional testing using the Cuckoo Search algorithm[J].Information and Software Technology, 2015, 66:13-29.

ZHONG H, ZHANG L, ME H. An experimental comparison of four test suite reduction techniques[C]. Proceeding of the 28th International Conference on Software Engineering, 2006:636-640.

章晓芳,徐宝文,聂长海,等. 一种基于测试需求约简的测试用例集优化方法[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]. 计算机学报,2006,26(12):1690-1695. NIE CH H, XU B W. A minimal test suite generation method[J]. Chinese Journal of Computers, 2006,26(12):1690-1695.(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 fusion of environment and state parameters[J]. Opt. Precision Eng., 2009, 17(7):1678-1685.(in Chinese)

郭曦,张焕国. 基于谓词抽象的测试用例约简生成方法[J]. 通信学报, 2012, 33(3):35-51. GUO X, ZHANG H G. Approach for reduced test suite generation based on predicate abstraction[J]. Journal on Communications, 2012, 33(3):35-51.(in Chinese)

杨波,吴际,徐珞,等. 一种软件测试需求建模及测试用例生成方法[J]. 软件学报, 2014,37(3):522-538. YANG B, WU J, XU L, et al.. An approach of modeling software testing requirements and generating testCase[J].Journal of Software, 2014, 37(3):522-538.(in Chinese)

BUDINSKY, FRANK. Eclipse Modeling Framework:A Developer's Guide[M]. Boston, USA:Addiseon-Wesley Professional, 2004.

Views

556

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Identification of coupling stiffness for MEMS gyroscope

Optimization of aerospace software test cases based on requirement coverage

On-board embedded software test planning based on butterfly model

Near infrared spectroscopic model for determinating total catechins in tea polyphenol powder based on radical basis function network

Wavefront guided ablation on cornea

Related Author

Yue-chen LIU

Rong ZHANG

Bin ZHOU

Zhi-yong* CHEN

Ji Qi

Guo Yong-Fei

WANG Hong-Yuan

CHEN Jia-yu

Related Institution

Department of Precision Instrument, Tsinghua University

University of Chinese Academy of Sciences

Graduate University of Chinese Academy of Sciences

Chinese Jiliang University

State Key Laboratory of Applied Optics, Changchun Institute of Optics, Fine Mechanics and Physics, Chinese Academy of Sciences

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.

⁰