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

哈清华; 刘大有; 沈湘衡; 刘逻

doi:10.3788/OPE.20162405.1185

您当前的位置：

首页 >

文章列表页 >

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

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

- 基于需求模型的航天软件测试用例生成方法
- Test case generation of aerospace software based on modeling requirements
- 光学精密工程 2016年24卷第5期页码：1185-1196
- 作者机构：
  
  1. 中国科学院长春光学精密机械与物理研究所,吉林长春,中国,130033
  2. 吉林大学计算机科学与技术学院,吉林长春,130012
  3. 吉林大学符号计算与知识工程教育部重点实验室,吉林长春,130012
- 作者简介：
- 基金信息：
  
  国家自然科学基金资助项目(No.61133011)();国家自然科学基金面上项目(No.61373053,No.61472161)()
- DOI：10.3788/OPE.20162405.1185
  中图分类号： TP301.6
- 收稿日期：2015-05-11，
  
  修回日期：2015-06-01，
  
  纸质出版日期：2016-05-25
- 稿件说明：
移动端阅览
哈清华, 刘大有, 沈湘衡等. 基于需求模型的航天软件测试用例生成方法[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.

浏览量

556

下载量

CSCD

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

提交

工具集

关联资源

微机电陀螺耦合刚度的辨识

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

基于蝴蝶模型的星载嵌入式软件测试策划

基于径向基函数网络的茶多酚总儿茶素近红外光谱检测模型的研究

波前像差引导的角膜切削模型及实现技术的研究