Dissertation/ Thesis
Using code instrumentation for debugging and constraint checking
| Τίτλος: | Using code instrumentation for debugging and constraint checking |
|---|---|
| Συγγραφείς: | Ilas, Filaret |
| Συνεισφορές: | Pilskalns, Orest Jacob |
| Στοιχεία εκδότη: | Washington State University Pullman, Wash. |
| Έτος έκδοσης: | 2009 |
| Θεματικοί όροι: | Debugging in computer science--Computer programs |
| Περιγραφή: | In software engineering the need for secure and high quality software has spurred intense research activity in the areas on software debugging, testing and constraint analysis. Code instrumentation is a common technique used to track application behaviour. The most popular usages for code instrumentation are software debugging, performance analysis, monitoring, distributed computing and aspect oriented programming. Typical instrumentation techniques provide information about code coverage during software testing activities. Current approaches make use of instrumentation by inserting additional code that monitors the behavior of a specific component. This thesis presents and applies two novel approaches that use an instrumentation technique: (1) A Runtime Debugging approach is aimed at detecting and resolving runtime faults in object-oriented code. The approach relies on bytecode instrumentation in order to provide code coverage for predefined unit tests. The results are analysed using Reverse Engineered techniques. The approach consists in merging both succesfull and faulty code execution traces and detecting the faults by analysing the differences in the output traces. (2) A Security Constraint Checking approach uses the notion of security consistency in designs. Byte code instrumentation techniques are used to provide code coverage for selected unit tests. Direct acyclic graphs are constructed from the output traces using reverse engineered techniques. The graphs contain object method calls in a similar manner to UML Sequence Diagrams. This approach uses the results of the instrumentation to check for consistency with design generated security constraints. Furthermore this approach analyzes these views for security inconsistencies, and generates a set of recommendations. |
| Τύπος εγγράφου: | master thesis |
| Περιγραφή αρχείου: | |
| Γλώσσα: | English |
| Relation: | 2376/100631; (OCoLC)429235154; 99900525162201842; https://rex.libraries.wsu.edu/view/delivery/01ALLIANCE_WSU/12338018700001842/13338232580001842; alma:01ALLIANCE_WSU/bibs/99900525162201842 |
| Διαθεσιμότητα: | https://rex.libraries.wsu.edu/esploro/outputs/graduate/Using-code-instrumentation-for-debugging-and/99900525162201842 https://rex.libraries.wsu.edu/view/delivery/01ALLIANCE_WSU/12338018700001842/13338232580001842 |
| Rights: | Open |
| Αριθμός Καταχώρησης: | edsbas.DDE66CD |
| Βάση Δεδομένων: | BASE |
| FullText | Text: Availability: 0 CustomLinks: – Url: https://rex.libraries.wsu.edu/esploro/outputs/graduate/Using-code-instrumentation-for-debugging-and/99900525162201842# Name: EDS - BASE (ns324271) Category: fullText Text: View record from BASE |
|---|---|
| Header | DbId: edsbas DbLabel: BASE An: edsbas.DDE66CD RelevancyScore: 762 AccessLevel: 3 PubType: Dissertation/ Thesis PubTypeId: dissertation PreciseRelevancyScore: 761.994323730469 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Using code instrumentation for debugging and constraint checking – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Ilas%2C+Filaret%22">Ilas, Filaret</searchLink> – Name: Author Label: Contributors Group: Au Data: Pilskalns, Orest Jacob – Name: Publisher Label: Publisher Information Group: PubInfo Data: Washington State University<br />Pullman, Wash. – Name: DatePubCY Label: Publication Year Group: Date Data: 2009 – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22Debugging+in+computer+science--Computer+programs%22">Debugging in computer science--Computer programs</searchLink> – Name: Abstract Label: Description Group: Ab Data: In software engineering the need for secure and high quality software has spurred intense research activity in the areas on software debugging, testing and constraint analysis. Code instrumentation is a common technique used to track application behaviour. The most popular usages for code instrumentation are software debugging, performance analysis, monitoring, distributed computing and aspect oriented programming. Typical instrumentation techniques provide information about code coverage during software testing activities. Current approaches make use of instrumentation by inserting additional code that monitors the behavior of a specific component. This thesis presents and applies two novel approaches that use an instrumentation technique: (1) A Runtime Debugging approach is aimed at detecting and resolving runtime faults in object-oriented code. The approach relies on bytecode instrumentation in order to provide code coverage for predefined unit tests. The results are analysed using Reverse Engineered techniques. The approach consists in merging both succesfull and faulty code execution traces and detecting the faults by analysing the differences in the output traces. (2) A Security Constraint Checking approach uses the notion of security consistency in designs. Byte code instrumentation techniques are used to provide code coverage for selected unit tests. Direct acyclic graphs are constructed from the output traces using reverse engineered techniques. The graphs contain object method calls in a similar manner to UML Sequence Diagrams. This approach uses the results of the instrumentation to check for consistency with design generated security constraints. Furthermore this approach analyzes these views for security inconsistencies, and generates a set of recommendations. – Name: TypeDocument Label: Document Type Group: TypDoc Data: master thesis – Name: Format Label: File Description Group: SrcInfo Data: pdf – Name: Language Label: Language Group: Lang Data: English – Name: NoteTitleSource Label: Relation Group: SrcInfo Data: 2376/100631; (OCoLC)429235154; 99900525162201842; https://rex.libraries.wsu.edu/view/delivery/01ALLIANCE_WSU/12338018700001842/13338232580001842; alma:01ALLIANCE_WSU/bibs/99900525162201842 – Name: URL Label: Availability Group: URL Data: https://rex.libraries.wsu.edu/esploro/outputs/graduate/Using-code-instrumentation-for-debugging-and/99900525162201842<br />https://rex.libraries.wsu.edu/view/delivery/01ALLIANCE_WSU/12338018700001842/13338232580001842 – Name: Copyright Label: Rights Group: Cpyrght Data: Open – Name: AN Label: Accession Number Group: ID Data: edsbas.DDE66CD |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.DDE66CD |
| RecordInfo | BibRecord: BibEntity: Languages: – Text: English Subjects: – SubjectFull: Debugging in computer science--Computer programs Type: general Titles: – TitleFull: Using code instrumentation for debugging and constraint checking Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Ilas, Filaret – PersonEntity: Name: NameFull: Pilskalns, Orest Jacob IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2009 Identifiers: – Type: issn-locals Value: edsbas – Type: issn-locals Value: edsbas.oa |
| ResultId | 1 |