Software Assessment

Software in medical devices, aircraft, industrial plants, trains and cars can cause serious harm to life, limb, and property in the event of a software failure or incorrect software requirements. The traditional way to verify if the software is both reliable and safe is through testing, but a program can only accomplish so much. The solution is to employ intelligent testing. This study explores the theoretical underpinnings of software testability, software reliability and software safety, and discusses the practical assessment of these important software qualities. While the emphasis is on assessment of these qualities, the achievement of these qualities is also discussed.