home

Using tools for software verification and testing activities

C language

ADA 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
   

ABRIS  JSC
Dudko street 3 liter X, Saint-Petersburg, 192029    Russia
Tel:7(812)242-05-56

About Us news products customers contact us