排序方式: 共有19条查询结果,搜索用时 15 毫秒
1.
针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷. 相似文献
2.
3.
4.
5.
6.
7.
俄罗斯“安加拉”系列运载火箭7月9日在普列谢茨克发射场进行了首次亚轨道试射。试射采用了专为这次首飞建造的“安加拉”1.2PP火箭(PP表示“首飞”),全长约43米,携带了并不入轨的一个模拟有效载荷,所配备仪器设备用于记录和传送飞行各阶段的各种技术参数。飞行持续了21分钟,火箭第二级和模拟有效载荷按预定计划落到俄远东地区的堪察加半岛。 相似文献
8.
Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题. 相似文献
9.
10.
九寨黄龙机场(以下简称九黄机场)投入使用已经两年了,作为西部地区典型的高原机场,作为西南地区飞行流量最大的程序管制机场,在气象、地形条件极其复杂和设备简陋的情况下,能够安全运行至今,这与九黄机场塔台管制室(以下简称九寨塔台)精心严密的指挥是密不可分的。九黄机场是西南地区比较繁忙的程序管制机场,虽然总体空中飞行流量不大,但是空中活动时常呈现短时集中的形态,加之管制条件恶劣、气候地形复杂、通讯不畅,都给管制指挥带来了很大难度。相比于西南地区成都、重庆、昆明、贵阳等干线机场的雷达或者雷达监控下的程序管制,九寨塔台的管制工作有着非常突出的特点,现就其程序管制作一些简单阐述。 相似文献