民用飞机软件验证技术研究

被引量 : 0次 | 上传用户:caritasSD
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机技术的不断发展,众多应用领域对软件验证技术越来越关注。软件验证贯穿于整个软件生命周期,它包括对软件多方面的验证,需求追踪是其中的一个重要方面,因此本文通过分析已有的多种需求追踪方法存在问题的根源,提出了基于信息检索和本体的需求追踪模型以提高软件的验证能力。需求追踪模型构建的主体是基于信息检索的民用飞机本体模型的构建,本文采用分层分模块的混合法对其进行构建。所谓分层,即把民用飞机本体模型分解成三层:民用飞机概念本体模型、民用飞机领域本体模型、民用飞机应用本体模型,三者是相互关联的。所谓分模块,即指各子模型的构建采用模块划分的方法。混合方法指结合使用自上向下法与自下向上法。本体中需求与代码追踪关系采用信息检索模型中的概率模型建立。采用上述方法,不仅提高了本体的推理效率,也增强了其复用性。当需求追踪模型建立完后,需对其进行验证,主要包括两部分:需求追踪模型信息检索精度的验证、基于信息检索的民用飞机本体模型的验证。对于前者,作者提出了信息检索精度优化方法,并采用查全率和查准率对其衡量。对于后者,本文依据IEEE 830标准中的四个评价标准对民用飞机本体模型进行验证,并提出了修正和优化的方法。最后,对追踪模型的复用进行了简单的描述。论文最后对需求追踪模型实现系统进行了简单的介绍,并给出了具体民用飞机软件实现案例。在论文的结束部分,对本文进行了总结以及说明了关于需求追踪进一步的研究方向。
其他文献
在我国计划经济体制向市场经济过渡的改革背景下,行政审批制度改革体现的其实是一个政府组织内的制度变迁过程。在政府组织内的决策团体主导的渐进改革中,政府组织内的制度变
:在中国思想史的发展历程中 ,社会化是一个十分重要的课题 ,然而 ,学术界的关注极为有限。晚明“异端”思想的社会化 ,是中国思想史上的典型范例。以泰州学派及其后学为主干
本文根据上世纪80年代末以来人类起源研究的成果,从人类起源新的观点对西藏高原旧石器时代遗存进行了新的探讨,对西藏旧石器文化遗存的上限年代、西藏旧石器人群从什么方向进
长期以来 ,附国问题不仅与吐蕃密切相关 ,且一直颇存争议。争议的焦点主要有三 :一、附国是否为吐蕃 ?二、附国位于何处 ?三、附国的下落即附国是怎样灭亡的 ?本文在前人研究
常德贵博士认为慢性前列腺炎的病机特点为本虚标实,湿热瘀蕴阻下焦,病久引起脏腑功能失调,而见肾阴、肾阳之不足;临证主张宏观辨证与微观辨证相结合,注重心理疏导与药物治疗
目的探讨1H-MRS及PWI对原发性中枢神经系统淋巴瘤(PCNSL)的诊断价值。方法从2005年8月至2011年11月,回顾性分析17例经手术或者穿刺病理证实的PCNSL行MRI扫描,其中16患者1H-MR
目的:研制吸水性强、性能优良、具有较强抗菌作用的新型医用敷料—双黄连水胶体敷料。方法:1、采用冻融循环法:以羧甲基纤维素钠(CMC-Na)、聚乙烯醇(PVA)作为水溶性高分子材
当前,小型无人直升机在国内外军事和民用等领域的应用需求迫切,急需解决小型无人直升机的自主飞行控制技术,实现无人直升机的超视距自主飞行,执行各种飞行任务。本课题正是在
紫外消毒技术由于其高效性,广谱性,安全性等特点,在水处理消毒领域应用越来越广泛,相应对紫外消毒设备的研究也越来越多。目前,国外已利用计算流体力学(CFD),采用数值模拟进
飞行控制软件是无人机飞行控制系统的重要组成部分,其性能直接关系到无人机的飞行安全,近年来越来越受到人们的重视。基于实时操作系统的飞行控制软件开发,对于提高软件品质