高安全性编译开发工发工具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的软件转换能力和运用新的微处理器能力(以增加窗口的响应和负载能力)在这个项目中的重要作用得到了证实。