Testing framework for embedded languages

被引:0
|
作者
Lesko, Daniel [1 ]
Tejfel, Mate [1 ]
机构
[1] Eotvos Lorand Univ, Dept Programming Languages & Compilers, H-1364 Budapest, Hungary
关键词
testing support for embedded languages; testing framework; abstraction over evaluation;
D O I
10.2298/CSIS130115069L
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Embedding a new programming language into an existing one is a widely used technique, because it fastens the development process and gives a part of a language infrastructure for free (e.g. lexical, syntactical analyzers). In this paper we are presenting a new advantage of this development approach regarding to adding testing support for these new languages. Tool support for testing is a crucial point for a newly designed programming language. It could be done in the hard way by creating a testing tool from scratch, or we could try to reuse existing testing tools by extending them with an interface to our new language. The second approach requires less work, and also it fits very well for the embedded approach. The problem is that the creation of such interfaces is not straightforward at all, because the existing testing tools are mostly not designed to be extendable and to be able to deal with new languages. This paper presents an extendable and modular model of a testing framework, in which the most basic design decision was to keep the - previously mentioned - interface creation simple and straightforward. Other important aspects of our model are the test data generation, the oracle problem and the customizability of the whole testing phase.
引用
收藏
页码:1647 / 1659
页数:13
相关论文
共 50 条
  • [31] Schedulable online testing framework for real-time embedded applications in VM
    Goh, Okehee
    Lee, Yann-Hang
    EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2007, 4808 : 730 - 741
  • [32] Combining languages in embedded system design
    Ernst, R
    EUROMICRO SYMPOSIUM ON DIGITAL SYSTEMS DESIGN, PROCEEDINGS, 2001, : 62 - 62
  • [33] SOME ASSEMBLY REQUIRED - EMBEDDED LANGUAGES
    BETZ, D
    BYTE, 1988, 13 (12): : 409 - &
  • [34] Embedded languages for describing and verifying hardware
    Claessen, K.
    Doktorsavhandlingar vid Chalmers Tekniska Hogskola, 2001, (1698):
  • [35] MODEL MANAGEMENT - AN EMBEDDED LANGUAGES APPROACH
    BHARGAVA, HK
    KIMBROUGH, SO
    DECISION SUPPORT SYSTEMS, 1993, 10 (03) : 277 - 299
  • [36] A prismoid framework for languages with resources
    Kesner, Delia
    Renaud, Fabien
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (37) : 4867 - 4892
  • [37] A framework for evolution of modelling languages
    Meyers, Bart
    Vangheluwe, Hans
    SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (12) : 1223 - 1246
  • [38] A Framework for the Localization of Programming Languages
    Swidan, Alaaeddin
    Hermans, Felienne
    PROCEEDINGS OF THE 2023 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON SPLASH-E, SPLASH-E 2023, 2023, : 13 - 25
  • [39] Text languages in an algebraic framework
    Fundam Inf, 3-4 (353):
  • [40] A framework for multiple coordination languages
    Robert Tolksdorf
    World Wide Web, 1998, 1 (2) : 101 - 108