字体大小 [ ]    

  • 科锐时汇编、高级语言软件验证、开发集成系统CRESTS/AIDE

        汇编、高级语言软件开发、验证集成系统C R E S T S / A I D E 由汇编/高级语言软件的静态分析和动态执行两大部分组成。其中,静态分析包含了程序分析、程序理解、程序复杂性计算、程序质量度量与质量评测等功能。动态执行包含了汇编、高级语言可执行程序的全数字仿真目标环境和真实目标机的运行、高级符号调试、汇编、高级语言运行结果分析等功能。
         汇编、高级语言软件开发、验证集成系统C R E S T S / A I D E 采用类M o t i f 的中文界面, 满足不同平台上汇编、高级语言软件辅助开发的不同需求。
         C R E S T S / A I D E 主要由以下几个部分组成: 汇编、高级语言程序分析子系统、汇编、高级语言程序理解子系统、汇编、高级语言程序复杂性计算子系统、内部表示转换子系统、汇编、高级语言程序质量评测子系统、汇编、高级语言程序可视化浏览显示子系统、汇编、高级语言程序运行调试子系统、汇编、高级语言运行结果分析等。下图显示了C R E S T S / A I D E 的总体结构, 描述了各个组成部分之间的相互关系。
        

        C R E S T S / A I D E 的汇编、高级语言程序分析子系统对汇编、高级语言 程序的语法及语义进行了全面分析,为用户提供程序调用关系、程序包w i t h 关系、标识符及变量的使用情况、程序单元的基本路径、应用系统的集成路径、类属设置及程序插入情况、源程序清单等信息。
         汇编、高级语言软件程序理解向用户提供可视化效果很好的程序控制流图、程序调用树图等的浏览功能, 这些对用户在汇编、高级语言软件开发和维护过程中全面理解和掌握汇编、高级语言应用程序有很大的帮助。
         C R E S T S / A I D E 的汇编、高级语言软件的复杂性分析与计算支持国内外常用的M c C a b e 复杂度、H a l s t e a d 复杂度、文本复杂度及面向对象复杂度等的计算。特别是M c C a b e 复杂度计算不仅包含了程序单元的控制流程的复杂性计算, 还包含了汇编、高级语言应用的结构复杂性计算, 这些有助于用户在软件开发汇编、高级语言应用软件的过程中控制软件复杂性, 保证软件质量, 降低软件开发失败的风险。
         C R E S T S / A I D E 的汇编、高级语言软件质量度量与评测子系统所提供度量元种类丰富和全面。其软件质量评测在借鉴国外众多软件质量评价模型的基础上, 应用理解及度量结果, 实现了对汇编、高级语言应用软件进行单元及系统的质量评估。
         C R E S T S / A I D E 在汇编、高级语言程序静态分析的基础上所提供的程序运行、调试等功能。其运行环境是全数字仿真目标环境。汇编、高级语言程序的运行调试或测试可以利用汇编、高级语言程序静态分析的相关信息, 并通过浏览程序调用及被调用图和程序控制流图来进行。C R E S T S / A I D E 针对汇编、高级语言嵌入式软件调试中需要接入外部激励信号的需求, 提供了数字仿真外部激励的手段, 很好地解决了汇编、高级语言应用程序“ 非干预” 的“ 闭环运行” 要求。这些功能能够很好地帮助开发人员进行汇编、高级语言程序的调试和汇编、高级语言程序的内部调试,从而极大地提高了开发人员开发、调试和维护汇编、高级语言程序的效率。
         C R E S T S / A I D E 为汇编、高级语言应用软件的开发和维护提供了较好的工具、环境或平台。它对于保证汇编、高级语言应用软件的质量, 提高汇编、高级语言软件开发效率具有特别重要的意义, 因为它能够为汇编、高级语言应用软件的分析、理解质量度量与评价、软件运行调试提供定量的依据。
         C R E S T S / A I D E 分为A I D E / A( 汇编A s s e m l e r), A I D E / H( 高级语言C 和A d a) , A I D E / R (真实目标板)三种形式; 而每一种形式还要针对各种不同的目标C P U。