QATestLab 21, Garmatna str., Kiev, Ukraine ph.: +38(044)277-66-61 http://qatestlab.com/ contact@qa-testlab.com
Inspection is the most generally accepted static method for error identification and removal.
There are many other different static software testing methods: •
boundary value analysis
•
software fault trees
•
algorithm analysis
•
decision table analysis
•
control and data flow analyses
•
finitestate machine and Petrinet modeling
In a like manner in adjunct to software testing, other dynamic, executionbased methods also exist for defect identification and removal. For instance, symbolic execution, simulation and prototyping can help us to identify and remove different software bugs on the early stages, before largescale testing becomes a viable alternative. But timing and performance analysis for realtime systems, accident analysis and reconstruction using software fault trees and event trees for safetycritical systems may be helpful for removing related bugs as well. Despite the fact that these operations are significant areas of product support, they are not commonly considered as a part of the traditional quality assurance activities because of the damages already done to the clients’ applications and to the software vendors’ image. Because of the advantages of dealing with troubles before product release instead of after product release, the main goal of these activities is to grant helpful info for future quality assurance activities.
(c) QATestLab, 2011
http://qatestlab.com/