Loading...
Please wait, while we are loading the content...
Similar Documents
V&v through inconsistency tracking and analysis (1998).
| Content Provider | CiteSeerX |
|---|---|
| Author | Easterbrook, Steve Callahan, John |
| Abstract | In this paper we describe a research agenda for a study into the use of inconsistency analysis as a tool for software V&V, and in particular, the use of category theory as a basis for modeling consistency relationships between the various artifacts of software development, including specifications, design, test cases, etc. Our expectation is that inconsistency analysis is fundamental to much of the work of V&V, and that a systematic approach will have impacts across a wide range of V&V tasks. Two goals are described: an account of the contribution of inconsistency analysis to various V&V analyses, and the development of a formal framework for inconsistency analysis. Our approach to the development of the latter is through the refinement of the viewpoint framework using the language of category theory. We discuss the relationship between specification morphisms, as conventionally conceived in work on composition of specifications, and inter-viewpoint consistency relationships. We conclu... |
| File Format | |
| Publisher Date | 1998-01-01 |
| Access Restriction | Open |
| Subject Keyword | Inconsistency Analysis Inconsistency Tracking Category Theory Software Development Inter-viewpoint Consistency Relationship Research Agenda Consistency Relationship Viewpoint Framework Specification Morphisms Systematic Approach Various Artifact Test Case Formal Framework Wide Range |
| Content Type | Text |
| Resource Type | Article |
