【摘 要】
：
适航认证对机载软件来说至关重要,DO-178C是重要的机载软件安全标准,但是目前还未建立成熟的面向DO-178C标准的目标符合性论证模型。本文基于DO-178C标准中针对软件测试
【机 构】
：
北京航空航天大学计算机学院,北京100191
论文部分内容阅读
适航认证对机载软件来说至关重要,DO-178C是重要的机载软件安全标准,但是目前还未建立成熟的面向DO-178C标准的目标符合性论证模型。本文基于DO-178C标准中针对软件测试过程目标的特征描述,提出了三种面向DO-178C软件测试过程的目标符合性论证模式,分别是：代码-需求符合性论证模式,需求测试覆盖率论证模式,结构测试覆盖率论证模式。并从这些模式解决的问题,解决方案,应用方法,产生效果,四个方面描述每一个目标符合性论证模式。同时提出实例化模式为特定项目目标符合性论证结构的方法。实现了目标符合性论证模型的可重用性,同时为建立面向DO-178C软件测试过程的目标符合性论证结构提供了有效指导。并通过一个嵌入式操作系统的案例说明了本文提出的目标符合性论证模式的可用性和有效性。
其他文献
随着互联网的发展以及edx、Coursea和Udacity等开放式网络教学平台的推广,互联网教学逐渐兴起并广泛普及.互联网教学中学生获取知识的一个主要媒介是互联网课程中的教学
在国防军工领域，军用以太网交换机作为网络系统的核心设备，主要负责系统内的数据信息传输，决定着网络的性能、效率以及可靠性。因此，以太网交换机的测评工作作为保障软件质量
监控服务是分布式计算平台的一个重要部分，它能提供一些关于计算平台的重要信息，帮助用户或者开发者查看计算平台的资源使用状况同时基于大量的监控信息，用户可以对正在运行
近年来，移动服务进行了爆炸式发展，特别是智能手机的应用。针对有限的容量和移动计算能力，有研究表明所实现的大部分云服务实例都是计算密集型任务，本文中，我们重点研究服务实
面向方面的规范描述在软件体系结构建模和分析中起着重要的作用，但目前已有的方法不能对体系结构方面及其编织逻辑的详细描述提供足够的支持，也缺乏行之有效的方法对方面的
复杂事件处理是支持大数据处理的流式计算平台的核心技术之一.CEStream语言作为一种新型的事件流处理语言，支持分布式环境下的复杂事件处理.该语言以XML等层次化数据作为
大数据时代要求软件代码设计走向自动化，关于新一代软件复用技术的研究值得关注。本文提出从上而下设计系统级可复用程序模块的课题，希望能促使软件设计更加快捷高效、质量
目的:了解兰州地区成年女性感染人乳头瘤病毒(humanpapillomavirus,HPV)及其基因类型分布状况,为本地区HPV分子流行病学研究提供理论依据。方法:利用PCR技术分别对100例妇科