Automated bug localization in embedded softwares: a new paradigm through holistic approaches /
Ray, Partha Pratim
Automated bug localization in embedded softwares: a new paradigm through holistic approaches / Partha Pratim Ray - Saabrucken : Lambert , 2012. - viii,65p. : ill. ; 21cm.
1 Introduction .
2 Literature Review ,
2.1 Software Bug
2.1.1 Types ot Bugs .
2.1.2 Bug Handling .
2.2 Debugging .
2.3 Embedded System .
2.3.1 Embedded Processors .
2.3.2 Features of Embedded Systems
2.4 Embedded Software .
2.4.1 Characteristics of Embedded Software
2.4.2 Embedded Software Architecture
2.4.3 Models of Computation
2.5 BusyBox .
2.5.1 Overall View of BusyBox
2.5.2 Usage .
2.5.3 Bugs in BusyBox
3 Related Work .
4 Memory Error Detection .
4.1 Valgrind .
4.1.2 Interpreting Memchecks Output
4.2 Bug Analysis . .
4.2.1 Analyzing the Arp Bug in BusyBox
4.2.2 Analyzing the Top Bug in BusyBox
5 Invariant Analysis . .
5.1 Introduction . .
5.1.1 Invariant .
5.1.2 Program Point
5.1.3 Nonsensical . .
5.2 Daikon
5.2.1 Introduction .
5.2.2 Executing Daikon
5.3 Methodology
5.4 Concept of Arp Bug Behind Our Approach
5.5 Bug Analysis
5.5.1 Trace file Generation
5.5.2 Invariant Detection . .
5.5.3 Invariant Comparison .
5.5.4 Output Analysis . . .
6 Object State Incorporated Debugging-OSiD .
6.1 Introduction
6.2 Class Dependence Graph
6.3 Our Approach . . .
6.4 Bug Localization .
6.4.1 Test OOP and Other Metrics . .
6.4.2 State Chart
6.4.3 State Transition Table
6.4.4 CIdg Representation of the Test Program
6.4.5 Test Suite Deployment .
6.4.6 State Information Comparison
6.4.7 State Comparison Matrix
6.4.8 Source Level Bug Localization
7 Conclusion and Future Work
9783848444397 (pb)
Computer Programming
005.26 / RAY/A
Automated bug localization in embedded softwares: a new paradigm through holistic approaches / Partha Pratim Ray - Saabrucken : Lambert , 2012. - viii,65p. : ill. ; 21cm.
1 Introduction .
2 Literature Review ,
2.1 Software Bug
2.1.1 Types ot Bugs .
2.1.2 Bug Handling .
2.2 Debugging .
2.3 Embedded System .
2.3.1 Embedded Processors .
2.3.2 Features of Embedded Systems
2.4 Embedded Software .
2.4.1 Characteristics of Embedded Software
2.4.2 Embedded Software Architecture
2.4.3 Models of Computation
2.5 BusyBox .
2.5.1 Overall View of BusyBox
2.5.2 Usage .
2.5.3 Bugs in BusyBox
3 Related Work .
4 Memory Error Detection .
4.1 Valgrind .
4.1.2 Interpreting Memchecks Output
4.2 Bug Analysis . .
4.2.1 Analyzing the Arp Bug in BusyBox
4.2.2 Analyzing the Top Bug in BusyBox
5 Invariant Analysis . .
5.1 Introduction . .
5.1.1 Invariant .
5.1.2 Program Point
5.1.3 Nonsensical . .
5.2 Daikon
5.2.1 Introduction .
5.2.2 Executing Daikon
5.3 Methodology
5.4 Concept of Arp Bug Behind Our Approach
5.5 Bug Analysis
5.5.1 Trace file Generation
5.5.2 Invariant Detection . .
5.5.3 Invariant Comparison .
5.5.4 Output Analysis . . .
6 Object State Incorporated Debugging-OSiD .
6.1 Introduction
6.2 Class Dependence Graph
6.3 Our Approach . . .
6.4 Bug Localization .
6.4.1 Test OOP and Other Metrics . .
6.4.2 State Chart
6.4.3 State Transition Table
6.4.4 CIdg Representation of the Test Program
6.4.5 Test Suite Deployment .
6.4.6 State Information Comparison
6.4.7 State Comparison Matrix
6.4.8 Source Level Bug Localization
7 Conclusion and Future Work
9783848444397 (pb)
Computer Programming
005.26 / RAY/A