汇编语言全数字仿真(虚拟样机)平台工具CRESTSATAT

1、    汇编语言全数字仿真(虚拟样机)平台工具CRESTS/ATAT         奥吉通 时间:2009年11月27日     字 体: 大 中 小        关键词:                &

2、#160;  CRESTS/ATAT的端口I/O与中断事件产生的自编程模拟功能，从而使得被测汇编程序在CRESTS/ATAT模拟运行环境下，尽管存在大量的端口数据I/O与中断事件产生的要求，也能够与真实硬件环境一样连续不中断地运行。在设计初期,在真正的硬件制造出来之前,或设计要进行变化,以及进行维护等,这一点非常重要。最重要的是，CRESTS/ATAT的端口I/O与中断事件产生的自编程模拟功能很好地解决了汇编程序在模拟运行环境下的闭环测试问题。CRESTS/ATAT的CPU上下文场景的自编程配置能力解决了对汇编程序进行单元测试的需求，用户可工具单元测试的要求，灵活方便地对CPU上下文

3、场景进行配置，形成汇编程序单元执行的驱动。           被测汇编程序的测试用例完全可以用TCL脚本语言编写和管理，CRESTS/ATAT端口I/O与中断事件产生的自编程模拟功能以及CRESTS/ATAT的CPU上下文场景的自编程配置能力为用户提供了“黑盒”测试及单元测试的手段。因此，CRESTS/ATAT是一个功能强大、覆盖范围广的汇编测试分析软件，它包括运行调试、静态分析、“白盒”测试、“黑盒”测试以及单元测试等功能，完全满足开发阶段的内部测试和验收阶段的先期测试（或非现场测试）的要求，并能够为测试方、被

4、测方及上级主管单位提供可以信赖和再现测试过程与测试问题的测试报告。目前，CRESTS/ATAT的运行环境为MS Windows。           科锐时软件CRESTS/ATAT提供了如下功能：           汇编程序模拟运行           能够模拟所有指令的时序，并根据CPU主频调整指令周期时间，以达到实际目标机运行的实际时间效果。

5、60;         能够自动模拟定时中断（激发、响应、处理与返回），对于其它中断可通过以下 两种方法实现其模拟           修改有关CPU专用寄存器的值来模拟中断激发事件达到中断处理的模拟           运用TCL脚本语言编程来实现外部中断事件的模拟          

6、能够模拟端口的I/O，即：           修改端口或端口寄存器的值来模拟端口的输入           运用TCL脚本语言编程来实现端口输入的模拟           代码调试           符号调试       &#

7、160;   在631所汇编器确定的汇编格式的基础上，支持汇编程序的符号调试。           对于Intel 8031/8051、8096/8098汇编程序以及DSP TMS320 C3X/C4X汇编程序要求在CRESTS/ATAT产品提供的汇编器下汇编，从而支持其汇编程序的符号调试。           对其它汇编格式我们能够进行适配和定制。       &#

8、160;   CPU上下文场景修改           在调试界面上交互地修改CPU有关寄存器           运用TCL脚本语言编程来批处理修改CPU有关寄存器           存储管理           代码、数据、寄存器内容观察与修改 

9、0;         支持机器指令的反汇编           支持Intel 8031/8051、8096/8098模拟运行中的小汇编           支持代码区机器码的修改           支持专用与通用寄存器内容的观察、修改与操作    

10、0;      支持数据区内容的观察与修改（支持基本数据类型）           支持指令执行的跟踪（保留执行的历史记录）           运用TCL脚本语言编程来批处理监视和修改CPU有关存储           断点管理         &

11、#160; 支持断点设置、清除、列表等功能，整个操作采用菜单、对话框、鼠标点击等方式           运行功能           支持step in、step over与step out等单步           支持代码连续运行           支持程序运行的强行中断

12、           代码分析           支持汇编各子程序控制流图的生成与显示           支持汇编各子程序控制流轮廓图的生成与显示           支持汇编各子程序调用树的生成与图形显示       

13、60;   支持汇编各子程序被调用树的生成与图形显示           支持危害性递归的图形警告           提供McCabe的圈复杂度，程序跳转数，程序扇入/扇出数、程序注释率、程序调用深度，程序长度，程序体积，程序调用及被调用描述等度量元           给出影响汇编程序结构化的警告信息           给出程序调用与被调用信息           代码测试           支持语句、分支和调用的覆盖测试           支持覆盖率的统计并生成具有对比特性的图形化文件及图形化显示。