实时嵌入式软件分析与测试工具——ATRES
小试 | 整体方案 | 中国
咨询：0 | 浏览：81
技术编号：G19012915155713
合作方式：面议
所属领域：机械电子
应用行业：IT\通信\电子\互联网,其它
实时嵌入式软件分析与测试工具——ATRES 一、项目简介实时嵌入式系统是一个具有实时与并发特性的系统，其系统运行的不确定性给开发人员的调试与测试带来很大的障碍。针对这个问题，本项目旨在开发一套实时嵌入式软件的分析与测试工具(Analysis and Testing of Real-time …
技术详述
实时嵌入式系统是一个具有实时与并发特性的系统，其系统运行的不确定性给开发人员的调试与测试带来很大的障碍。针对这个问题，本项目旨在开发一套实时嵌入式软件的分析与测试工具(Analysis and Testing of Real-time Embedded System: ATRES)，方便用户进行实时嵌入式系统的开发。ATRES主要有以下几个特点：
1. 能够对实时嵌入式系统的运行进行追踪(Traceability)；
2. 能够重现实时嵌入式系统的历史运行记录(Reproducibility)；
3. 能够分析系统中的竞态条件(Race Condition Analysis)；
4. 能够对实时嵌入式软件进行覆盖测试(Software Testing)；
5. 支持VxWorks和uC/OS II等实时操作系统.
技术优势
我们从2005年就开始进行软件测试方面的研究，并公派研究人员赴美国知名大学参与实时嵌入式系统分析与测试的相关项目，取得成功。目前，我们已实现一套针对C/C++程序的软件覆盖测试工具SAT，并已掌握实时嵌入式软件的追踪/重演、竞态条件分析等关键技术。
效果指标
案例描述
适用对象
具体协商。
