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 条
  • [1] Testing Framework for Embedded Languages
    Lesko, Daniel
    Tejfel, Mate
    NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM 2012), VOLS A AND B, 2012, 1479 : 454 - 457
  • [2] General framework for testing using formal languages
    Lobato S.
    Poncela J.
    Aamir M.
    International Journal of Information Technology, 2017, 9 (1) : 41 - 48
  • [3] Automated Testing Framework for Embedded Component Systems
    Tomimori, Hinata
    Oyama, Hiroshi
    Azumi, Takuya
    2023 IEEE 26TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING, ISORC, 2023, : 176 - 183
  • [4] Unit Testing Framework for Embedded Component Systems
    Morisaki, Shuichiro
    Shirata, Seito
    Oyama, Hiroshi
    Azumi, Takuya
    2020 IEEE 18TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING, EUC 2020, 2020, : 41 - 48
  • [5] SymTest : A Framework for Symbolic Testing of Embedded Software
    Chakrabarti, Sujit
    Ramesh, S.
    PROCEEDINGS OF THE 9TH INDIA SOFTWARE ENGINEERING CONFERENCE, 2016, : 48 - 58
  • [6] SimTester: A Controllable and Observable Testing Framework for Embedded Systems
    Yu, Tingting
    Srisa-an, Witawas
    Rothermel, Gregg
    ACM SIGPLAN NOTICES, 2012, 47 (07) : 51 - 61
  • [7] On Framework Oriented Embedded Software Testing Development Environment
    Yin, Yongfeng
    Liu, Bin
    Zhang, Guoliang
    PROCEEDINGS OF 2009 8TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY, VOLS I AND II: HIGHLY RELIABLE, EASY TO MAINTAIN AND READY TO SUPPORT, 2009, : 708 - 712
  • [8] Embedded Controlled Languages
    Ranta, Aarne
    CONTROLLED NATURAL LANGUAGE, CNL 2014, 2014, 8625 : 1 - 7
  • [9] A foundation for embedded languages
    Rhiger, M
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 25 (03): : 291 - 315
  • [10] Compiling embedded languages
    Elliott, C
    Finne, S
    de Moor, O
    SEMANTICS, APPLICATIONS AND IMPLEMENTATION OF PROGRAM GENERATION, PROCEEDINGS, 2000, 1924 : 9 - 27