【摘 要】
：
随着软件在我国航天领域中得到越来越广泛的使用,对软件的可靠性要求,尤其是在型号软件系统中,得到了越来越多的重视。软件失效将会带来巨大的经济损失,甚至会直接导致更为严
【出 处】
：
中国航天第二研究院 航天科工集团第二研究院
论文部分内容阅读
随着软件在我国航天领域中得到越来越广泛的使用,对软件的可靠性要求,尤其是在型号软件系统中,得到了越来越多的重视。软件失效将会带来巨大的经济损失,甚至会直接导致更为严重的事故或灾难。为了避免软件错误带来的损失,从测试角度来看,必须要尽可能多的发现软件中存在的隐患,提高软件的可靠性。研究先进的软件测试技术,并通过设计开发具体的工具将先进的测试技术加以实现,对提高航天型号软件的可靠性具有十分重要的意义。本文首先通过对国内外测试用例自动生成方法及自动化测试的研究分析,提出若干目前相关研究可以借鉴的技术成果,并指出它们的不足和改进方向。在调研国内外研究成果的基础上,针对在形式化建模过程中对状态变量的标识和跟踪困难等问题,实现了一种定位功能机制,全程跟踪和准确定位形式化模型中的状态量,从而在很大程度上提高了建模效率。其次,在对测试覆盖准则的分析基础上,选取了简单转移覆盖与基于MC/DC覆盖准则要求,并对这两种典型且具有不同代表性的覆盖准则加以研究分析,使测试用例对软件进行测试时满足不同安全等级的测试覆盖要求。第三,通过模型检查器,从形式化模型生成结果中提取出来反例,针对反例中出现的重复和短前缀冗余,设计去除冗余算法,精简反例集合。第四,通过设计一种状态变量输入输出划分功能机制,可以实现直接从反例中提取出测试用例,再通过把测试用例转换为测试脚本,实现生成自动化测试的基础。借助批处理测试驱动文件,完成自动化测试过程并生成测试比对结果。在以上研究的基础上,总结了一套针对航天软件需求的确认测试用例自动生成及自动化测试流程,该流程涉及软件需求的形式化建模,基于测试准则的时序逻辑变换,反例的提取和精简,测试用例的整理生成以及自动化测试等内容。针对上述流程,设计并开发了一套能运用于型号软件的测试用例自动生成及自动化测试的软件工具。最后,本文将基于软件需求建模的测试用例自动生成工具应用于一个具有典型的安全性可靠性要求的净化工作室软件测试中,对该工具的有效性和实用性加以证明;同时为基于软件需求建模的测试用例自动生成工具在其他型号软件中的应用提供指导。
其他文献
基于 WEB 的应用服务系统,在 Internet 技术推广以来,得到迅速发展。近年来,各高校也纷纷开展网络信息化建设,校园网上运行的办公自动化、综合教务管理、财务管理、人力资源、网络教学、综合信息服务等系统在为学校提供信息服务的同时,也提高了管理人员的素质,并正在改变着人们的管理观念。然而,在各种管理服务系统中,却甚少有专门针对学生管理工作的网络服务系统。国内各高校普遍对此投入不多,相关的文献资
随着信息化的不断发展，企业对应用集成和应用互操作性的要求越来越高，但是由于不同应用系统间的异构性，使得企业间及部门间的数据交换、集成面临着很大的困难，极易导致信息孤岛的
步态识别是生物特征识别技术中的一个新兴领域。它旨在根据人们的走路姿势实现对个人身份的识别或生理、病理及心理特征的检测,成为近年来生物医学信息检测领域备受关注的前
随着互联网数据的爆发式增长，人们对信息获取、知识习得的需求也越来越高，这种需求一方面体现在对高质量和相关度的信息知识的要求，另一方面体现在对个性化、智能化的高效检索系
在手机彩信业务普及的今天,每天都会有大量的彩信图像进行检索和传送,这些数字图像中包含了大量有用的信息。然而,由于这些图像是无序地分布在世界各地,图像中包含的信息无法
近些年，我国数字多媒体产业发展迅速，市场上不断出现新的视听产品：MP4、数码照相机、数字广播电视、下一代高清晰度DVD……按照广电总局的规划，到2015年，我国将停止模拟电视广播，全
网格计算是21世纪新兴的网络计算方式,生物信息学的主要任务是以计算机为工具对生物信息进行存储、检索和分析【InfoBio】,北京大学生物信息中心开发了称作WebLab的生物信息
在过去的几十年里，软件发展经历了几个重要转折，从面向过程，面向对象，面向组件，面向集成。近年来，随着企业需求的不断变化，企业级应用软件的快速发展，开发的规模以及开发的复杂度也随
近年来，网络视频数据量呈爆炸式增长，为更好地管理和利用数字视频资源，人们迫切希望计算机能自动完成对视频的标记及描述工作以代替费时费力的人工标注。然而，视频的高层语义，也就
当前,智能手机平台上的手机病毒已经对人们日常使用手机产生了不良影响,并且这种影响将日益严重。手机病毒侵犯了手机用户的个人隐私,导致了手机用户的金钱损失,严重损害了手