BMCLua: Verification of Lua Programs in Digital TV Interactive Applications

被引：0
|
作者：
Januario, Francisco A. P. [1 ]
Cordeiro, Lucas C. [1 ]
de Lucena, Vicente F., Jr. [1 ]
de Lima Filho, Eddie B. [2 ]
机构：
[1] Univ Fed Amazonas, Manaus, Amazonas, Brazil
[2] Ind Pole Manaus CT PIM, Sci Technol & Innovat Ctr, Manaus, Amazonas, Brazil
来源：
2014 IEEE 3RD GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE) | 2014年
关键词：
Digital TV; Model Checking;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
The present paper describes a novel scheme for checking for potential defects in Lua programs, by using Bounded Model Checking (BMC). Such an approach, called BMCLua, translates a Lua program into an ANSI-C one, which is then verified by the Efficient SMT-Based Bounded Model Checker (ESBMC). BMCLua is able to check for safety properties related to array bounds, division by zero, and user-specified assertions, in Lua programs. This paper marks the first application of BMC to Lua programs. The experimental results show that the performance of BMCLua is similar to that of ESBMC, in about 70% of the benchmarks used for evaluation.
引用
收藏
页码：707 / 708
页数：2
相关论文
共 50 条
  • [21] Functional Requirements Modelling for Interactive TV Applications
    Canchi, Sergio
    Eduardo Duran, Juan
    [J]. REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY ( REFSQ 2015), 2015, 9013 : 254 - 261
  • [22] Optimized Resource Distribution for Interactive TV Applications
    Kulupana, Gosala
    Talagala, Dumidu S.
    Arachchi, Hemantha Kodikara
    Fernando, Anil
    [J]. IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, 2015, 61 (03) : 344 - 352
  • [23] Multimodal dialogue systems for interactive TV applications
    Ibrahim, A
    Johansson, P
    [J]. FOURTH IEEE INTERNATIONAL CONFERENCE ON MULTIMODAL INTERFACES, PROCEEDINGS, 2002, : 117 - 122
  • [24] Optimized Resource Distribution for Interactive TV Applications
    Kulupana, Gosala
    Talagala, Dumidu S.
    Arachchi, Hemantha Kodikara
    Fernando, Anil
    [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS (ICCE), 2015, : 70 - 71
  • [25] Interactive digital TV: Learning and Skills Network, UK
    不详
    [J]. EDUCATION AND TRAINING, 2007, 49 (04): : 167 - 176
  • [26] The Interactive Relation between Religious TV Programs and People in Turkey
    Bicer, Ramazan
    [J]. INTERNATIONAL JOURNAL OF ONLINE PEDAGOGY AND COURSE DESIGN, 2013, 3 (03) : 76 - 84
  • [27] Optimal carousel stream for interactive digital TV service
    Kuo, Tien-Ying
    Lo, Yi-Chung
    Lai, Chih-Chun
    [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON BROADBAND MULTIMEDIA SYSTEMS AND BROADCASTING, 2008, : 131 - +
  • [28] Delivering interactive services via a digital TV infrastructure
    Milenkovic, M
    [J]. IEEE MULTIMEDIA, 1998, 5 (04) : 34 - 43
  • [29] Technology Assessment: Interactive Digital TV Applied to Telehealth
    Meneses, Diego Armando de O.
    de Oliveira, Adicineia Aparecida
    do Nascimento, Rogerio P. C.
    [J]. 2016 8TH EURO AMERICAN CONFERENCE ON TELEMATICS AND INFORMATION SYSTEMS (EATIS), 2016,
  • [30] User Interactive Design for Digital TV Web Surfing
    Chuang, Chih-Fei
    Huang, Nancy
    Hwang, Sheue-Ling
    [J]. HUMAN-COMPUTER INTERACTION: USERS AND APPLICATIONS, PT IV, 2011, 6764 : 439 - 442
12345