According to the undecidability theorem, most software quality properties are not provable. Therefore, what kind of testing techniques do we use to achieve software quality? In 1931 the mathematician and ....
Details >>
14
Jan
2007
Testing Techniques to Achieve Software Quality
During a software development life cycle, when do verification and validation start? When are they complete? Software verification as explained by Livadas (2007) is a process in which we check ....
Details >>
20
Nov
2006
Deprivations of Software Errors
Software errors are expensive. It has been estimated that in North America perhaps $3 billion a year is lost in “crashes”, with the average cost of a major outage running ....
Details >>
18
Nov
2006
Introduction to Program Verification
Brief overview Every program implicitly asserts a theorem to the effect that if certain input conditions are met then the program will do what its specifications or documentation says it ....
Details >>
10
Jan
2006
Quality Assurance Techniques
WELCOME to this module on Management of QA and Software Testing. Over the next few weeks we will be exploring, thinking about, and discussing ideas concerning the principles and practice ....
Details >>
