Purchase Solution

Software engineering - Quality Assurance Aspect

Not what you're looking for?

Ask Custom Question

Hi,
I need assistance in writing on the following problem please.

Using a commercial software package as an example, discuss which properties could be verified and which properties could be validated. Give one example to illustrate that some properties that can only be validated originally can be approximately transformed to properties that could be verified.

Regards

Purchase this Solution

Solution Summary

Using a commercial software package as an example, discuss which properties could be verified and which properties could be validated. Give one example to illustrate that some properties that can only be validated originally can be approximately transformed to properties that could be verified.

Solution Preview

Let us look at the popular CAD (Computer Aided Design) software package Unigraphics (NX 4.0). This software is used extensively for making computer models of buildings and structures, such bridges, components of structures like nuts, bolts, etc. electronic pieces, kitchen appliances and anything tangible.

Verification is the process to check whether ...

Purchase this Solution


Free BrainMass Quizzes
C# variables and classes

This quiz contains questions about C# classes and variables.

C++ Operators

This quiz tests a student's knowledge about C++ operators.

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.

Basic Computer Terms

We use many basic terms like bit, pixel in our usual conversations about computers. Are we aware of what these mean? This little quiz is an attempt towards discovering that.

Javscript Basics

Quiz on basics of javascript programming language.