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 条
  • [21] A Model-driven testing Framework Based on requirement for embedded software
    Lei, Haishen
    Wang, Yichen
    PROCEEDINGS OF 2016 11TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY (ICRMS'2016): INTEGRATING BIG DATA, IMPROVING RELIABILITY & SERVING PERSONALIZATION, 2016,
  • [22] Embedded Gapping in Romance Languages
    Bilbiie, Gabriela
    de la Fuente, Israel
    Abeille, Anne
    LANGAGES, 2021, (223) : 61 - +
  • [23] Test Framework Generation for Model-Based Testing in Embedded Systems
    Iyenghar, Padma
    2011 37TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2011), 2011, : 267 - 274
  • [24] A Framework for Extensible Languages
    Erdweg, Sebastian
    Rieger, Felix
    ACM SIGPLAN NOTICES, 2014, 49 (03) : 3 - 12
  • [25] EMBEDDED BEHAVIOR PATTERN LANGUAGES - A CONTRIBUTION TO A TAXONOMY OF CASE LANGUAGES
    WARD, PT
    PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : B273 - B284
  • [26] EMBEDDED BEHAVIOR PATTERN LANGUAGES - A CONTRIBUTION TO A TAXONOMY OF CASE LANGUAGES
    WARD, PT
    JOURNAL OF SYSTEMS AND SOFTWARE, 1989, 9 (02) : 109 - 128
  • [27] Testing Languages with a Languages-as-Databases Approach
    Cimini, Matteo
    TESTS AND PROOFS, TAP 2023, 2023, 14066 : 108 - 126
  • [28] Testing parenthesis languages
    Parnas, M
    Ron, D
    Rubinfeld, R
    APPROXIMATION, RANDOMIZATION, AND COMBINATORIAL OPTIMIZATION: ALGORITHMS AND TECHNIQUES, 2001, 2129 : 261 - 272
  • [29] XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software
    Becker, Markus
    Joy, Mabel Mary
    Baldin, Daniel
    Xie, Tao
    Kuznik, Christoph
    Mueller, Wolfgang
    EMSOFT '12: PROCEEDINGS OF THE TENTH AMC INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE 2012, 2012, : 33 - 42
  • [30] Development of a framework for automated systematic testing of safety-critical embedded systems
    Kandl, Susanne
    Kirner, Raimund
    Puschner, Peter
    PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON INTELLIGENT SOLUTIONS IN EMBEDDED SYSEMS, 2006, : 65 - +