Using tools for software verification and testing activities
C (programming language) |
ADA (programming language) |
||
|
Automatic Test tools: Cantata (IPL) Unit test and Coverage IBM Rational Test RealTime |
Automatic Test tools: ADA TEST (INTERTECHNIQUE) Unit Test and Coverage |
||
Processor |
Compiler, Simulator |
Processor |
Compiler, Simulator |
| 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 |
||
| Milandr 1986VE1T Milandr 1986VE9x |
Keil MDK-ARM v.5 | ||