Software Quality

This page contains information and links related to software quality.

Introduction to Software Quality

Software Quality

Software QA and Testing Resource Center -
Bad Software - papers about software quality, e.g. Papers on the Law of Software Quality
comp.software.testing Frequently Asked Questions (FAQ) -
Software Research, Inc. - producer of software testing tools
SR/Institute's Software Quality HotList - large link list at Software Research, Inc. with everything about software testing
High Intergrity Software Systems Assurance -
Applied Testing and Technology - Software Testing Specialists -
Physikalisch Technische Bundesanstalt - Software Qualität -

Safety Critical Systems

Software Standards

UML Unified Modeling Language -
V-Modell - the V-Model Development Standards for German Federal IT-Systems (Entwicklungsstandard für IT-Systeme des Bundes) , there are also some English pages

Software Code Metrics

SXT Software Exploration Tools -
Power Software - Code Metrics, Browsing and Reverse-Engineering Tools

Programming Guidelines and Source Code Style-Guides

Industrial Strength C++ - by Mats Henricson
Programming in C++, Rules and Recommendations - made by Mats Henricson and Erik Nyquist at Ellemtel Telecommunication Systems Laboratories in 1992, this is probably the best C++ programming guideline that has influenced many other project or company specific guidelines - often copied but seldom reached
Physikalisch Technische Bundesanstalt - Software Qualität - Downloads - Programmierrichtlinien für verschiedene Programmiersprachen (C, C++, Pascal, Fortran, Visual Basic)
C/C++ Programming Styles Guides - a collection of links to many programming guide lines, style guides, complete and up-to-date
Indian Hill C Style and Coding Standards - a classic paper
C++ Programming Style Guidelines -
C++ Coding Standard -
C and C++ Style Guides -
Java Coding Standard -
Sun's Code Conventions for the Java Programming Language -

Static and Dynamic Source Code Analysis and Code Coverage Testing

[For additional information see also the Software Debugging page.]

Although modern C/C++ compilers do extensive error checking, there are many cases where additional checks are useful and necessary to find more errors or locations with questionable program constructs that need some re-thinking about their correctness or portability. The following list contains testing tools and tool manufacturers.

SXT Software Exploration Tools -
Splint - formerly known as LCLint, a tool for statically checking C programs for security vulnerabilities and coding mistakes
Systematic Program Development Group - related with LCLint
Larch/C++ Project - related with LCLint
Gimpel Software PC-lint -
Abraxas Code Check -
Centerline - developers of TestCenter, a C/C++ testt suite for static and dynamic source code debugging, includes memory leak detection and code coverage
LDRA Ltd. -
Verisity - Verification in Motion -
Reliable Software Technologies -
Rational PureCoverage -
IPL Software - Cantata, ADATest
QA Systems - QA C, QA C++
Bullseye Testing Technology - developers of C-Cover, there is also interesting backgroud info about code coverage
Testwell -
McCabe -
International Software Automation Inc. -

Magazines

[Homepage] [Haftungsausschluss]

This page has been accessed

times since December 31st, 1999.