Furthermore, we design an UML-based software testing and verificationenvironment based on the researches of UML testing and verification, and implement the prototype.
The co verificationenvironment consists of an embedded software debugger and an embedded hardware simulator. It adopts instruction set architecture co simulation model.
该协同验证环境由嵌入式软件调试器和嵌入式硬件模拟器组成,其采用了指令集结构的协同模拟模型。
3
When we build the verification platform, we study the state-of-art commercial verification platform, raise the unified verificationenvironment, and put it into practice.