Purchase Solution

Software verification and performance

Not what you're looking for?

Ask Custom Question

This article describes why verification and testing is important in the performance of a software system.

Purchase this Solution

Solution Summary

This article speaks about software verification and performance and the various tools that could be used for the purpose of testing.

Solution Preview

Software Verification and Performance

Machines operate on instructions written by humans, and there are bound to be errors, unintentional and undetectable. Formal program verification techniques have not been refined as such that they can be applied to general applications with ease. (Brookshear 2006, p.241) Edsger Dijkstra wrote, "Testing can only prove the presence of errors, not their absence." The main point here is to emphasize that even the future does not promise complete automatization of error detection in applications, although there will be tools developed every now and then to detect and kill the errors that weaken software. The best approach would be to test every segment of code as early as possible with all combinations of tests (one, few and several test case scenarios both resulting in success and failure of code). In addition to this, software must be verified and tested on an individual and integral leve which is already happening. To begin with, ...

Purchase this Solution


Free BrainMass Quizzes
Inserting and deleting in a linked list

This quiz tests your understanding of how to insert and delete elements in a linked list. Understanding of the use of linked lists, and the related performance aspects, is an important fundamental skill of computer science data structures.

C# variables and classes

This quiz contains questions about C# classes and variables.

Basic UNIX commands

Use this quiz to check your knowledge of a few common UNIX commands. The quiz covers some of the most essential UNIX commands and their basic usage. If you can pass this quiz then you are clearly on your way to becoming an effective UNIX command line user.

Word 2010: Tables

Have you never worked with Tables in Word 2010? Maybe it has been a while since you have used a Table in Word and you need to brush up on your skills. Several keywords and popular options are discussed as you go through this quiz.

Word 2010: Table of Contents

Ever wondered where a Table of Contents in a Word document comes from? Maybe you need a refresher on the topic? This quiz will remind you of the keywords and options used when working with a T.O.C. in Word 2010.