简介:在研究静态随机存储器故障模型以及常用功能验证方法的基础上,提出采用MarchSOF算法结合故障注入的EDAC测试程序作为宇航用带EDAC功能SRAM存储器的验证方法。该方法将MarchSOF算法扩展为32位字定向算法,同时增加数据保持故障以及EDAC功能的测试,可以对宇航用SRAM进行全方位功能验证。采用实际电路,对该方法进行实现和验证,验证结果表明了方法的可行性和有效性。
简介:针对传统瀑布式测试不再适用于迭代式软件开发,探索式测试有效却复用性差的问题,提出了在测试设计阶段采用质量属性、用户场景和业务逻辑(QUB)设计方法框架进行探索式测试,并结合思维导图进行测试设计.应用实例表明,该测试方法为快速迭代开发模式下的系统测试提供了-种新思路,有利于提高迭代开发测试的效率与质量.