论文部分内容阅读
安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害.因此,对安全苛求软件的测试、安全性评价非常重要.多元、多模型、多阶段的3M评价法能够利用后续测试得到的信息不断对评价因子进行修正,提高了评价的准确性.该文对软件致险缺陷估计模型作了某些改进,然后着重对复杂度因子作了一些研究.
软件安全性3M评价模型复杂度因子的研究
【摘 要】
：
安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害.因此,对安全苛求软件的测试、安全性评价非常重要.多元、多模型、多阶段的3M评价法能够利用后续测试得
【机 构】
：
同济大学计算机科学与工程系
【出 处】
：
计算机工程
【发表日期】
：
2005年2期
【基金项目】
：
铁道部科技研究项目
其他文献
对Ｏｒｌｉｃｚ空间上的一类奇异积分算子，建立了加权弱型有界性，推广了前人的工作。
采用涂覆和焙烧的简便方法,将载银二氧化钛(TiO2/Ag)均匀地沉积在活性碳纤维表面.利用扫描电镜、氮气吸脱附等对活性碳纤维结构进行表征,研究发现活性碳纤维的微孔结构、活性
利用凝胶-燃烧法制备出单相的（Y1-xEux）3Al5O12（x=0.0～0.1）粉体。X射线衍射试验表明所有样品均呈单相立方晶系结构（Ia3d）,通过对其晶体结构解析发现随着Eu^3＋掺杂浓度的增加YAG∶Eu晶
提出的踪迹预构机制根据程序的执行流,动态标志出经常发生失效的踪迹,并提前从指令缓存中取指对其进行构造.基于路径预测的踪迹预构机制跟踪踪迹的提交历史,并在每次预测下一
论语文学习习惯的培养沈阳市第二十三中学王毓捷多年来，在语文教学中，“少、慢、差、费”现象十分严重。学生语文知识的掌握和语文技能的提高很不理想，听、说、读、写的能力很成
对距离保护中交叉极化阻抗继电器的工作特性进行了详细分析，说明了交叉极化阻抗继电器在消除过渡电阻影响方面的特殊性能，并提出了一种交叉极化电压的具体构成方法。
【正】 德国的职业技术教育闻名于世,它所培养的大批素质精良、技术熟练的工人对德国经济的高速发展起到了巨大的推动作用。分析德国的职业技术教育的特点及发展趋势,对于我
提出了一种分布式环境下事件的自动处理机制.该机制基于符合JMS规范的消息中间件完成事件的发布和订阅,采用XML和动态连接库技术实现了一个即插即用的、支持事件定制和事件处
引入纯非交换群的概念，利用自同构群与完全群的密切关系，得到了纯非交换群与半完全群两者之间的关系。
拒绝服务(DoS)攻击对分布式应用系统的安全威胁日益严重.文章提出了一种基于移动Agent的分布式应用系统架构,用以保护系统中的应用服务器,提高其抗DoS攻击的能力.为进一步改