【摘 要】
：
适航认证对机载软件来说至关重要,DO-178C是重要的机载软件安全标准,但是目前还未建立成熟的面向DO-178C标准的目标符合性论证模型.本文基于DO-178C标准中针对软件测试过程目标的特征描述,提出了三种面向DO-178C软件测试过程的目标符合性论证模式,分别是:代码-需求符合性论证模式,需求测试覆盖率论证模式,结构测试覆盖率论证模式.并从这些模式解决的问题,解决方案,应用方法,产生效果,四个
【机 构】
：
北京航空航天大学计算机学院,北京100191 中国航空工业集团公司西安航空计算研究所,陕西西安71
论文部分内容阅读
适航认证对机载软件来说至关重要,DO-178C是重要的机载软件安全标准,但是目前还未建立成熟的面向DO-178C标准的目标符合性论证模型.本文基于DO-178C标准中针对软件测试过程目标的特征描述,提出了三种面向DO-178C软件测试过程的目标符合性论证模式,分别是:代码-需求符合性论证模式,需求测试覆盖率论证模式,结构测试覆盖率论证模式.并从这些模式解决的问题,解决方案,应用方法,产生效果,四个方面描述每一个目标符合性论证模式.同时提出实例化模式为特定项目目标符合性论证结构的方法.实现了目标符合性论证模型的可重用性,同时为建立面向DO-178C软件测试过程的目标符合性论证结构提供了有效指导.并通过一个嵌入式操作系统的案例说明了本文提出的目标符合性论证模式的可用性和有效性.
其他文献
本文提出了基于人类视觉感知的视频表示及深度学习的视频异常事件检测模型.人眼对视频中异常事件的反应是相当敏感的,并且能够快速定位异常事件区域,所以基于人类视觉感知的异常事件检测在理论上是可行的.一般而言,视觉神经冲动主要有两条传输路径,本文在对这两条传输路径进行研究的基础上,提出容易被两条路径所传递的视频特征表示,然后通过仿真人脑学习过程的深度学习方法对视频的特征表示进行深度挖掘,获得特征进一步的抽
在视频编码中,对每个编码块会在参考帧中寻找一个相似块作为预测来提升编码性能,并用运动矢量来标识两者间的相对位置.主流的视频编码标准中,运动矢量都被限定为固定的精度,一般是1/4像素精度.但事实上最佳的运动矢量精度是不确定的,而是与视频内容息息相关.本文提出了一个根据视频内容来对每帧的运动矢量精度进行自适应调整的算法.本文通过预测残差的能量与运动矢量精度之间的函数关系,并结合率失真优化函数分析了影响
手机是日常生活中不可缺少的移动设备之一.然而手机屏幕尺寸的不断变大给用户带来了许多操作上的困难.针对大尺寸屏幕带来的不便,研究首先针对手机用户群体进行主观性调查和数据采集,发现用户多数情况下单手操作手机而且遇到了由于手机屏幕尺寸过大而导致的无法快速准确进行目标选择的问题.随后实验设计了4种目标选择方法辅助用户进行单手情况下的目标选择.对4种目标选择方法的目标选择时间、目标选择出错率、学习效果和用户
本文提出了一种廉价相机应用场景下基于人体基本信息的实时人体模型重建方法.目前经典的三维人体扫描技术不能达到实时性能,而实时的人体重建方法一般是基于模板的方法,对模板和输入数据的精确度要求高,无法在廉价设备上实现.本文使用单台Kinect,利用特征圈带有的人体信息,通过在特征圈之间生成网格来重建人体模型.特征圈是指过骨骼上某一节点与该骨骼垂直的平面与人体模型相交所形成的圈,其大小反应身体该处的胖瘦,
本文介绍了一种可以改变形状的实物用户界面PolyHinge.通过改变其实体形状,可以使得该用户界面的示能性发生改变,从而达到对用户产生显著提示的效果.本文基于一种多铰链结构的设计,实现了多种不同的变形结构.此外,还发展了基于可变形用户界面的"示能性辅助"的概念.这一可变形实体用户界面可以同时实现物理空间内的输入和输出,通过对这一用户界面的交互方式研究,初步探索了这种新型用户界面的潜在应用领域.本研
言语康复训练对于人工耳蜗植入(Cochlear Implant,CI)儿童患者的后期言语生活非常重要.言语康复训练系统中实物交互可以利用儿童对实物的感知、抓握及移动的操作方式来实现人机交互,采用实物交互这种基于虚拟化身(Avatar)交互隐喻的交互方式,可以让CI儿童更自然地理解和学习相关知识,符合儿童的认知规律.本文通过Kineet跟踪儿童患者易于操作的玩偶,构建了一个基于实物交互的多通道言语康
手写是作曲者谱曲的最传统自然的方式,受限于对书写过程的控制以及音符识别算法的影响,现有软件对音符的录入绝大多数仍使用的是鼠标点选模式.为解决这一问题,本文提出面向"自然"和"满足感"的交互设计思路,引入纸带放大镜和自由书写两套交互模型,以期最大限度还原纸笔创作的自然度与流畅度;同时本文提出基于轮廓扫描与分类的手绘音符识别方法概念,能够实现对音符的自动识别.测试结果表明,本文方法具有较高的创作效率和
旅行是人们生活中的重要部分,而旅行路线规划是一项重要却繁杂的准备工作.Web2.0、全球定位系统、移动互联网等技术的快速发展使得大量记录人类与物理世界、数字世界交互的众包数据容易获得.这些数据包含了兴趣点的基本属性、受欢迎程度等重要信息.针对目前旅行路线推荐系统对于两点间转换路线研究较少、目标单一等不足,本文提出基于多源异构众包数据的风景路线规划系统,为用户推荐给定两点间的景色最优旅行路线,且满足
近年来,计算机软件的发展和智能设备的普及使得用户对软件用户体验的要求越来越高.为了更充分地利用底层硬件资源,软件开发者在开发过程中采用了诸如多线程编程技术的软件手段,以提高应用软件的用户体验.然而在很多应用软件的使用过程中,依然存在着达不到预期性能的现象,极大影响了用户正常使用软件.而且由于软件开发过程中使用了复杂的开发技术,这些能够感知的交互性能异常现象显得更难分析.为了顺应基于Linux的桌面
由于浏览器实现技术的差异以及对标准支持程度的不同,Web应用的跨浏览器不兼容性(cross-browser incompatibilities,XBIs)已成为Web应用开发者面临的严重问题.现有的兼容性检测工具仅考虑用户交互事件而忽略了浏览器内部事件,无法保证在不同的浏览器平台上有相同的执行,导致检测结果出现大量误报和漏报.论文提出了一种基于捕获/重放技术的Web应用跨浏览器兼容性检测方法,在事