Alex Quilici. A Memory-Based Approach to Recognizing Program Plans. Communications of the ACM, 37(5):84--93, May 1994.  Home/Search   Document Not in Database   Summary   ACM   TOC   Related Articles   Check

....Transformation Translation Plan Based Figure 1. A Taxonomy of Reverse Engineering Techniques fying the plan can be located in contiguous (localized) or non contiguous (de localized) sequences of code [11] To date, most plan based approaches have been developed by research organizations [12, 13, 14], although some industrial adoption of this approach is occurring [15] A parsing based approach is one in which a program is analyzed using the properties of the syntactic structure of a programming language. In general, the parsing based approach is used to construct a high level structural ....

....the most platforms. Among the techniques used, parsing based is the most popular. Of note is the fact that the Software Refinery supports the use of transformations although the builtin tools do not use formal transformation as an analysis PA = PAT [29] CS = COBOL SRE [13, 30] DE = DECODE [12] LT = LANTRN [14] MA = Maintainer s Assistant [20, 31, 32, 33] RE = REDO Toolset [21] RI = Rigi [18, 34] AS = AutoSpec [22, 35] RM = RMTool [19, 36] Table 3. Index of Research Tools technique. Finally, of all the commercial tools, only the Xinotech tool uses a plan based approach. SR VR 4D XI LS ....

Alex Quilici. A Memory-Based Approach to Recognizing Program Plans. Communications of the ACM, 37(5):84--93, May 1994.

....predicate transformer can only be used as a guideline for constructing formal specifications. That is, wp cannot be used to derive postconditions for program code. 6 Conclusions and Future Investigations Many different approaches for reverse engineering have been suggested in the literature [18, 19, 20, 21, 22]. The availability of such approaches provides the opportunity to study the effect of their combination. In our previous investigations, we have developed a formal approach for reverse engineering [4, 5, 6] When applied as a standalone technique, the complexity of this approach is unmanageable. ....

Alex Quilici. A Memory-Based Approach to Recognizing Program Plans. Communications of the ACM, 37(5):84--93, May 1994.

....in the statement at line 27 is dependent on the result of the if fi statement. Hence, the specification states that CV3 can take the value cnst4 or cnst5. 5. Related Work Many techniques have been suggested for addressing reverse engineering and program understanding including plan abstraction [11], formal program transformation [14] and structural abstraction [13] Although these approaches support automated program understanding, formal treatment of pointers is either not addressed or is addressed at a level of granularity that may not reflect the actual behavior of the program. The ....

A. Quilici. A Memory-Based Approach to Recognizing Program Plans. Communications of the ACM, 37(5):84--93, May 1994.

....In addition, our primary goal is to use partial order matching operators to generalize specifications for purposes of reverse engineering. Other approaches to reverse engineering focus on the construction of specifications, both informal and formal, and are based on the identification of plans [36], the construction of high level structural specifications such as data flow and call diagrams [37] or transformation of programs into specifications [38, 39] Of these techniques, the approach proposed by Baxter and Mechlich [39] is the most closely related. They suggest an approach to reverse ....

.... [44] A program plan can be localized or de localized in the sense that the code recognized as satisfying the plan can be located in contiguous (localized) or non contiguous (de localized) sequences of code [65] To date, most plan based approaches have been developed by research organizations [36, 66, 67], although some industrial adoption of this approach is occurring [68] A parsing based approach is one in which a program is analyzed using the properties of the syntactic structure of a language. In general, the parsing based approach is used to construct a high level structural abstraction of ....

[Article contains additional citation context not shown here]

A. Quilici, "A Memory-Based Approach to Recognizing Program Plans," Communications of the ACM, vol. 37, pp. 84--93, May 1994.

....In addition, our primary goal is to use partial order matching operators to generalize specifications for purposes of reverse engineering. Other approaches to reverse engineering focus on the construction of specifications, both informal and formal, and are based on the identification of plans [17] formal methods [2, 21] and transformation of programs into specifications [1] Baxter and Mehlich [1] suggest an approach to reverse engineering using backward transformation where a series of transformations (semantic preserving rewrite rules) similar to those used in forward transformation, ....

A. Quilici. A Memory-Based Approach to Recognizing Program Plans. Communications of the ACM, 37(5):84--93, May 1994.

....In contrast, our approach is based on the use of program translation, where an atomic set of rules is used to rigorously derive specifications. Approaches to reverse engineering focus on the construction of specifications, both informal and formal, and are based on the identification of plans [37], the construction of high level structural specifications such as data flow and call diagrams [38] or transformation of programs into specifications [39, 40] The Rigi system [38] is targeted towards the construction of structural abstractions in order to facilitate program understanding. In the ....

Alex Quilici. A Memory-Based Approach to Recognizing Program Plans. Communications of the ACM, 37(5):84--93, May 1994.

....Design Implementation System A System B Figure 2: Project Context Diagram 4.2 Multi level Approach to Design Recovery Several techniques have been suggested for recovering designs from existing systems. These techniques range from formal approaches [9] to semi formal functional abstraction [10], and structural abstraction [11] The representations constructed by these techniques are often biased by the implementations, and as such, do not always correspond to existing high level models. The method used to perform the case study described in this paper is based on a combined top down and ....

....support reengineering can be inhibiting. In order to address the tools issue, we are investigating the creation of a maintenance workbench that incorporates the use of several classes of support tools including those that produce and verify structural abstractions [15] and functional abstractions [10, 21]. Software engineering courses in a typical undergraduate program focus mainly upon the construction component of the software development lifecycle. In order to better prepare the undergraduates with the inevitable software maintenance activity, we are investigating the creation of software ....

A. Quilici, "A Memory-Based Approach to Recognizing Program Plans," Communications of the ACM, vol. 37, pp. 84--93, May 1994.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC