Adequate Reverse Engineering
نویسندگان
چکیده
Reverse engineering a program constructs a highlevel representation suitable for various software development purposes such as documentation or reengineering. Unfortunately however, there are no established guidelines to assess the adequacy of such a representation. We propose two such criteria, completeness and accuracy, and show how they can be determined during the course of reversing the representation. A representation is successfully reversed when it is given as input to a suitable code generator, and a program equivalent to the original is produced. To explore this idea, we reverse engineer a small but complex numerical application, represent our understanding using algebraic specifications, and then use a code generator to produce code from the specification. We discuss the strengths and weaknesses of the approach as well as alternative approaches to reverse engineering adequacy.
منابع مشابه
Reverse Engineering of Agricultural Machinery: A Key to Food Sufficiency in Nigeria
Agriculture employs about three-quarter of Nigeria's workforce and yet food sufficiency is a challenge in the country. This is largely due to poor and outdated pre-harvest and post-harvest farming practices. The land fallow system is still been practised as fertiliser production in the country is grossly inadequate and expensive. The few available post-harvest processing facilities are faced wi...
متن کاملSource Code Independent Reverse Engineering of Dynamic Web Sites
This paper describes source code independent reverse engineering of dynamic web sites. The tool Revangie builds a form-oriented analysis model solely from the usage of a web application. The recovered models can be, for example, exploited for the purpose of requirements engineering and load test development. Revangie can explore a given web application fully automatically or can passively recor...
متن کاملConcepts : Identifying Building Blocks of “ Religion ”
Reverse Engineering Complex Cultural Concepts: Identifying Building Blocks of “Religion” Ann Taves ABSTRACT: Researchers have not yet done an adequate job of reverse engineering the complex cultural concepts of religion and spirituality in a way that allows scientists to operationalize component parts and historians of religion to consider how the component parts have been synthesized into larg...
متن کاملInducing Models of Human Control
A new model of human control skills is proposed and empirically evaluated. It is called the incremental correction model and is more adequate for reverse engineering human control skills than any other previously proposed models. The experimental results show a considerable increase in robustness of the controllers that use the new model. The new model also attenuates the problem of unbalanced ...
متن کاملReverse Engineering Non-Linear Gene Regulatory Networks Based on the Bacteriophage λ cI Circuit
The ability to measure the transcriptional response of cells has drawn much attention to the underlying transcriptional networks. To untangle the network, numerous models with corresponding reverse engineering methods have been applied. In this work, we propose a non-linear model with adjustable degrees of complexity. The corresponding reverse engineering method uses a probabilistic scheme to r...
متن کاملReverse engineering of a symmetric object
This paper presents a procedure to find an approximate symmetry plane from a point cloud for the reverse engineering of a symmetric object. Even if, the point cloud acquired from a symmetric object does not have exact symmetry planes in the mathematical sense, the data usually carries adequate symmetric information for reverse engineering. To generate a CAD model satisfying the original aesthet...
متن کامل