Test suite design for code generation tools

In model-based development, executable specifications (models) are used for the design of the software to be developed. New techniques allow the automatic generation of compact code directly from the model via so-called code generators. However, at present, code generators do not possess the same qu...

Full description

Saved in:
Bibliographic Details
Published in18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings pp. 286 - 290
Main Authors Stürmer, Ingo, Conrad, Mirko
Format Conference Proceeding
LanguageEnglish
Published Piscataway, NJ, USA IEEE Press 06.10.2003
IEEE
SeriesACM Conferences
Subjects
Application software
Automatic programming
Certification
Character generation
Embedded software
Embedded system
Flowcharts
General and reference
General and reference > Cross-computing tools and techniques
General and reference > Cross-computing tools and techniques > Verification
Software and its engineering
Software and its engineering > Software creation and management
Software and its engineering > Software creation and management > Software development process management
Software and its engineering > Software creation and management > Software verification and validation
Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis
Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging
Software design
Software tools
System testing
Theory of computation
Theory of computation > Semantics and reasoning
Theory of computation > Semantics and reasoning > Program reasoning
Theory of computation > Semantics and reasoning > Program reasoning > Program verification
Online AccessGet full text
ISBN0769520359
9780769520353
ISSN1938-4300
DOI10.1109/ASE.2003.1240322

Cover

Abstract In model-based development, executable specifications (models) are used for the design of the software to be developed. New techniques allow the automatic generation of compact code directly from the model via so-called code generators. However, at present, code generators do not possess the same quality characteristics as C or ADA compilers which have been proven in use. The use of test suites, which make it possible to check compilers systematically, is also a promising approach for code generators. This paper describes the design of such a test suite for code generators, and introduces a new testing approach for code generator transformations.
AbstractList In model-based development, executable specifications (models) are used for the design of the software to be developed. New techniques allow the automatic generation of compact code directly from the model via so-called code generators. However, at present, code generators do not possess the same quality characteristics as C or ADA compilers which have been proven in use. The use of test suites, which make it possible to check compilers systematically, is also a promising approach for code generators. This paper describes the design of such a test suite for code generators, and introduces a new testing approach for code generator transformations.
Author Stürmer, Ingo
Conrad, Mirko
Author_xml – sequence: 1
  givenname: Ingo
  surname: Stürmer
  fullname: Stürmer, Ingo
  email: ingo.stuermer@daimlerchrysler.com
  organization: DaimlerChrysler AG, Research and Technology, Berlin, Germany
– sequence: 2
  givenname: Mirko
  surname: Conrad
  fullname: Conrad, Mirko
  email: mirko.conrad@daimlerchrysler.com
  organization: DaimlerChrysler AG, Research and Technology, Berlin, Germany
BookMark eNqNkEFLAzEQhQNWsK29C172KrLtJJPsJsdSWhUKHqznkM3Olmi7kc168N-7pfXuXB7Dm_dgvgkbtbElxu44zDkHs1i-recCAOdcSEAhrtgEysIoAajMiI25QZ1LBLhhs5Q-YBiplEQcs8cdpT5L36GnrKYU9m3WxC7zsaZsTy11rg-xzfoYD-mWXTfukGh20Sl736x3q-d8-_r0slpucyek6XOBJXLUheEehKtL6SrZKOdLrDk4RYU3RUXDKkXtvCh1A1ppUUjNEaU3OGX3595ARParC0fX_djLb4O7OLvOH20V42eyHOyJgx042BOHv1tbdYGaIfHw3wT-Aj3wW90
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/ASE.2003.1240322
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList

Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 290
ExternalDocumentID 1240322
GroupedDBID 6IE
6IK
6IL
AAJGR
AAVQY
ACM
ADPZR
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
GUFHI
OCL
RIB
RIC
RIE
RIL
29I
6IF
6IH
6IM
6IN
6J9
AAWTH
ABLEC
ACREN
ADYOE
ADZIZ
AFYQB
AMTXH
APO
CHZPO
IEGSK
IPLJI
M43
ID FETCH-LOGICAL-a249t-2373138691c02ad74ab4f5ac73d10a5e6c96bec7342dac278f085826481334c93
IEDL.DBID RIE
ISBN 0769520359
9780769520353
ISSN 1938-4300
IngestDate Tue Aug 26 17:20:29 EDT 2025
Wed Jan 31 06:43:03 EST 2024
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a249t-2373138691c02ad74ab4f5ac73d10a5e6c96bec7342dac278f085826481334c93
PageCount 5
ParticipantIDs acm_books_10_1109_ASE_2003_1240322_brief
acm_books_10_1109_ASE_2003_1240322
ieee_primary_1240322
PublicationCentury 2000
PublicationDate 20031006
20030000
PublicationDateYYYYMMDD 2003-10-06
2003-01-01
PublicationDate_xml – month: 10
  year: 2003
  text: 20031006
  day: 06
PublicationDecade 2000
PublicationPlace Piscataway, NJ, USA
PublicationPlace_xml – name: Piscataway, NJ, USA
PublicationSeriesTitle ACM Conferences
PublicationTitle 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings
PublicationTitleAbbrev ASE
PublicationYear 2003
Publisher IEEE Press
IEEE
Publisher_xml – name: IEEE Press
– name: IEEE
SSID ssj0000455433
ssj0051577
Score 1.6553025
Snippet In model-based development, executable specifications (models) are used for the design of the software to be developed. New techniques allow the automatic...
SourceID ieee
acm
SourceType Publisher
StartPage 286
SubjectTerms Application software
Automatic programming
Certification
Character generation
Embedded software
Embedded system
Flowcharts
General and reference
General and reference -- Cross-computing tools and techniques
General and reference -- Cross-computing tools and techniques -- Verification
Software and its engineering
Software and its engineering -- Software creation and management
Software and its engineering -- Software creation and management -- Software development process management
Software and its engineering -- Software creation and management -- Software verification and validation
Software and its engineering -- Software creation and management -- Software verification and validation -- Software defect analysis
Software and its engineering -- Software creation and management -- Software verification and validation -- Software defect analysis -- Software testing and debugging
Software design
Software tools
System testing
Theory of computation
Theory of computation -- Semantics and reasoning
Theory of computation -- Semantics and reasoning -- Program reasoning
Theory of computation -- Semantics and reasoning -- Program reasoning -- Program verification
Title Test suite design for code generation tools
URI https://ieeexplore.ieee.org/document/1240322
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3PS8MwFA5zJ09TN3H-IogHQdOlTZq2R5HJECaCG-xWkjQVUVfZ2ot_vS9pO1EEvfVHoO1Lmvd9yXvfQ-jcF7nKlBHEelfCNdVEUmEIFTrPTCJlmNts5Om9mMz53SJcdNDVJhfGGOOCz4xnD91eflboyi6VjXwrHhfAhLsFw6zO1dqspwA0CTnbzMLgpl3VRcAnMeGM0pqyJ2FgNesa5Z32nLX7lzQZXT-OnUqo1zzMei399q32inM9tz00bV-6jjh58apSefrjh57jf79qBw2-kvzww8Z97aKOWe6hXlvlATc_fR9dzsBx4HUF2BRnLt4DA9DFNhcePznRatu3uCyK1_UAzW_Hs5sJaUosEAm8qyQBi5jPYpH4mgYyi7hUPA-ljljmUxkaoRMBvRwxHmRSB1GcA0SLbVQccFuuE7aPustiaQ4QjuNQAlgTkgNFUSyC5iFgCaWAkXAd8CE6A0OmljusU0c9aJKCtW0hTJY2Rhiii78bpWr1bPIh6ltbpu-1Kkd78_D3y0do24XhucWTY9QtV5U5AThRqlM3jj4BkTC7Ew
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1bS8MwFD6IPujTvOK8BvFB0M60ubR9FHHMy0Rwg72VJE1F1E227sVf70nWThRB33oJtDlp830nOec7AMehLHSurQwcugbcUBMoKm1ApSlymyolCpeN3L2XnT6_GYjBApzNc2GstT74zLbcod_Lz0dm6pbKzkMnHhfhhLuEuM_FLFtrvqKC5ERwNp-HEah93UVkKEnAGaUzpz0VkVOtq7R36nNW72DS9Pzi8crrhLaqxzncMm_fqq948Gk3oFu_9izm5KU1LXXLfPxQdPxvv1Zh8yvNjzzMAWwNFuxwHRp1nQdS_fYbcNpD6CCTKbJTkvuID4JUl7hsePLkZavd6JJyNHqdbEK_fdW77ARVkYVAoedVBhGLWcgSmYaGRiqPudK8EMrELA-pElaaVOI4x4xHuTJRnBRI0hIXF4feLTcp24LF4Whot4EkiVBI16Ti6KRoFmNzgWxCa_RJuIl4E47QkJnzHiaZdz5omqG1XSlMllVGaMLJ340yPX62RRM2nC2z95kuR31z5_fLh7Dc6XXvsrvr-9tdWPFBeX4pZQ8Wy_HU7iO5KPWB_6Y-AZwhvmA
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+18th+IEEE+International+Conference+on+Automated+Software+Engineering&rft.atitle=Test+suite+design+for+code+generation+tools&rft.au=St%C3%BCrmer%2C+Ingo&rft.au=Conrad%2C+Mirko&rft.series=ACM+Conferences&rft.date=2003-10-06&rft.pub=IEEE+Press&rft.isbn=0769520359&rft.spage=286&rft.epage=290&rft_id=info:doi/10.1109%2FASE.2003.1240322
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1938-4300&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1938-4300&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1938-4300&client=summon