home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / specific / 591 < prev    next >
Encoding:
Internet Message Format  |  1992-12-21  |  1.8 KB
  1. Xref: sparky comp.specification:591 comp.software-eng:5086
  2. Path: sparky!uunet!walter!qualcom.qualcomm.com!network.ucsd.edu!sdcc12!cs!wieand
  3. From: wieand@cs.ucsd.edu (Bruce Wieand)
  4. Newsgroups: comp.specification,comp.software-eng
  5. Subject: Re: partial, static analyses for rev. engineering, etc
  6. Keywords: verification, analysis, maintenance, reverse engineering
  7. Message-ID: <42714@sdcc12.ucsd.edu>
  8. Date: 18 Dec 92 23:46:54 GMT
  9. References: <BzFB8C.Hu1.2@cs.cmu.edu>
  10. Sender: news@sdcc12.ucsd.edu
  11. Followup-To: wieand@cs.ucsd.edu
  12. Organization: =CSE Dept., U.C. San Diego
  13. Lines: 31
  14. Nntp-Posting-Host: beowulf.ucsd.edu
  15.  
  16. In article <BzFB8C.Hu1.2@cs.cmu.edu> dnj+@CS.CMU.EDU (Daniel Jackson) writes:
  17. >
  18. >
  19. >
  20. >I'm looking for papers about applying static analysis to software
  21. >maintenance problems.  The topics I'm interested in are:
  22. >
  23. >-- partial specification and partial verification schemes
  24. >-- static analysis for reverse engineering, bug detection, determining the
  25. >       scope of changes, etc.
  26. >-- application of formal methods to reverse engineering, reengineering, and
  27. >       all those other buzzwords.
  28.   ...
  29.  
  30.  
  31. If anyone else is interested in these subjects, they should take a look
  32. at the QDA project at UCSD.  We have developed a method for using partial
  33. specifications in the maintenance of assembly code.  (We call them
  34. incremental operational specifications.)  We have produced a tool for
  35. analyzing the specifications and have experimented with the tool on a
  36. well-tested operational flight program for an aircraft.  The tool has
  37. proved effective in revealing a variety of problems in the software.
  38.  
  39. The ideas that are embodied in the QDA project are several years old
  40. and are described in several places.  The early ideas come from Howden's
  41. book on testing.  Our latest work includes the development of a similar
  42. tool for Ada.
  43.  
  44. Bruce Wieand
  45.  
  46. wieand@cs.ucsd.edu
  47.