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 条
  • [1] EXPERIENCES AND PROTOTYPES OF INTERACTIVE DIGITAL TV APPLICATIONS
    Oyarzo, Fernanda
    Herrera, Franco
    Miranda, Mirtha
    Casas, Sandra
    [J]. INFORMES CIENTIFICOS Y TECNICOS, 2013, 5 (01): : 49 - 81
  • [2] API TVD, a Wizard for Interactive Applications for Digital TV
    Oyarzo, Fernanda
    Herrera, Franco
    Casas, Sandra
    [J]. PROCEEDINGS OF THE 2014 XL LATIN AMERICAN COMPUTING CONFERENCE (CLEI), 2014,
  • [3] DEVELOPING PROGRAMS FOR INTERACTIVE TV
    COCO, D
    [J]. COMPUTER GRAPHICS WORLD, 1994, 17 (06) : 33 - &
  • [4] DEVELOPMENT OF INTERACTIVE APPLICATIONS FOR DIGITAL TV BACK TO DISTANCE EDUCATION
    Maione, Max Soares
    Coelho, Alex
    [J]. HUMANIDADES & INOVACAO, 2015, : 53 - 57
  • [5] Dr. Nau, a Web Generator of Interactive Applications for Digital TV
    Casas, Sandra
    Herrera, Franco
    Oyarzo, Fernanda
    Trinidad, Franco
    [J]. APPLICATIONS AND USABILITY OF INTERACTIVE TV, JAUTI 2018, 2019, 1004 : 71 - 86
  • [6] Interactive Applications for Digital TV Using Internet Legacy - A Successful Case Study
    Mesquita, Marcio Gurjao
    de Souza, Osvaldo
    [J]. PROCEEDINGS OF THE IEEE INTERNATIONAL TELECOMMUNICATIONS SYMPOSIUM, VOLS 1 AND 2, 2006, : 472 - 476
  • [7] Digital Interactive TV Network Architecture
    Vincent Dureau
    [J]. 现代电视技术, 2001, (12) : 151 - 158
  • [8] Interoperability Study for Interactive Digital TV
    Calixto, Gustavo M.
    Zuffo, Marcelo K.
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS (ICCE), 2017,
  • [9] New interactive services for digital TV
    Azimi, M
    Ward, RK
    Nasiopoulos, P
    [J]. 2001 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL I, PROCEEDINGS, 2001, : 814 - 817
  • [10] Digital Interactive TV Network Architecture
    Vincent Dureau
    [J]. 现代电视技术, 2001, (06) : 151 - 158
12345