【摘 要】
：
针对软件安全性测试的本质特征在于快速降低由于软件失效而导致系统事故的风险,结合基于Baye-sian统计理论的测试方法,建立一套构建安全性测试剖面,并由此产生测试用例的测试
论文部分内容阅读
针对软件安全性测试的本质特征在于快速降低由于软件失效而导致系统事故的风险,结合基于Baye-sian统计理论的测试方法,建立一套构建安全性测试剖面,并由此产生测试用例的测试方法。该方法运用故障树分析技术,对各模块发生故障对系统安全性的影响进行分析,找出影响较大的关键性模块,然后利用分析结果构建安全性测试剖面。最后给出了测试停止的标准。通过对例子的分析可知,本方法在快速降低软件事故风险方面比现有软件测试方法更有效。
其他文献
论文在对纤维混凝土力学性质大量试验的基础上，通过理论分析、模型试验、数值模拟和现场试验等方法，对纤维混凝土单层衬砌隧道稳定性等进行了较为系统深入的研究，主要工作和研究
MEMS加速度传感器是一种典型的力学量传感器，具有体积小、成本低、精度高、集成化等特点，是惯性导航、惯性制导，智能引信等系统中的关键基础元器件，同时被广泛应用于汽车安全、医
车联网是物联网技术在智能交通领域的一个重要分支车联网系统是在车辆上装载电子标签，然后通过无线射频等识别技术，实现在信息网络平台上对所有车辆的属性信息和静动态信息进行
针对大规模定制条件下传统生产计划在主生产计划、产品结构管理和生产计划过程三个方面柔性不足的问题,应用模块化方法构建了双层柔性主生产计划、产品族结构模型和"PUSH/PUL
环氧树脂基复合材料在航空和航天等领域中有着广泛的应用，但材料在使用过程中不论是宏观还是微观上都是容易破坏的，特别是微观出现微裂纹，将影响材料的各种力学性能。自修复复合
目的:研究肺癌中不同形式的纵隔淋巴结转移与预后之间的关系。方法:收集术后病检证实伴有纵隔淋巴结转移的肺癌病例56例,统计纵隔淋巴结的具体转移情况并分为:(1)隆突下淋巴
<正> 我们于1984年10月对539名不同年龄的健康人群进行了风疹抗体水平的检测,以期预测风疹流行,决定风疹疫苗预防接种的范围。 对象和方法 在城镇和农村抽样调查了5所幼儿园,
纳米晶体技术能够有效提高难溶性药物的溶解度和溶出速度,从而提高其口服生物利用度,降低食物效应,是难溶性药物递送系统最具潜力的研究方向。在调研国内外文献的基础上,本文
<正> 肱骨内上髁骨骺分离(以下简称分离)是青少年较常见的骨伤科疾病。发生率占全身骨骺损伤的9%,居第二位。由于正常内上髁骨骺部分与肱骨内半滑车重叠,轻度分离时关节正侧