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

Article View: comp.specification

Article #415

Back to comp.specification Previous Next

#415

From: 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

Technical Details

Message-ID: <42714@sdcc12.ucsd.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!walter!qualcom.qualcomm.com!network.ucsd.edu!sdcc12!cs!wieand

References: <BzFB8C.Hu1.2@cs.cmu.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!walter!qualcom.qualcomm.com!network.ucsd.edu!sdcc12!cs!wieand
From: wieand@cs.ucsd.edu (Bruce Wieand)
Newsgroups: comp.specification,comp.software-eng
Subject: Re: partial, static analyses for rev. engineering, etc
Keywords: verification, analysis, maintenance, reverse engineering
Message-ID: <42714@sdcc12.ucsd.edu>
Date: 18 Dec 92 23:46:54 GMT
References: <BzFB8C.Hu1.2@cs.cmu.edu>
Sender: news@sdcc12.ucsd.edu
Followup-To: wieand@cs.ucsd.edu
Organization: =CSE Dept., U.C. San Diego
Lines: 31
Nntp-Posting-Host: beowulf.ucsd.edu

Reply to Parent Message