Headquarter:



Room F04-F, Majestic Garden, No.6 Beisihuanzhonglu, Chaoyang District, Beijing China

zip:100029

Tel:86-10-82846661/62/63/64

Fax:86-10-82846667









 

 

 
CRESTS/TESS

(CRESTS TSP-ES-DSE, The Testing Support Platform for Embedded Software in Digital Simulation Environment)



Embedded applications play an important roll in our national defense industry. However embedded software has not got the good methods of testing which can meet the domestic needs of various testings, this is because traditional coverage testings generally fulfilled by the method of inserting stub. Inserting stub always makes the code expansion up to 30%. The greatest characteristic of embedded applications is its restriction of resources, compaction of code, close relationship of hardware and software, ect. If embedded software proceeds coverage testing by inserting stubs, that will cause a wide range of issues. Therefore, this method is unsuitable and infeasible in many cases. There is another method which adopts the bus monitor or reading and marking to the code unit for the embedded software testing both in domestic and abroad. The method fits for the coverage testing to the CPU that used 8 bits or 16 bits in early times and without prefetching function, but in the coverage testing for CPU with powerful over 32 bits, there are also various problems cannot be solved. In addition, in case the hardware does not appear or is not available in early design, embedded software also cannot test.

Beijing Autosoft Jitong Technologies Ltd takes active part in cooperation with companies abroad and domestic colleges to learn their advanced software testing products and technologies as well as a high level of R & D capabilities according to the urgent needs of embedded software testing for domestic users. On the basis of software developed in the early time --- CRESTS/ATAT, a software analysis and testing system that can proceed unit testing, integration testing, system testing, coverage testing and function testing for Intel 8031/8051,8096/8098,80x86,DSP TMS320 C3X/C4X and Mil-1750, Beijing Autosoft Jitong Technologies Ltd has successfully developed the Testing Support Platform for Embedded Software in Digital Simulation Environment simplified as CRESTS/TESS.

Since CRESTS/ATAT and CRESTS/TESS are launched, they have been found good applications in military industry, defense (such as aviation and aerospace, ect.) and also effectively guaranteed the qualities of embedded software.

At present, CRESRS/TESS builds embedded software operating environment by the explanation of CPU instructions, CPU environmental simulation and simulation of external events. Aiming at DSP TMS320 C3X/C4X and Mil-1750 in such environment, CPU realizes the language level running of C and Ada program, the debugger of source routine, static analysis and quality analysis, dynamic testing and performance statistics, unit testing and integration testing of software, the white box testing and black box testing, the simulated stimulation of external events and the introduction and programming of testing cases, as well as the generation of quality, performance and testing reports.



As CRESTS/ATAT and CRESTS/TESS are developed by ourselves, so we are glad and easily to customize, modify and add their software functions and offer after-sale services to satisfy our clientsĄŻ requirements in a timely and reliable manner. In a word, we will further perfect the functions of existing software, enrich the typies of CPU, study the co-verification of software and hardware.

COPYRIGHT (C) 1999, AUTOSOFT JITONG. ALL RIGHT RESERVED