Publication | Closed Access
Software testability: the new verification
327
Citations
6
References
1995
Year
Software MaintenanceEngineeringVerificationComputer-aided VerificationSoftware EngineeringSoftware AnalysisFormal VerificationModel-based TestingSystems EngineeringSemi-formal VerificationTestabilityReliabilityIncorrect CodeSoftware TestabilitySystem TestingComputer ScienceMost VerificationSoftware VerificationProgram AnalysisAutomated ReasoningSoftware TestingFormal MethodsCode Validation
Most verification is concerned with finding incorrect code. Instead, this view looks at the probability that the code will fail if it is faulty. The authors present the benefits of their approach, describe how to design for it, and show how to measure testability through sensitivity analysis.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1