程序规范是软件工程的重要组成部分,缺乏程序规范的软件其质量和可靠性均难以得到保证。现实中的程序规范大多数使用自然语言撰写,......

随着现代科技的快速发展,计算机软件已经广泛应用于人们生活的各个领域,其质量也备受关注。因此软件测试在软件发展过程中占据着重......

随着软件产业的迅速发展，软件系统的功能和结构日益复杂，人们对于软件产品的质量要求也越来越高。最常用的程序质量问题检测的技术包......

SoC(System on Chip)的系统功能由处理器上执行的软件和专用硬件模块实现。在SoC系统设计时，要求从全局统筹软件与硬件的功能分配以......

提出了基于程序执行轨迹提取加速模块的软硬件划分方法．利用热trace提取算法划分系统中关键的trace到硬件，使用分支断言构造原子执行......

SoC9(System onchip)的系统功能由处理器上执行的软件和专用硬件模块实现。在SoC系统设计时，要求从全局统筹软件与硬件的功能分配以......

程序执行轨迹（Program executions trace，以下简称trace）是程序执行过程的指令流信息的记录，trace完整地记录了程序执行过程中所执行指......