简介:针对传统瀑布式测试不再适用于迭代式软件开发,探索式测试有效却复用性差的问题,提出了在测试设计阶段采用质量属性、用户场景和业务逻辑(QUB)设计方法框架进行探索式测试,并结合思维导图进行测试设计.应用实例表明,该测试方法为快速迭代开发模式下的系统测试提供了-种新思路,有利于提高迭代开发测试的效率与质量.
简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。