【摘 要】
：
随着软件在航天型号系统中得到广泛的应用，软件在系统中的作用也越来越重要。在很多的安全关键性应用领域，特别是航天型号中，对软件的有效测试的需求也在不断增长。其中，在软件确
【出 处】
：
中国航天第二研究院 航天科工集团第二研究院
论文部分内容阅读
随着软件在航天型号系统中得到广泛的应用，软件在系统中的作用也越来越重要。在很多的安全关键性应用领域，特别是航天型号中，对软件的有效测试的需求也在不断增长。其中，在软件确认测试中就提出了开展基于系统状态迁移的测试要求。但是由于型号软件的规模和复杂程度越来越大，同时时间、人力物力以及技术水平的限制，以手工方式很难完成满足要求的测试用例生成，即使是通过手工方式分析测试用例的覆盖充分性结果也成为一个困难。
在此背景基础上，本文提出研究一种基于系统状态迁移的测试用例的自动化生成方法。在调研分析了国内外现有的研究状况之后，本文确定了使用UML进行系统状态建模，并结合本文面向航天型号软件的特点，分析得出本文所要处理的系统状态图具有多层、复杂的结构，由此给出了问题的总体解决思路：首先，将建模好的UML状态图进行展平(平坦化)，从而降低状态图的层次，简化状态图生成测试用例的难度；然后再由展平后的状态图生成最终的测试用例。在此过程中，本文改进了UML statechart语义和现有的平坦化算法，扩充了对伪状态的支持和处理，并结合现有的测试用例生成技术给出了相应的测试用例生成算法。
本文设计实现了一个原型工具，此工具具有对UML状态图的图形化编辑功能，并集成了本文研究的测试用例生成算法，使之变为一种方便直观的自动化过程。并通过一个具有多层复杂状态的典型案例验证了本文的研究成果以及工具的可用性。
其他文献
近年来,随着计算机和互联网技术的飞速发展,P2P技术已成为业界关注的焦点,并在越来越多的领域得到了广泛的应用。然而,P2P网络中节点的自主行为引起的不可靠服务以及安全风险
在Internet广泛应用的今天,许多企业都在自己的业务领域和日常工作中,引入了基于B/S模式的网络应用系统。传统的B/S模式网络应用的客户端显示常采用基于HTML技术,而这种方式
航空电信网是新航行系统的重要组成部分,ATN/IPS是未来航空电信网的发展方向,它是由不同空地网络组成的全球互联复杂网络。飞机在飞行的过程中可能穿越不同的子网,从一个地面
云计算是一种面向服务的、构建在以资源动态分配和绑定为核心的计算基础设施之上的一种新型计算形态和商业模式。在云计算基础设施中，计算资源、存储资源以及网络带宽等都可以
三网融合已被正式提上日程,基于融合网络提供融合类业务也已是迫在眉睫的任务。本文所提出的面向融合网络的Parlay X网关(PXGW),正是基于这个网络和业务环境背景而提出的,目
网络安全问题是下一代互联网研究的关键问题之一,而加密算法又是网络安全问题的核心。为了满足下一代互联网多媒体实时性安全通信的要求,既需要选用复杂性高的加密算法,以增
随着网络节点数量的增多、用户对网络服务质量的要求越来越高,无线接入网变得庞大且难以管理,网络优化成本较高。LTE (Long Term Evolution)无线接入网具有自主管理的设计需
航天型号软件，即作为航天型号产品的一部分而发挥作用的软件产品。由于型号软件工作环境及用途的特殊性，其对可靠性要求很高。甚至可以这样认为：可靠性是型号软件的生命线.是系
随着3G(3rd-generation)及后3G无线通信技术的成熟和发展,使得视频通信业务成为可能,人们也越来越期待能在手机智能终端上享受更多丰富多彩的业务,比如互联网业务。随着呼叫
雷达辐射源信号识别是电子情报侦察(ELINT).电子支援侦察(ESM)和雷达威胁告警(RWR)系统中的关键处理过程,也是电子干扰的前提和基础,其识别水平是衡量雷达对抗设备技术先进程