partial, static analyses for rev. engineering, etc

Thread View: comp.specification

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Daniel Jackson Thu, 17 Dec 1992 21:48

#412

Author: Daniel Jackson
Date: Thu, 17 Dec 1992 21:48

21 lines
1208 bytes



I'm looking for papers about applying static analysis to software
maintenance problems.  The topics I'm interested in are:

-- partial specification and partial verification schemes
-- static analysis for reverse engineering, bug detection, determining the
       scope of changes, etc.
-- application of formal methods to reverse engineering, reengineering, and
       all those other buzzwords.

I'd be very grateful for any pointers.  I'll summarize responses if there's
interest.


Please email me at daniel.jackson@cs.cmu.edu.



--Daniel Jackson

Re: partial, static analyses for rev. engineering, etc

#415

Author: Bruce Wieand
Date: Fri, 18 Dec 1992 23:46

31 lines
1850 bytes

In article <BzFB8C.Hu1.2@cs.cmu.edu> dnj+@CS.CMU.EDU (Daniel Jackson) writes:
>
>
>
>I'm looking for papers about applying static analysis to software
>maintenance problems.  The topics I'm interested in are:
>
>-- partial specification and partial verification schemes
>-- static analysis for reverse engineering, bug detection, determining the
>       scope of changes, etc.
>-- application of formal methods to reverse engineering, reengineering, and
>       all those other buzzwords.
  ...

If anyone else is interested in these subjects, they should take a look
at the QDA project at UCSD.  We have developed a method for using partial
specifications in the maintenance of assembly code.  (We call them
incremental operational specifications.)  We have produced a tool for
analyzing the specifications and have experimented with the tool on a
well-tested operational flight program for an aircraft.  The tool has
proved effective in revealing a variety of problems in the software.

The ideas that are embodied in the QDA project are several years old
and are described in several places.  The early ideas come from Howden's
book on testing.  Our latest work includes the development of a similar
tool for Ada.

Bruce Wieand

wieand@cs.ucsd.edu

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads