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 条
  • [41] Design and Application of Real-time Embedded Software Simulation Testing Object Framework
    Yin Yongfeng
    Liu Bin
    Ni Hongying
    SMART MATERIALS AND INTELLIGENT SYSTEMS, PTS 1 AND 2, 2011, 143-144 : 152 - +
  • [42] SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software
    Yu, Tingting
    Srisa-an, Witawas
    Cohen, Myra B.
    Rothermel, Gregg
    2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2014, : 313 - 322
  • [43] Testing membership in parenthesis languages
    Parnas, M
    Ron, D
    Rubinfeld, R
    RANDOM STRUCTURES & ALGORITHMS, 2003, 22 (01) : 98 - 138
  • [44] THE NEED FOR SPECIFICATION AND TESTING LANGUAGES
    COX, BJ
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1988, 1 (02): : 44 - 47
  • [45] Testing the Equivalence of Regular Languages
    Almeida, Marco
    Moreira, Nelma
    Reis, Rogerio
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (03): : 47 - 57
  • [46] Concolic testing for functional languages
    Giantsios, Aggelos
    Papaspyrou, Nikolaos
    Sagonas, Konstantinos
    SCIENCE OF COMPUTER PROGRAMMING, 2017, 147 : 109 - 134
  • [47] Concolic Testing for Functional Languages
    Giantsios, Aggelos
    Papaspyrou, Nikolaos
    Sagonas, Konstantinos
    PROCEEDINGS OF THE 17TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2015), 2015, : 137 - 148
  • [48] Testing theories for asynchronous languages
    Castellani, I
    Hennessy, M
    FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1998, 1530 : 90 - 101
  • [49] Design and Research on Real-Time Interface Management Framework of the General Embedded Testing System for Model Driven Testing
    Diao, Xiaoxu
    Liu, Bin
    HIGH PERFORMANCE NETWORKING, COMPUTING, AND COMMUNICATION SYSTEMS, 2011, 163 : 359 - 365
  • [50] High Performance Embedded Domain Specific Languages
    Olukotun, Kunle
    ACM SIGPLAN NOTICES, 2012, 47 (09) : 139 - 139