高安全性编译开发工发工具SCORE
科锐时软件模拟测试工具
CRESTS

科锐时(CRESTS)软件模拟测试工具

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

    

    

         


Copyright 2002 BeiJing Autosoft JiTong Technologies Ltd,All Rights Reserved
E_mail:info@autosoft-jitong.com.cn 电话: 010-82846661/2/3/4
北京奥吉通科技有限公司 版权所有 2002 建议分辨率:1024x768