एक औपचारिक प ् रदर ् शन है कि तंत ् र या घटक अपनी निर ् दिष ् ट आवश ् यकताओं के साथ अनुपालन करता है और परिचालन उपयोग के लिए स ् वीकार ् य है .
परिचालन उपयोग और गैर-परिचालन उपयोग के लिए अलग-अलग निरीक ् षण हैं .