%0 Book %1 Friedman1995 %A Friedman, Jeffrey M. Voas Michael %D 1995 %I John Wiley & Sons Inc %K design-for-testability reliability safety safety-critical testability testing %T Software Assessment: Reliability, Safety, Testability %X Book Description Software Reliability is a measure of the extent to which the software meets it specified requirements. This book teaches the theory of software testability, software reliability, and software safety, and discusses the practical assessment of these important qualities. This book provides methods and techniques to guide the engineers who are responsible for creating computer programs that are integrated into engineering designs and are necessary for the designed device to function as intended in a reliable fashion. It shows the engineer how to write software that is reliable and safe especially in large complex systems. Synopsis 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.

@book{Friedman1995, abstract = {Book Description Software Reliability is a measure of the extent to which the software meets it specified requirements. This book teaches the theory of software testability, software reliability, and software safety, and discusses the practical assessment of these important qualities. This book provides methods and techniques to guide the engineers who are responsible for creating computer programs that are integrated into engineering designs and are necessary for the designed device to function as intended in a reliable fashion. It shows the engineer how to write software that is reliable and safe especially in large complex systems. Synopsis 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. }, added-at = {2010-02-16T09:20:50.000+0100}, author = {Friedman, Jeffrey M. Voas Michael}, biburl = {https://www.bibsonomy.org/bibtex/26952a2f0d296ab804737a091ceef5c74/ist_spl}, description = {Bisher das einzige Buch zu Testability von Software. Viel von dem Material ist bei NASA entstanden, daher könnte man gewisse Avionik-lastigkeit vermuten...?}, interhash = {1108a81b7a78a791ad366fa89320c22b}, intrahash = {6952a2f0d296ab804737a091ceef5c74}, keywords = {design-for-testability reliability safety safety-critical testability testing}, publisher = {John Wiley & Sons Inc}, timestamp = {2010-02-16T09:20:50.000+0100}, title = {Software Assessment: Reliability, Safety, Testability}, year = 1995 }