【摘 要】
：
软件测试是航空装备嵌入式软件生命周期中的重要环节,如何评估软件测试的效果是一个难题.以软件测试为基础,讨论了航空装备嵌入式软件的生命周期过程中安全缺陷出现的规律,认
【机 构】
：
95899部队软件测评中心,93619部队自动化站
论文部分内容阅读
软件测试是航空装备嵌入式软件生命周期中的重要环节,如何评估软件测试的效果是一个难题.以软件测试为基础,讨论了航空装备嵌入式软件的生命周期过程中安全缺陷出现的规律,认为它的安全缺陷同样满足S曲线.引入了AML建模理论,基于软件测试数据,建立了某航空嵌入式软件的S曲线模型,预测了软件的总安全缺陷数.对AML理论进行了拓展,讨论了转折点的选取原则.最后,通过卡方检验和预测检验的方法,验证了预测模型与测试数据的匹配性.检验结果表明,AML模型能够很好地模拟实际测试情况,一定程度上消除了数据随机性的影响,其模型具有
其他文献
本文提出了一种高速低功耗存储读写控制电路。该电路采用锁存器型敏感放大器,并将敏感放大器输入与存储器位线通过隔离电路互联,通过控制隔离电路和敏感放大器开启时机,可以
基于无线传感器网络中事件簇容错和能效的要求,本文给出多事件簇数据容错模式MED-FT。该模式首先利用剩余能量和事件可信度的积值,给出分布式簇头节点的选举方法;然后,提出了
针对无线传感器网络节点能量受限的特点,本文提出了一种能量有效、负载均衡的多路径路由算法（EMR）。该算法在按需路由协议AODV基础上,不单纯以最小跳数或者最小时延作为路由选
《国家中长期教育改革和发展规划纲要（2010—2020年）》明确提出要“办好开放大学”，这给开放大学的发展提供了前所未有的发展机遇。开放大学要实现跨越发展必须妥善解决好功能定
一般的机器学习都假设训练数据与测试数据分布相同,而领域自适应算法则是在不同数据分布条件下进行知识传递和学习,在数据挖掘、数据校正、数据预测等领域有着广泛的应用.支
随着时空数据获取设备的普及应用,产生了大量反映移动对象活动的位置数据,数据的海量性及分析的复杂性决定了该类数据为典型的大数据.位置数据中的到达和离开可以反映移动对
针对Khan M K方案存在的缺陷进行分析,详细阐述可能的攻击方法及步骤,总结提出一种改良的基于生物特征和智能卡的口令身份认证方案.改良方案延用简单高效的杂凑和异或操作,但
食品安全学是食品科学与工程专业的主干课程。在课程教学中，我们以培养食品安全复合型人才为目标，依据食品安全学课程的性质与特点，对教学内容、教学方法和考核方式等方面进行了
摘要：以移动网格为背景，研究关联任务在动态资源环境下的调度问题，既考虑任务之间的依赖关系，还考虑资源动态加入、离开、性能变化等行为。提出子集调度加重调度的动态调度策略。
本文提出了一个新的应力诱导相变条件,并利用夹杂理论和统计方法研究了相变夹杂粒径、剪切变形对陶瓷材料断裂韧性的影响.