Share
Explore BrainMass

Software engineering - Quality Assurance Aspect

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

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 ...

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.

$2.19