Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Using ASM Specifications for Compiler Testing

Using ASM Specifications for Compiler Testing

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2589/2003
BookAbstract State Machines 2003
DOI10.1007/3-540-36498-6
Copyright2003
ISBN978-3-540-00624-4
DOI10.1007/3-540-36498-6_29
Page415
Subject CollectionComputer Science
SpringerLink DateWednesday, January 01, 2003
Add to marked items

Using ASM Specifications for Compiler Testing

Alexey Kalinov7 Contact Information, Alexandre Kossatchev7 Contact Information, Alexander Petrenko7 Contact Information, Mikhail Posypkin7 Contact Information and Vladimir Shishko7 Contact Information

(7)  Institute for System Programming of Russian Academy of Sciencies, Russia
Abstract
Developing an adequate set of tests also called a test suite is an important part of software development process. We faced this problem while working on mpC parallel programming language compiler. The general task was to develop a test suite for checking whether the particular compiler implementation correctly processes the programming language.

Contact Information Alexey Kalinov
Email: ka@ispras.ru

Contact Information Alexandre Kossatchev
Email: kos@ispras.ru

Contact Information Alexander Petrenko
Email: petrenko@ispras.ru

Contact Information Mikhail Posypkin
Email: posypkin@ispras.ru

Contact Information Vladimir Shishko
Email: vova@ispras.ru
Fulltext Preview (Small, Large)
Image of the first page of the fulltext
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Referenced by
2 newer articles

  1. Woo, Gyun (2009) Test Suit Generation System for Retargetable C Compilers. The KIPS Transactions PartA 16a(4)
    [CrossRef]
  2. Demakov, A. V. (2008) Using abstract models for the generation of test data with a complex structure. Programming and Computer Software 34(6)
    [CrossRef]
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.108 • Server: mpweb21
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)