Result Details

Testing of an automatically generated compiler, Review of retargetable testing system

DOLÍHAL, L.; HRUŠKA, T.; MASAŘÍK, K. Testing of an automatically generated compiler, Review of retargetable testing system. International Journal on Advances in Software, 2012, vol. 2012, no. 1, p. 15-26. ISSN: 1942-2628.
Type
journal article
Language
English
Authors
Dolíhal Luděk, Ing., Ph.D., DIFS (FIT)
Hruška Tomáš, prof. Ing., CSc., CIS - Director (CIS), DIFS (FIT)
Masařík Karel, Ing., Ph.D., DIFS (FIT)
Abstract

This article discuss the development of the testing system in the Lissom project and suggests the future directions of this system.

Keywords

Porting of C library, C library, compiler testing, simulation, hardware/software codesign, Codasip

Annotation

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.

Published
2012
Pages
15–26
Journal
International Journal on Advances in Software, vol. 2012, no. 1, ISSN 1942-2628
Book
Internation journal on Advances in Software
BibTeX 
@article{BUT97018,
  author="Luděk {Dolíhal} and Tomáš {Hruška} and Karel {Masařík}",
  title="Testing of an automatically generated compiler, Review of retargetable testing system",
  journal="International Journal on Advances in Software",
  year="2012",
  volume="2012",
  number="1",
  pages="15--26",
  issn="1942-2628"
}
Projects
Advanced recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-11-2, start: 2011-01-01, end: 2013-12-31, completed
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, start: 2009-01-30, end: 2012-12-31, completed
National Support for Project Smart Multicore Embedded SYstems, MŠMT, Společné technologické iniciativy, 7H10014, start: 2010-02-01, end: 2013-01-31, running
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
System for Programming and Realization of Embedded Systems, MPO, TIP, FR-TI1/038, start: 2009-07-01, end: 2013-06-30, completed
Research groups
Hardware-Software Codesign research group (RG LISSOM)
Departments
Faculty of Information Technology (FIT)
Back to top