字体大小 [ ]    
    • 高安全性编译开发工发工具SCORE

               SCORE是基于多语言、多目标机和多主机并且是针对特别安全、关键重要、面向对象及实时嵌入式应用的一个完整的软件开发环境。





              SCORE系统能够为您提供灵活的解决方案,帮助您节省时间和经费,帮助您提高软件开发和应用的质量。

              SCORE遵循一系列的开放标准,而这正是系统灵活、开放的关键。许多应用不需多大修改就能够很容易地移植到新的处理器上,有关工具能够方便地添加到SCORE系统中。

              SCORE能够为您带来的好处有如下:

              调试窗口可以编辑和调整,这能够帮助您节省时间和工作量

              调试多语言的能力大大地减少了您调试程序的时间

              非插桩方式能够使您调试您自己真正的、没有改动的代码程序,这样就大大地保证了程序的实际性能。

              可配置的Ada运行系统保证了您的应用行为确定。

              完整的Ada95库管理功能能够保证开发组织的协调一致。

              如果您配备SCORE系统,您的应用就能够获得实时性能的保证。

          一、 灵活的编译系统
              由DDC-I提供的SCORE编译系统具有如下特点:

              单个语言开发或多语言混合开发

              语言之间具有数据接口和函数接口

              丰富的编译诊断信息

              100%的Plum Hall认证

              另外,Ada编译器:

              成功地通过了ACATS 2.2和ACATS 2.3(即以前的ACVC)确认

              支持13章的所有内容

              表示子句

              机器码插入

              应用受保护程序进行中断处理

              没有内部堆的使用

              支持DDC-I实现定义的编用

              支持:

              附录A-预定义语言环境

              附录B-与其它语言的接口

              附录C-系统编程

              附录D-实时系统

              附录H-附录B-安全和保密

      二、 多语言高级符号调试器
              CrossHareTM多语言调试器提供了一个由SCORE GUI或命令行访问的非插桩的调试环境。该调试器支持Ada、C及Ada与C混合编程的应用调试,即使进行了代码优化也无妨。

              语言之间的平滑过度为程序员提供了调试他所使用语言的相似语法。

              定义启动脚本

              定义符号

              日志和调试回放

              定义调试器的脚本子程序

              支持高级语言的调试

              在任何声明和语句处设置断点和跟踪点

              语句单步执行,可以单步进入子程序、单步执行子程序和单步执行到子程序返回处。

              显示和修改对象值

              显示和修改程序变量

              在语句级上跟踪程序的执行

              显示程序调用链

              支持机器指令级别的调试

              在存储访问处设置断点和跟踪点

              机器指令级上的单步执行

              机器指令级上的程序跟踪执行

              显示和修改存储单元值

              显示和修改I/O端口值

              显示和修改机器码

              显示和修改寄存器

              显示和修改栈

              报告硬件异常

              支持Ada语言的调试

              选择约束检查

              能够对程序中的任务和同步进行调试

              显示任务结构和状态

              在任务的异常处、入口接受语句处、任务体或任务块结束处设断点

              在任务引发处设断点

              Ada/C的风格变化

              支持C语言的调试

              C/Ada的风格变化

      三、 健壮的运行系统
              SCORE系统提供的Ada运行系统(RTS)和C运行库支持:

              优先级逆转调度

              快速调度

              RTS缩放

              可对特定硬件进行配置

              Ada RTS的可验证性:

              任务调度策略

              排队策略

              优先级

      四、 图形用户界面
              SCORE的图形用户界面GUI提供了相当漂亮的面孔:

              针对不同的范围和级别运用设置工具进行相应的设置

              用户可集成他所喜爱的配置管理工具或编辑器

              所有命令时间标记日志

              多用户之间共享其设置

      五、 灵活的项目与库的管理
              SCORE环境包括能够在目标机平台上执行的C库:

              灵活的库结构

              库单元检查工具

              超过程序生命期后的程序单元保存

              废弃程序单元的自动重新编译

              SCORE通过下面的机制支持支持大项目和小项目的开发:

              项目、程序、文件和用户选项

              自动的程序重新编译

      六、 自动化测试工具
              SCORECAST能够减少花费在模块测试上的时间:

              基于DO-178B、C语言、已集成的覆盖测试工具

              使得模块测试趋于一致,过程可以重复

              测试环境(harness)的自动构造

              测试程序集的自动执行

              易于理解的测试文档生成

      七、 其它工具
              SCORE环境包括一组额外的工具以补充特别安全、关键重要、面向对象及实时嵌入式应用的开发的需要:

              汇编程序

              反汇编

              目标工具

              单机以太和串口下载

              用户可控制的连接器

      八、 文档
              提供以下附加的文档:

              所有工具的用户指南

              安装指南

              联机帮助

              起步指南

              编译阶段的附加诊断信息

              发行要点

      九、 成功案例
              欧洲共同体运用SCORE编译系统改进下一代法国巴黎高速列车(TGV)的性能。从C到Ada的软件转换能力和运用新的微处理器能力(以增加窗口的响应和负载能力)在这个项目中的重要作用得到了证实。