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.
Did you find this white paper useful?
8 out of 16 users found this white paper useful
Related white papers
10 Keys to Successful Scrum Adoption
Scrum is a project management approach for Agile software development and is the most commonly adopted Agile approach in the industry today. Construx has worked with hundreds of organizations to...
White paper: The Future of Software Delivery
This paper provides a brief description of past software delivery issues that have contributed to the current environment; identification of key trends that drive our industry today; and an outline...
Podcast: Building the James Webb Space Telescope
When the Webb Telescope takes off for its perch in space, it will be operated by some 200,000 lines of software code. Since a system failure would involve a...
Outsourcing Testing – An overview
With competitive pressures compelling software development firms to cut costs and reduce time-to-market, there is a growing trend among developers to outsource their application testing processes to offshore IT service...
IBM Rational ClearCase VOB Troubleshooting
IBM Rational ClearCase VOBs use a proprietary database format, the Raima database. Troubleshooting VOB databases can be difficult. This white paper describes how to troubleshoot ClearCase VOB database problems and...
Optimizing Agile for Your Organization
Many organizations are interested in becoming Agile but wonder where to start. They want to ensure that their Agile adoption will achieve the desired benefits, goals, and objectives. This white...
Developing an Open Source Strategy to Accelerate Software Development
Open Source software can accelerate software development and cut costs. Today there are billions of lines of open source freely available for download off the Internet, and developers are especially...
