Automated bug localization in embedded softwares: a new paradigm through holistic approaches / (Record no. 2771)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01899nam a2200157 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783848444397 (pb) |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | CUS |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.26 |
| Item number | RAY/A |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Ray, Partha Pratim |
| 245 ## - TITLE STATEMENT | |
| Title | Automated bug localization in embedded softwares: a new paradigm through holistic approaches / |
| Statement of responsibility, etc. | Partha Pratim Ray |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Saabrucken : |
| Name of publisher, distributor, etc. | Lambert , |
| Date of publication, distribution, etc. | 2012. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | viii,65p. : |
| Other physical details | ill. ; |
| Dimensions | 21cm. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 1 Introduction .<br/>2 Literature Review ,<br/>2.1 Software Bug<br/>2.1.1 Types ot Bugs .<br/>2.1.2 Bug Handling .<br/>2.2 Debugging .<br/>2.3 Embedded System .<br/>2.3.1 Embedded Processors .<br/>2.3.2 Features of Embedded Systems<br/>2.4 Embedded Software .<br/>2.4.1 Characteristics of Embedded Software<br/>2.4.2 Embedded Software Architecture<br/>2.4.3 Models of Computation<br/>2.5 BusyBox .<br/>2.5.1 Overall View of BusyBox<br/>2.5.2 Usage .<br/>2.5.3 Bugs in BusyBox<br/>3 Related Work .<br/>4 Memory Error Detection .<br/>4.1 Valgrind .<br/>4.1.2 Interpreting Memchecks Output<br/>4.2 Bug Analysis . .<br/>4.2.1 Analyzing the Arp Bug in BusyBox<br/>4.2.2 Analyzing the Top Bug in BusyBox<br/>5 Invariant Analysis . .<br/>5.1 Introduction . .<br/>5.1.1 Invariant .<br/>5.1.2 Program Point<br/>5.1.3 Nonsensical . .<br/>5.2 Daikon<br/>5.2.1 Introduction .<br/>5.2.2 Executing Daikon<br/>5.3 Methodology<br/>5.4 Concept of Arp Bug Behind Our Approach<br/>5.5 Bug Analysis<br/>5.5.1 Trace file Generation<br/>5.5.2 Invariant Detection . .<br/>5.5.3 Invariant Comparison .<br/>5.5.4 Output Analysis . . .<br/>6 Object State Incorporated Debugging-OSiD .<br/>6.1 Introduction<br/>6.2 Class Dependence Graph<br/>6.3 Our Approach . . .<br/>6.4 Bug Localization .<br/>6.4.1 Test OOP and Other Metrics . .<br/>6.4.2 State Chart<br/>6.4.3 State Transition Table<br/>6.4.4 CIdg Representation of the Test Program<br/>6.4.5 Test Suite Deployment .<br/>6.4.6 State Information Comparison<br/>6.4.7 State Comparison Matrix<br/>6.4.8 Source Level Bug Localization<br/>7 Conclusion and Future Work |
| 650 ## - SUBJECT | |
| Keyword | Computer Programming |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | General Books |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Full call number | Accession number | Date last seen | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Central Library, Sikkim University | Central Library, Sikkim University | General Book Section | 14/06/2016 | 005.26 RAY/A | P39231 | 14/06/2016 | General Books |