Home > C,C++ > Verification and Testing

Verification and Testing

Related Categories

Formal Methods  
Learn about formal methods. Videos, examples, and documentation discuss how to apply the theoretical computer science fundamentals of abstract interpretation based formal methods to solve difficult problems in software verification.
Submitted: Jan 03, 2012
Software QA  
Learn how to perform software QA (quality assurance). Resources include videos, examples, and documentation about using software QA to analyze and check specific attributes or properties of software to improve software quality.
Submitted: Jan 03, 2012
Source Code Analysis  
Learn how to perform source code analysis. Resources include videos, examples, and documentation covering the use of source code analysis to improve software quality by verifying source code without execution.
Submitted: Jan 03, 2012
Code Review  
Explore tools for more efficient code reviews for embedded software. Resources include videos, examples, and documentation on the code review process, measures to improve the quality of the software, and ways to produce code that’s easy to maintain.
Submitted: Jan 03, 2012
Abstract Interpretation  
Learn about abstract interpretation and how to use this formal methods-based technique. Videos, examples, and documentation discuss usingabstract interpretation to produce a mathematical abstraction of software and interpret the abstraction to verify software quality.
Submitted: Jan 03, 2012
Cyclomatic Complexity  
Learn how to generate cyclomatic complexity metrics. Videos, examples, and documentation discuss how to measure cyclomatic complexity and why this is an important aspect of determining the quality of software and a means of improving quality.
Submitted: Jan 03, 2012
Software Metrics  
Learn how to generate software metrics. Videos, examples, and documentation discuss software metrics as an important aspect of determining the quality of software. Use them for guidance at various stages in the software development process.
Submitted: Jan 03, 2012
Panorama  
This is a visual environment for Java/C/C++ software testing, quality assurance, documentation, and maintenance.
Submitted: Feb 23, 2000
LintPlus 5 source code analyzer for C  
Cleanscape LintPlus is a static source code analysis tool for ANCI C that reduces your organizational exposure to risks from latent software problems by automatically identifying problems at their source -- in the C source code prior to compiling or executing programs. From its first use, this venerable C source code analysis tool can save you hundreds of hours in code debugging, greatly reducing resources required for C testing efforts.
Submitted: Sep 09, 2002
LCLint  
LCLint is a tool for statically checking C programs. With minimal effort, LCLint can be used as a better lint. If additional effort is invested adding annotations to programs, LCLint can perform stronger checks than can be done by any standard lint.
Submitted: Feb 23, 2000
Proform Software  
NewDAS is a complex system for the aeronautical industry, provide the possibility of visualisation, analysis and recalculation of the data for aero engines testing.
Submitted: Sep 09, 2005



  Privacy - Trademarks - Feedback - Terms of Use Copyright The MathWorks, Inc.