【摘 要】
：
总结了相关标准对软件可信属性的定义,在现有软件可信性定义的基础上给出了军用关键软件的可信性定义。对现有的软件可信性及其可靠性、数据安全性、防危性等可信性子属性相
【机 构】
：
解放军理工大学指挥自动化学院军用软件测评中心,江苏 南京 210007
【出 处】
：
2008年中国计算机学会体系结构专委会学术年会(ACA'08)
论文部分内容阅读
总结了相关标准对软件可信属性的定义,在现有软件可信性定义的基础上给出了军用关键软件的可信性定义。对现有的软件可信性及其可靠性、数据安全性、防危性等可信性子属性相关的测评技术进行了总结,综述了软件可信性评估技术发展的国内外现状。分别从软件可靠性理论及评估技术、软件可靠性模型综合选择算法、关键软件防危性测试、软件可信性测试与评估技术、影响软件可信性的随机因素的分析几个方面进行综述,指出了实施军用软件可信性研究的重要性,最后对软件可信性测评技术研究和实践进行了展望.
其他文献
采用原子吸收石墨炉法测定小麦粉中铅的含量,建立不确定度的数学模型,系统分析并计算小麦粉中铅测量全过程的不确定度各分量,合成标准不确定度及扩展不确定度.结果表明,小麦
从9岁被立为王储,等待55年之久的王子,不希望有任何的人生转折。他仍然是那么健康,像以前一样繁忙,让人觉得即使是到了70岁,他也还会保持着这样的尖峰状态。查尔斯曾对一个朋
1000系列收割机行走中间传动机构中的锥轴承在用户使用和更换过程中经常出现调整不当、润滑不当等现象,导致轴承使用寿命大幅度降低,给用户造成巨大的经济损失.为最大程度的
她是央视著名记者、主持人,善于现场视频报道,说话层次鲜明,逻辑清晰,既有外景记者的勇敢干练,又不乏新闻主持的睿智和大气。2012年9月,她荣获第二十六届中国电视金鹰奖优秀
推开清华大学紫荆学生区C楼410的房门,便看见铁架子上摆着形态各异的飞行器、飞机模型,桌上是各种零件,几个男生专注地对着电脑或者图纸忙碌。这里是清华大学科技兴趣团队—
通常评估系统难以重用的主要原因是评估方法与评估指标体系的强依赖关系。提出一种基于MVC模式的评估系统设计方法。将评估方法、指标评定界面与对两者的后台控制行为依次设
在企业的信息化发展过程中.形成的"信息孤岛"已成为现代企业信息共享的一个制约因素.论文对当前企业应用集成的需求、方法及存在的问题进行了分析和讨论,通过结合中间件技术
在目前网络技术尤其是Internet技术迅速发展的同时,GIS技术得到了快速发展和广泛应用。如何有效地组织空『开J地理信息进行网上发布,是一个很有实际意义且具有挑战性的问题,
由于众多粉丝的狂热追捧,李云迪正在展现出全新量级的票房魅力。而在大众偶像的身份之外,李云迪也在遭受着古典音乐圈的质疑,其中最主要的是练习时间减少导致技艺不精。
Yun
近些年来,计算机存储器与处理器之间的速度差异越来越大.Cache技术的研究越来越重要.面向Cache的编译优化技术是提高Cache性能的一项关键技术.本文介绍了一些当前国内外研究