黑箱条件下基于测试的安全软件风险度量

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:qiaoqiao06242005
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文章在简述一般风险概念的基础上,提出安全系统软件的风险概念及度量定义,并对安全软件风险的分析计算方法作了讨论.对于黑箱条件下的安全软件,在不改变安全软件风险概念及度量定义实质的基础上,文章定义了基于测试的安全软件风险度量定义,讨论了相应的分析计算方法,并引出了基于测试及风险度量的软件安全性等概念.
其他文献
通过比对医疗仪器实际运行电压、电流、输出功率,对可用计算机电源替换的仪器电源故障进行快速、有效的维修。本方法能快速解决医疗仪器中部分设备的电源故障,节约了大量的维修
随着抗生素的广泛应用,临床上细菌耐药的问题日益严重,新的耐药菌株不断出现,抗生素耐药率逐年增高,常导致临床治疗结果不佳,病情反复,并发症增多,住院时间延长,院感机率增大
针对石桥矿区3401采面煤层松软、片帮冒顶难以维护特点,采用放小炮、超前移架、煤壁加固、直接顶加固等防治技术措施实现了采面安全生产,在华北石炭二叠纪煤田相似矿井有较高
下段食道癌手术方法改进的探讨郑国华(东营市人民医院,257091)关键词食道癌;手术;吻合口瘘食道癌手术后吻合口瘘的发生率,国外文献报道最高者27%;国内为4~20%。一旦发生吻合口瘘,处理不及时或治疗不
文中对如何树立煤矿安全监察的权威,结合实际,作了充分论著;介绍了长治分局在安全监察执法中的成绩。
我国经济即将进入知识经济时代。面对知识经济的挑战,从七个方面,探讨了山西煤炭企业如何提高认识,深化改革,调整战略,抓住机遇,发展自己,在经济全球化中占有一席之地。
怡泼津治疗肾性贫血12例王淑芹,杨景仁(淄博铁路医院内科,淄博市255020滨州地区人民医院)关键词怡泼津;贫血;肾性贫血;肾功衰竭贫血是慢性肾功能衰竭必有的症状,其主要机制是促红细胞生成素缺
目的:将纵隔子宫的三维声像图表现与传统的二维图像比较对照,探讨三维阴道超声探测技术在诊断纵隔子宫中的应用价值.方法:应用MedisonSA8000Live彩色多普勒三维超声仪对20例
骨髓转移瘤的诊断(附11例报告)韩汝贵,尚洪芬(德州地区人民医院,253000)关键词恶性肿瘤;骨髓;诊断;转移瘤恶性肿瘤转移至骨髓并非少见,但临床上往往延误诊断。在我院近10年中,住院病人经骨髓细胞学
胸腰椎骨折是临床常见的脊柱损伤,椎弓根螺钉的使用(Pedicle Screw PS)是脊柱外科发展史上重要里程碑,它是脊柱生物力学研究的产物,已广泛应用于临床脊柱外科中。我院从2001年2月