Formal Reasoning about Software Object Translations
Musial, Peter M.
MetadataShow full item record
In this work we examine the problem of verifying translations from outputs of one system to the inputs of another system, which we refer to as the output-to-input translation problem. We present a formalization of this problem along with a verificationmechanismbased on constraint logic programming. Composition of systems is an important issue in the software reuse domain, and has applicability in other areas of software engineering such as transformation of information fromone phase of the development process to another. Some challenges are to verify the translation mechanisms that may be needed to connect independently designed components and assess towhat degree is the consumer component functionality enabled after the composition takes place. To this end we use constraint logic programming modeling techniques. Our model allows formalization of the translation problem in the formof constraints and relations between the outputs and the inputs of involved components. Since CLP tools are computationally expensive, we identify characteristics of translation problems for which our technique is practical. We conclude with an application of our translation framework within the Documentation Driven Software Development methodology.
Showing items related by title, author, creator and subject.
Mason, Russell William (Monterey, California. Naval Postgraduate School, 1995-03);Software Fault Tree Analysis (SETA) is a technique used to analyze software for faults that could lead to hazardous conditions in systems which contain software components. A necessary element of a SETA process is the ...
An investigation of the methodology for software translation from PASCAL to C of an undocumented microcomputer program Bell, Charles W. (Monterey, California. Naval Postgraduate School, 1990-03);The purpose of this theses is to investigate software reusability applications and the practical utilization of those applications in the performance of software maintenance. The translation of a functioning program from ...
Reid, William Samuel (Monterey, California. Naval Postgraduate School, 1994-09);The Automated Code Translation Tool (ACTT) was developed at Naval Postgraduate School to partially automate the translation of Ada programs into software fault trees. The tool works as follows: 1 ). The Ada parser and ...