文章基本信息

标题：Debugging Invariant Issues in Pseudo Embedded Program: an Analytical Approach
本地全文：下载
作者：Partha Pratim Ray ; Dr. Ansuman Banerjee ; Banibrata Bag 等
期刊名称：International Journal of Computer Science and Information Technologies
电子版ISSN：0975-9646
出版年度：2011
卷号：2
期号：2
页码：780-785
出版社：TechScience Publications
摘要：Debugging is an unavoidable and most crucial aspect of software development life cycle. Especially when it comes the turn of embedded one. Due to the requirements of low code size and less resource consumption, the embedded softwares need to be upgraded all the time involving obvious change of code during development phase. This leads the huge risk of intrusion of bugs into the code at production time. In this paper we propose an approach of debugging embedded program in pseudo format, incorporating invariant analysis. Our methodology works on top of Daikon, a popular invariant analyzer. We have experimented with a simplified code snippet [1], used during debugging a reported error in BusyBox which is a de-facto standard for Linux in embedded systems
关键词：Debugging is an unavoidable and most crucial aspect;of software development life cycle. Especially when it comes the;turn of embedded one. Due to the requirements of low code size;and less resource consumption; the embedded softwares need to;be upgraded all the time involving obvious change of code during;development phase. This leads the huge risk of intrusion of bugs;into the code at production time. In this paper we propose an;approach of debugging embedded program in pseudo format;incorporating invariant analysis. Our methodology works on top;of Daikon; a popular invariant analyzer. We have experimented;with a simplified code snippet [1]; used during debugging a;reported error in BusyBox which is a de-facto standard for Linux;in embedded systems