Matches in SemOpenAlex for { <https://semopenalex.org/work/W2467847029> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2467847029 abstract "During software development and maintenance, programmers often face the problem of demonstrating that numerous modules of a large, complex software system fit together properly and function correctly as a single program. This problem can be addressed by integration analysis and testing. Previous work in this arena focuses on testing which is used to confirm the functionality of combined modules of a program. However module interface inconsistency can be better addressed as an analysis rather than a testing problem.This thesis describes a systematic approach to software integration analysis called Quick Defect Analysis. QDA is both a general model of integration analysis and a collection of specific methods and tools that implement different kinds of analysis for different kinds of program properties. As a general model, QDA supports a comments analysis process based on hypotheses and assertions. It allows the user to annotate a program with assertions to create an abstract program model, and with hypotheses to represent program properties that are identified as needing verification. The hypotheses are verified against the abstract program model and its associated assertions.Two classes of program properties are identified: object state and event sequence. Methods and tools for facilitating the analysis of these properties are developed. In this thesis, the features of the previously described Object Property Analysis systems are summarized, and the properties of the previously undescribed Event Sequence Analysis systems are presented. OPA systems allow the description and verification of object properties and their relationships. ESA systems support the analysis of events and event sequencing properties which represent various types of operations in a program. Each system consists of a specification language for describing assertions and hypotheses and an analyzer for verifying the hypotheses.The systems have been successfully applied to published and production programs written in a range of programming languages. Previously undetected program faults were revealed in every program during the experiments indicating the effectiveness of the systems. Experimentation with the general QDA model and the specific systems indicates that QDA is a viable method for integration analysis and helps to fill void in software verification and validation methodology." @default.
- W2467847029 created "2016-07-22" @default.
- W2467847029 creator A5088163334 @default.
- W2467847029 date "1996-10-03" @default.
- W2467847029 modified "2023-09-23" @default.
- W2467847029 title "Software integration analysis" @default.
- W2467847029 hasPublicationYear "1996" @default.
- W2467847029 type Work @default.
- W2467847029 sameAs 2467847029 @default.
- W2467847029 citedByCount "0" @default.
- W2467847029 crossrefType "journal-article" @default.
- W2467847029 hasAuthorship W2467847029A5088163334 @default.
- W2467847029 hasConcept C107683887 @default.
- W2467847029 hasConcept C113843644 @default.
- W2467847029 hasConcept C115903868 @default.
- W2467847029 hasConcept C121332964 @default.
- W2467847029 hasConcept C124101348 @default.
- W2467847029 hasConcept C129307140 @default.
- W2467847029 hasConcept C149091818 @default.
- W2467847029 hasConcept C157915830 @default.
- W2467847029 hasConcept C173608175 @default.
- W2467847029 hasConcept C199360897 @default.
- W2467847029 hasConcept C2777904410 @default.
- W2467847029 hasConcept C2778112365 @default.
- W2467847029 hasConcept C2779662365 @default.
- W2467847029 hasConcept C41008148 @default.
- W2467847029 hasConcept C54355233 @default.
- W2467847029 hasConcept C62520636 @default.
- W2467847029 hasConcept C86803240 @default.
- W2467847029 hasConcept C98045186 @default.
- W2467847029 hasConcept C98183937 @default.
- W2467847029 hasConceptScore W2467847029C107683887 @default.
- W2467847029 hasConceptScore W2467847029C113843644 @default.
- W2467847029 hasConceptScore W2467847029C115903868 @default.
- W2467847029 hasConceptScore W2467847029C121332964 @default.
- W2467847029 hasConceptScore W2467847029C124101348 @default.
- W2467847029 hasConceptScore W2467847029C129307140 @default.
- W2467847029 hasConceptScore W2467847029C149091818 @default.
- W2467847029 hasConceptScore W2467847029C157915830 @default.
- W2467847029 hasConceptScore W2467847029C173608175 @default.
- W2467847029 hasConceptScore W2467847029C199360897 @default.
- W2467847029 hasConceptScore W2467847029C2777904410 @default.
- W2467847029 hasConceptScore W2467847029C2778112365 @default.
- W2467847029 hasConceptScore W2467847029C2779662365 @default.
- W2467847029 hasConceptScore W2467847029C41008148 @default.
- W2467847029 hasConceptScore W2467847029C54355233 @default.
- W2467847029 hasConceptScore W2467847029C62520636 @default.
- W2467847029 hasConceptScore W2467847029C86803240 @default.
- W2467847029 hasConceptScore W2467847029C98045186 @default.
- W2467847029 hasConceptScore W2467847029C98183937 @default.
- W2467847029 hasOpenAccess W2467847029 @default.
- W2467847029 hasRelatedWork W127224647 @default.
- W2467847029 hasRelatedWork W1766902176 @default.
- W2467847029 hasRelatedWork W1835981401 @default.
- W2467847029 hasRelatedWork W194105511 @default.
- W2467847029 hasRelatedWork W1968550033 @default.
- W2467847029 hasRelatedWork W2011312506 @default.
- W2467847029 hasRelatedWork W2040277814 @default.
- W2467847029 hasRelatedWork W2101748541 @default.
- W2467847029 hasRelatedWork W2102556208 @default.
- W2467847029 hasRelatedWork W2122708715 @default.
- W2467847029 hasRelatedWork W2133518331 @default.
- W2467847029 hasRelatedWork W2153180564 @default.
- W2467847029 hasRelatedWork W2159120852 @default.
- W2467847029 hasRelatedWork W2171207016 @default.
- W2467847029 hasRelatedWork W2520236007 @default.
- W2467847029 hasRelatedWork W2804125737 @default.
- W2467847029 hasRelatedWork W3021006199 @default.
- W2467847029 hasRelatedWork W3130059429 @default.
- W2467847029 hasRelatedWork W53522821 @default.
- W2467847029 hasRelatedWork W256214007 @default.
- W2467847029 isParatext "false" @default.
- W2467847029 isRetracted "false" @default.
- W2467847029 magId "2467847029" @default.
- W2467847029 workType "article" @default.