Software Analysis: A Roadmap

Key Research Zeiger

* Überprüfen der Konformität von Code-Designs dürfte ein zentrales Problem für die Software-Analyse.
* Tools, die Entwürfe zu analysieren in ihrem eigenen Recht an Bedeutung zunehmen.
* Abstract Design-Modelle sind die Dreh-und Angelpunkt für die Nutzung Code analysiert in diesem Zusammenhang: sie machen nicht nur die Analyse-Ergebnisse mehr relevant, sondern kann die Analyse konzentrieren und erweitern werden.
* Beide leistungsstarke Tools, die komplexe Eigenschaften und einfachere Werkzeuge, die schnelle, aber grobe Ergebnisse liefern wird nützlich sein überprüfen können.
* Viele Arten der Analyse eine Rolle spielen: Statik und Dynamik, Klang und ungesund, Betriebs-und deklarative.




Links

Dataflow and Type Analysis

McGill Compiler/Architecture Testbed
www-acaps.cs.mcgill.ca/info/McCAT/McCAT.html

The Berkeley ANalysis Engine
www.cs.berkeley.edu/Research/Aiken/bane.html

Program Slicing Project, Wisconsin
http://www.cs.wisc.edu/wpis/html/#shape_analysis

Mooly Sagiv, Tel Aviv
www.math.tau.ac.il/~sagiv

The Smart Programming Environment Project at Rice
http://www.cs.rice.edu/~matthias/SmartPE/

Programming Languages Research Group at Rutgers
http://www.prolangs.rutgers.edu/

Mary Lou Soffa
http://www.cs.pitt.edu/~soffa/research.html

Advanced Programming Languages, Microsoft Research
http://www.research.microsoft.com/research/apl/

Region Inference, DIKU, University of Copenhagen
http://www.diku.dk/users/tofte/publ/publ.html

Flex Compiler Project, MIT
http://www.flex-compiler.lcs.mit.edu/

Theorem Proving

Extended Static Checker, Compaq SRC
http://research.compaq.com/SRC/esc/Esc.html

PVS
http://pvs.csl.sri.com/

Model Checking

Model Checking at CMU
http://www.cs.cmu.edu/~modelcheck/

Microsoft SLAM Project
http://research.microsoft.com/projects/slam/

SPIN Model Checker
http://netlib.bell-labs.com/netlib/spin/whatispin.html

Bandera Project
http://www.cis.ksu.edu/santos/bandera/

Alcoa/Alloy, MIT
http://sdg.lcs.mit.edu/alcoa

LTSA: Labelled Transition System Analyser, Imperial College
http://www-dse.doc.ic.ac.uk/concurrency/ltsa/LTSA.html

Reverse Engineering

David Notkin
http://www.cs.washington.edu/homes/notkin/research.html

Bill Griswold
http://www-cse.ucsd.edu/users/wgg/

Gail Murphy
http://www.cs.ubc.ca/spider/murphy/research.htm

Dynamic Analysis

Michael Ernst
http://www.cs.washington.edu/homes/mernst/

Tom Ball, Microsoft
http://www.research.microsoft.com/~tball/

Miscellaneous

Formal Methods Archive
http://archive.comlab.ox.ac.uk/formal-methods.html



-> zurück zur Startseite <- | -> Die Zukunft des Software Engineering <- | ->Impressum <-