软件可靠性分析、测试与评估工具——SRATE介绍

软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自适应测试策略等。该工具还集成了包括欧洲航天局的space软件、浙大CAD&CG国家重点实验室的Intra3D构件库在内的多个典型被测对象。根据工具接口要求可以方便的添加新的测试策略和测试对象。具有自动化程度高、通用性强、配置灵活、易于扩展的特点,是进行软件可靠性分析研究工作的有力工具。     

软件关联缺陷的一种检测方法

软件中的关联缺陷是一种比较普遍的现象,某些缺陷的存在与否可能导致其他缺陷检测率的变化.软件关联缺陷是造成软件失效关联的根源.给出了关联缺陷的定义,通过一个软件实例验证了缺陷的关联关系,提出了一种缺陷放回的测试方法用来剔除关联缺陷,并通过实验数据分析了缺陷放回方法的能力和效率.实验数据表明,该方法能有效检测软件关联缺陷.