Journal article

DOLÍHAL Luděk, HRUŠKA Tomáš and MASAŘÍK Karel. Testing of an automatically generated compiler, Review of retargetable testing system. International Journal on Advances in Software. 2012, vol. 2012, no. 1, pp. 15-26. ISSN 1942-2628.
Publication language:english
Original title:Testing of an automatically generated compiler, Review of retargetable testing system
Title (cs):Testování automaticky generovaného překladače, Přehled testovacího systému
Book:Internation journal on Advances in Software
Journal:International Journal on Advances in Software, Vol. 2012, No. 1, US
Porting of C library, C library, compiler testing, simulation, hardware/software codesign, Codasip
This article discuss the development of the testing system in the Lissom project and suggests the future directions of this system.
Abstract- for testing the automatically generated C compiler for embedded systems on simulator, it is necessary to have the corresponding support in the simulator itself. Testing programs written in C very often use I/O operations. This functionality can not be achieved without support of the C library. Hence the simulator must provide the interface for calling the functions of the operation system it runs on. In this paper we provide a method that enables running programs, which use functions from the standard C library. After the implementation of this approach we are able to use the function provided by C library with limitations given by the hardware. Moreover we add the overview of the testing system which is used in our project. The system allows testing hardware and also software part of the project.
   author = {Lud{\v{e}}k Dol{\'{i}}hal and Tom{\'{a}}{\v{s}} Hru{\v{s}}ka
	and Karel Masa{\v{r}}{\'{i}}k},
   title = {Testing of an automatically generated compiler, Review of
	retargetable testing system},
   pages = {15--26},
   booktitle = {Internation journal on Advances in Software},
   journal = {International Journal on Advances in Software},
   volume = {2012},
   number = {1},
   year = {2012},
   ISSN = {1942-2628},
   language = {english},
   url = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]