Key Points


  • 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.




Design for Trustworthy Software. Tools, Techniques, and Methodology of Developing Robust Software
Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software
ISBN: 0131872508
EAN: 2147483647
Year: 2006
Pages: 394

flylib.com © 2008-2017.
If you may any questions please contact us: flylib@qtcs.net