Qualitity Assessment

• There is a critical need to produce high quality software

  • increasing safety-critical applications
  • required qualities are widely-varied

• Quality assessment must be formalized

  • facilitated with formal specifications
  • specification, design and verification technologies have not been shown to be sufficient
  • Testing is a viable approach, but it must be done systematically

V&V not restricted to

Implementation and Integration

Previous slide

Next slide

Back to first slide

View graphic version