Используемые Инструментальные Средства для Верификации и Тестирования
Язык программирования СИ |
Язык программирования АДА |
||
|
Средства автоматизации тестирования: Cantata (IPL) Unit test and Coverage IBM Rational Test RealTime |
Средства автоматизации тестирования: ADA TEST (INTERTECHNIQUE) Unit Test and Coverage |
||
Тип Процессора |
Компилятор, Симулятор |
Тип Процессора |
Компилятор, Симулятор |
| Motorola 68000 | Microtec | Motorola 68332 | GNAT V.3.10 |
| Motorola 68332 | Cosmic Green Hills Microtec |
||
| Motorola 68HC11 | Cosmic | ||
| Motorola (Freescale) 68HCS12 | Cosmic | ||
| Freescale PPC555 Freescale MPC5566 Freescale MPC8349 Freescale MPC8610 |
WINDRIVER, TRACE32 |
||
| TMSC3X/4X | Code Composer Texas Instruments |
||
| Freescale MPC5777 | PowerPC GCC TRACE32 |
||
| Миландр 1986ВЕ1Т Миландр 1986ВЕ9х |
Keil MDK-ARM v.5 | ||