基于Markov链使用模型的软件可靠性测试技术研究

来源 :南开大学 | 被引量 : 0次 | 上传用户:xiaoyun1986
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着我军武器装备建设由机械化向信息化、数字化的跨越,软件在军事装备领域得到了更加广泛的使用,在一些先进的复杂武器系统中,软件已成为了武器系统作战能力和系统性能提升的关键。但是,在软件得到广泛应用的同时,随之而来的软件可靠性问题已成为影响装备质量的一大难题,严重制约了装备整体可靠性水平的提升。  软件测试是保证软件质量的重要手段。软件可靠性测试是为满足用户对于软件的可靠性需求而开展的测试,是保证软件可靠性质量,提升软件可靠性水平的重要手段。因此,本文重点围绕软件可靠性测试技术研究,对软件可靠性质量保证进行了探讨。  首先,在软件可靠性理论研究的基础上对软件可靠性测试的目的、特点及研究重点进行了梳理,并结合软件工程理论,为完善软件可靠性测试体系,提出了覆盖整个软件研制过程的可靠性测试框架。  其次,深入研究分析了“基于操作剖面”和“基于使用模型”的两种可靠性测试方法,针对军用装备软件的交互性和实时性特点,分析对比两种方法的优劣。选择了以Markov链模型作为军用软件可靠性测试建模的重点。  之后,根据某型装备定位定向系统软件的可靠性测试建模需求,从软件的需求规格入手,详细探讨了该软件Markov链使用模型的构造过程,并提出了改进的Markov链使用模型的构造方法,使模型构造更加方便。并以定位定向软件的Markov链使用模型为实例,进行了模型静态分析、测试充分性和测试用例自动生成技术的研究。  最后,在本文的软件可靠性测试技术研究基础上,开发了基于Markov链使用模型的可靠性测试辅助工具,以实现模型的构建、分析和可靠性测试用例的自动生成,并通过实例对软件工具的有效性和性能进行了测试。
其他文献
随着基于可重构器件的快速发展和使用,基于FPGA的可重构技术逐渐成为国际上嵌入式计算领域中的一个新热点。由于可重构器件既有硬件电路高效计算的优良性能,也具有多次编程、易
随着互联网技术的飞速发展,数据与日俱增,用户更加关心信息获取的实时性、准确性和相关性,而面向文档的互联网已无法满足当前的需求。语义网是一个面向数据的网络,它把所有的数据
在教育资源信息化进程中,智能主机终端不断地被引入到基础教育课堂与课下教学中,但是多数情况下智能终端仅作为教育资源的辅助输出展示平台。由于智能终端编辑软件有较高用户知
远程教育是一种学生与教师分离的,采用特定的传输系统和传播媒体进行教学的教育方式。它的信息传输方式多种多样,学习的场所和形式灵活多变。远距离教育的优势在于它可以突破
数字水印技术是近十几年来提出的一种有效的数字产品版权保护技术。但目前每一种水印算法是不可能,也根本做不到抵抗所有的攻击。研究的目标往往是针对某一类的攻击而设计算
数据聚类是重要的数据挖掘技术,聚类技术将末标记对象通过其相似度进行分组,使得组内对象的相似度最大而组问对象的相似度最小,从而发现对象的内在特性。然而,一些数据的结构和分
随着无线网络和移动通信技术的发展,智能手机功能日趋强大,设备价格及通信资费的也随之降低,这些都促使智能手机被广泛使用。同时它也面临着数据的非法访问、信息丢失、信息
随着信息技术的发展,软件规模不断扩大,如何保证和提高软件质量成为软件工程最为关心的问题之一。软件测试作为保证软件质量的关键技术之一,能够有效地发现软件中的故障。但
随着互联网网页数量的日益增多,如何提高搜索引擎的效率是近些年学术界及工业界都在极力解决的问题。搜索引擎的基本检索数据结构是倒排索引,近几年,许多研究都专注于提升倒排索
运动目标的分割是计算机视觉领域里一个重要的研究方向,它是一个应用基础研究并富于挑战性。它不限于某个特定问题,而是应用了多学科的理论,对该领域的研究具有重要的理论价