Software Engineering White Papers
Software Applications Validation Environment: SAVE
Overview The most vexing problem facing the software industry today is ensuring that complex heterogeneous client-server applications are defect-free. Fixing software defects in the field typically costs many times that prior to deployment. Customers becoming increasingly wary of security, privacy, and software safety may stop conducting business online. Current software validation techniques are largely inadequate. Conventional testing techniques are manually intensive, with unknown or poor functional (specification) coverage requiring the user to insert assertions in the source code. While formal verification techniques such as model checking offer 100% functional coverage, they cannot handle more than a few thousand lines of code.
| Publisher | Fujitsu | File Format | |
|---|---|---|---|
| Date Published | October 2007 | ||
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful? 3 out of 4 users found this white paper useful
White Paper RSS
Download
Register
