ఫంక్షనల్ అవసరాలను తీర్చడానికి ప్రతిపాదిత సిస్టమ్ ఆకృతీకరణ, భర్తీ భాగం, లేదా దాని సాఫ్ట్వేర్ యొక్క లక్షణాలు లేదా విధుల సామర్థ్యాన్ని సాంకేతిక ధృవీకరణ.
ధృవీకరణ కోసం వివిధ వర్గాల గుణిజాలను పరీక్షించాల్సి ఉంటుంది.