formal specification; program verification; computer aided software engineering; object-oriented programming; Unified Modeling Language; C language; automatic test coverage analysis; aspect-oriented programming; functional verification; high level description; system testing; SystemC specification; executable SystemC description simulation; system checking; UML2.0; dynamic behavior modeling; coverage metric model;
机译:测试面向方面程序的覆盖标准
机译:面向方面的程序的基于状态变量的数据流测试覆盖率测量方法和工具
机译:面向方面的程序的基于切入点的覆盖率分析方法
机译:使用方面方面编程的系统描述自动测试覆盖分析
机译:使用面向方面的程序的状态变量数据流标准进行测试。
机译:分析SystemC设计:适用于各种应用的SystemC分析方法
机译:使用面向方面的编程对SystemC描述进行自动测试覆盖率分析