基于SystemC描述的嵌入式系统的自动化验证
加入技术交流群
ATF 就是可以自动对代码进行单元测试的框架,它的基本结构如图2 所示。 由多个测试用例(testcase) 组织成一个测试套件( suite) ,套件内还可以包含其他的套件,并能方便地向套件增加新的测试用例。ATF 运行时,由测试套件遍历自己容纳的对象,逐一调用它们的run ( ) 方法,使得多个测试用例可以一次全部运行。 测试输出可以是XML (extensiblemarkup language) 或文本。本文后面提到的自动化验证方法,就采用了C ++ 的ATF ,CppUnit 。
应用AOP 的自动化验证方法
测试驱动的开发方法以及ATF 的采用,可以保证每次得到的设计都是可测试的。具有可测试性对于需要迭代的开发过程是十分必要的。然而要做到可测试性,就要求设计人员在考虑设计本身逻辑的同时,必须考虑测试问题。设计代码和测试代码的交织,正是目前软件领域关注的所谓“横切关注点”(crosscutting concern) 的问题。它既干扰了设计人员对设计本身的思考,也造成代码混乱、难以复用和更改。面向方面编程技术(AOP) 正是目前为解决这一问题而提出来的一种较好的编程模式。
评论