Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software

  • The software development process includes testing, verification, validation, and code debugging to ensure proper function and reliability.

  • Verification is the process of ensuring that programs meet their design specifications.

  • A case study demonstrated the use of Taguchi Methods for program verification.

  • Validation is the process of ensuring that a program meets its functional specification.

  • A case study demonstrated the use of Taguchi Methods for program validation.

  • Seven types of software tests verify and validate software.

  • It is impossible to explicitly test every execution path through a large program.

  • Black-box testing strategies test the functionality of each unit of code.

  • White-box testing strategies test the fidelity to design for each unit of code.

  • Integration testing tests the interoperability of tested units of code.

  • Bottom-up integration testing is an intuitive process of testing assemblies as the system is built.

  • Top-down testing is a structured, algorithmic process that begins with the control program coded as a series of stubs or pseudo-programs that are later replaced in a top-down fashion by actual code.

  • Regression testing is employed to ensure that new versions do not lose functionality over previous ones.

Категории