Optimal algorithmic debugging and reduced coverage using search in structured domains

被引：0
|
作者：
Ben-Asher, Y [1 ]
Breger, I
Farchi, E
Gordon, I
机构：
[1] Univ Haifa, Dept Comp Sci, IL-31999 Haifa, Israel
[2] IBM Res Ctr, Haifa, Israel
来源：
HARDWARE AND SOFTWARE VERIFICATION AND TESTING | 2006年 / 3875卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Traditional code based coverage criteria for industrial programs are rarely met in practice due to the large size of the coverage list. In addition, debugging industrial programs is hard due to the large search space. A new tool, REDBUG, is introduced. REDBUG is based on an optimal search in structured domain technology. REDBUG supports a reduced coverage criterion rendering the coverage of industrial programs practical. In addition, by using an optimal search algorithm, REDBUG reduces the number of steps required to locate a bug. REDBUG also combines testing and debugging into one process.
引用
收藏
页码：149 / 157
页数：9
相关论文
共 50 条
  • [1] Implementation of an Optimal Strategy for Algorithmic Debugging
    Insa, David
    Silva, Josep
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 282 : 47 - 60
  • [2] ALGORITHMIC DEBUGGING OF EQUIVALENT TRANSFORMATION PROGRAMS USING ORACLE RULES
    Miyajima, Shinya
    Akama, Kiyoshi
    Mabuchi, Hiroshi
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2011, 7 (08): : 4703 - 4716
  • [3] Optimal Route Search with the Coverage of Users' Preferences
    Zeng, Yifeng
    Chen, Xuefeng
    Cao, Xin
    Qin, Shengchao
    Cavazza, Marc
    Xiang, Yanping
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2118 - 2124
  • [4] Complete Solution of Optimal PMU Placement Using Reduced Exhaustive Search
    Mabaning, Abdul Aziz G.
    Orillaza, Jordan Rel C.
    PROCEEDINGS OF THE 2016 IEEE REGION 10 CONFERENCE (TENCON), 2016, : 823 - 826
  • [5] Optimal Allocation of DG Using Exponential PSO With Reduced Search Space
    Ghatak, Sriparna Roy
    Acharjee, Parimal
    2016 SECOND INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE & COMMUNICATION TECHNOLOGY (CICT), 2016, : 489 - 494
  • [6] Coverage Enhancement for MTC Devices Using Reduced Search Viterbi Decoder Across RATs
    Annamalai, Parthiban
    Bapat, Jyotsna
    Das, Debabrata
    IEEE COMMUNICATIONS LETTERS, 2016, 20 (09) : 1892 - 1895
  • [7] HIGH-LEVEL VLSI DESIGN SPECIFICATION VALIDATION USING ALGORITHMIC DEBUGGING
    NAGANUMA, J
    OGURA, T
    HOSHINO, T
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1994, E77A (12) : 1988 - 1998
  • [8] Coverage Enhancement of PBCH using Reduced Search Viterbi for MTC in LTE-Advanced Networks
    Annamalai, Parthiban
    Das, Sajal Kumar
    Bapat, Jyotsna
    Das, Debabrata
    2015 13TH INTERNATIONAL SYMPOSIUM ON MODELING AND OPTIMIZATION IN MOBILE, AD HOC, AND WIRELESS NETWORKS (WIOPT), 2015, : 110 - 114
  • [9] Sample Efficient Policy Search for Optimal Stopping Domains
    Goel, Karan
    Dann, Christoph
    Brunskill, Emma
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1711 - 1717
  • [10] Algorithmic search for flexibility using resultants of polynomial systems
    Lewis, Robert H.
    Coutsias, Evangelos A.
    AUTOMATED DEDUCTION IN GEOMETRY, 2007, 4869 : 68 - +
12345