论文部分内容阅读
本文阐述了软件可靠性测试的工程实施技术,从定量指标体系的定义、指标分配的方法、任务剖面的分析、测试用例的构造、数据的获取与评估等方面进行了介绍.
软件可靠性测试工程实施技术
【摘 要】
：
本文阐述了软件可靠性测试的工程实施技术,从定量指标体系的定义、指标分配的方法、任务剖面的分析、测试用例的构造、数据的获取与评估等方面进行了介绍.
【机 构】
：
航天软件评测中心
【出 处】
：
第九届全国容错计算学术大会
【发表日期】
：
2001年期
其他文献
在建筑行业高速发展的今天，建筑结构设计工作显得越来越重要，为了保证建筑结构设计工作得以顺利进行，结构设计人员要结合建筑工程施工现场情况，进行科学的结构设计，并不断优化建筑
本文致力于研究定义在满足开放世界预设的可能世界集合上的命题和逻辑结构.在文献[7]的基础上,本文发展出一种基于开放世界预设的3-值语句逻辑系统(简称SLO);给出SLO的语义理
本文首先简要介绍了IPSec的两个主要协议:认证头部(AH)和封装安全负载(ESP),然后详细讨论了它们在Linux内核中是如何实现的以及如何提高系统的性能.
实现分布/并行系统容错的基础是单进程检查点设置和卷回恢复技术,而对活动文件信息进行保存和恢复则是这种技术的重要方面.本文提出一种虚拟文件操作策略,实现了对用户文件的
会议
协调式检查点设置及卷回恢复技术作为一种简单有效的容错手段,现已广泛地运用在机群系统中.为进一步减低协调式检查点中的时间和空间开销,本文给出了一种新的基于消息计数的
城镇交通对于促进城镇旅游业繁荣，推动小城镇发展起到至关重要的作用，完善的城镇综合交通体系是支撑和保障城镇职能运转、旅游功能实现的前提。随着经济发展、社会进步，人们的闲