Verification and validation of computer simulation models
துல்லியமான மற்றும் நம்பகமான மாதிரியை உருவாக்கும் இறுதி குறிக்கோளுடன் ஒரு உருவகப்படுத்துதல் மாதிரியின் வளர்ச்சியின் போது கணினி உருவகப்படுத்துதல் மாதிரிகளின் சரிபார்ப்பு மற்றும் சரிபார்ப்பு நடத்தப்படுகிறது. "சிக்கல்களைத் தீர்ப்பதற்கும் முடிவெடுப்பதற்கும் உருவகப்படுத்துதல் மாதிரிகள் பெருகிய முறையில் பயன்படுத்தப்படுகின்றன. இந்த மாதிரிகளின் உருவாக்குநர்கள் மற்றும் பயனர்கள், இந்த மாதிரிகளின் முடிவுகளிலிருந்து பெறப்பட்ட தகவல்களைப் பயன்படுத்தும் முடிவெடுப்பவர்கள் மற்றும் அத்தகைய மாதிரிகளின் அடிப்படையில் முடிவுகளால் பாதிக்கப்பட்ட தனிநபர்கள் அனைவரும் ஒரு மாதிரியும் அதன் முடிவுகளும் "சரியானவையா" என்பதில் சரியாக அக்கறை கொண்டுள்ளனர். உருவகப்படுத்துதல் மாதிரியின் சரிபார்ப்பு மற்றும் சரிபார்ப்பு மூலம் இந்த கவலை தீர்க்கப்படுகிறது. உருவகப்படுத்துதல் மாதிரிகள் நிஜ உலக அமைப்புகளின் தோராயமான பிரதிபலிப்புகள் மற்றும் அவை ஒருபோதும் நிஜ உலக அமைப்பை சரியாக பின்பற்றுவதில்லை. இதன் காரணமாக, மாதிரியின் நோக்கம் அல்லது பயன்பாட்டிற்குத் தேவையான அளவிற்கு ஒரு மாதிரி சரிபார்க்கப்பட்டு சரிபார்க்கப்பட வேண்டும். செயல்பாட்டு விவரக்குறிப்புகள் ஆவணப்படுத்தப்பட்டு ஆரம்ப மாதிரி மேம்பாடு முடிந்த பிறகு ஒரு உருவகப்படுத்துதல் மாதிரியின் சரிபார்ப்பு மற்றும் சரிபார்ப்பு தொடங்குகிறது. சரிபார்ப்பு மற்றும் சரிபார்ப்பு என்பது ஒரு மாதிரியின் வளர்ச்சி முழுவதும் நடைபெறும் ஒரு மறு செய்கை செயல்முறையாகும். கணினி உருவகப்படுத்துதலின் சூழலில், ஒரு மாதிரியின் சரிபார்ப்பு என்பது கருத்தியல் மாதிரியைப் பொறுத்தவரை அது சரியாக செயல்படுத்தப்பட்டுள்ளது என்பதை உறுதிப்படுத்தும் செயல்முறையாகும் (இது பயன்பாட்டின் கொடுக்கப்பட்ட நோக்கத்திற்கு ஏற்றுக்கொள்ளக்கூடியதாகக் கருதப்படும் விவரக்குறிப்புகள் மற்றும் அனுமானங்களுடன் பொருந்துகிறது). சரிபார்ப்பின் போது, மாதிரியை செயல்படுத்துவதில் உள்ள பிழைகளைக் கண்டறிந்து சரிசெய்ய மாதிரி சோதிக்கப்படுகிறது. மாதிரி கருத்தாக்கத்தைப் பொறுத்தவரை மாதிரியின் விவரக்குறிப்புகள் மற்றும் அனுமானங்களுடன் பொருந்துகிறது என்பதை உறுதிப்படுத்த பல்வேறு செயல்முறைகள் மற்றும் நுட்பங்கள் பயன்படுத்தப்படுகின்றன. மாதிரி சரிபார்ப்பின் நோக்கம் மாதிரியின் அமலாக்கம் சரியானதா என்பதை உறுதி செய்வதாகும். ஒரு மாதிரியை சரிபார்க்க பல நுட்பங்கள் பயன்படுத்தப்படலாம். ஒரு நிபுணரால் மாதிரியை சரிபார்ப்பது, தர்க்கரீதியாக சாத்தியமான ஒவ்வொரு செயலையும் உள்ளடக்கிய தர்க்க ஓட்ட வரைபடங்களை உருவாக்குவது, உள்ளீட்டு அளவுருக்களின் பல்வேறு அமைப்புகளின் கீழ் நியாயத்தன்மைக்காக மாதிரி வெளியீட்டை ஆராய்வது மற்றும் ஒரு ஊடாடும் பிழைத்திருத்தத்தைப் பயன்படுத்துவது ஆகியவை இதில் அடங்கும், ஆனால் அவை மட்டுமல்ல. மென்பொருள் சரிபார்ப்புக்கு பயன்படுத்தப்படும் பல மென்பொருள் பொறியியல் நுட்பங்கள் உருவகப்படுத்துதல் மாதிரி சரிபார்ப்புக்கு பொருந்தும். சரிபார்ப்பு சரிபார்ப்பு உண்மையான அமைப்பின் மாதிரியின் பிரதிநிதித்துவத்தின் துல்லியத்தை சரிபார்க்கிறது. மாதிரி சரிபார்ப்பு என்பது "ஒரு கணினிமயமாக்கப்பட்ட மாதிரி அதன் பொருந்தக்கூடிய களத்திற்குள் மாதிரியின் நோக்கம் கொண்ட பயன்பாட்டிற்கு இணங்க திருப்திகரமான துல்லியத்தை கொண்டுள்ளது என்பதை உறுதிப்படுத்துகிறது" என்று வரையறுக்கப்படுகிறது. ஒரு குறிப்பிட்ட நோக்கம் அல்லது குறிக்கோள்களின் தொகுப்புக்காக ஒரு மாதிரி உருவாக்கப்பட வேண்டும், மேலும் அந்த நோக்கத்திற்காக அதன் செல்லுபடியாகும் தன்மை தீர்மானிக்கப்பட வேண்டும். ஒரு கணினி மாதிரியை சரிபார்க்க பல அணுகுமுறைகள் பயன்படுத்தப்படலாம். அணுகுமுறைகள் அகநிலை மதிப்புரைகள் முதல் புறநிலை புள்ளிவிவர சோதனைகள் வரை உள்ளன. பொதுவாகப் பயன்படுத்தப்படும் ஒரு அணுகுமுறை என்னவென்றால், மாடல் பில்டர்கள் தொடர்ச்சியான சோதனைகள் மூலம் மாடலின் செல்லுபடியை தீர்மானிக்க வேண்டும். நாய்லர் மற்றும் ஃபிங்கர் [1967] மாதிரி சரிபார்ப்புக்கான மூன்று-படி அணுகுமுறையை உருவாக்கினர், இது பரவலாக பின்பற்றப்படுகிறதுஃ படி 1. அதிக முக செல்லுபடியைக் கொண்ட ஒரு மாதிரியை உருவாக்குங்கள். படி 2. மாதிரி அனுமானங்களை சரிபார்க்கவும். படி 3. மாதிரி உள்ளீடு-வெளியீடு மாற்றங்களை உண்மையான அமைப்பிற்கான தொடர்புடைய உள்ளீடு-வெளியீடு மாற்றங்களுடன் ஒப்பிடுக. முக செல்லுபடியாகும் தன்மை கொண்ட ஒரு மாதிரி நிஜ உலக அமைப்பைப் பற்றி அறிந்தவர்களுக்கு நிஜ உலக அமைப்பின் நியாயமான பிரதிபலிப்பாகத் தோன்றுகிறது. முக செல்லுபடியாகும் தன்மை சோதனை செய்யப்படுகிறது, பயனர்கள் மற்றும் கணினியுடன் அறிவுள்ள நபர்கள் நியாயத்தன்மைக்காக மாதிரி வெளியீட்டை ஆராய்ந்து, செயல்பாட்டில் குறைபாடுகளை அடையாளம் காண்கிறார்கள். பயனர்கள் சரிபார்ப்பில் ஈடுபடுவதன் கூடுதல் நன்மை என்னவென்றால், பயனர்களுக்கு மாதிரியின் நம்பகத்தன்மை மற்றும் மாதிரியின் மீது பயனரின் நம்பிக்கை அதிகரிக்கிறது. முக செல்லுபடியை தீர்மானிக்க மாதிரி உள்ளீடுகளுக்கான உணர்திறன் பயன்படுத்தப்படலாம். எடுத்துக்காட்டாக, ஒரு துரித உணவு உணவக ஓட்டத்தின் உருவகப்படுத்துதல் ஒரு மணி நேரத்திற்கு 20 மற்றும் ஒரு மணி நேரத்திற்கு 40 என்ற வாடிக்கையாளர் வருகை விகிதங்களுடன் இரண்டு முறை இயக்கப்பட்டால், சராசரி காத்திருப்பு நேரம் அல்லது காத்திருக்கும் வாடிக்கையாளர்களின் அதிகபட்ச எண்ணிக்கை போன்ற மாதிரி வெளியீடுகள் வருகை விகிதத்துடன் அதிகரிக்கும் என்று எதிர்பார்க்கப்படுகிறது. மாதிரி அனுமானங்களின் சரிபார்ப்பு ஒரு மாதிரியைப் பற்றி செய்யப்பட்ட அனுமானங்கள் பொதுவாக இரண்டு பிரிவுகளாகப் பிரிக்கப்படுகின்றனஃ அமைப்பு எவ்வாறு செயல்படுகிறது என்பது பற்றிய கட்டமைப்பு அனுமானங்கள் மற்றும் தரவு அனுமானங்கள். யதார்த்தத்தை எளிமைப்படுத்த நாம் பயன்படுத்தும் எளிமைப்படுத்தல் அனுமானங்களையும் நாம் கருத்தில் கொள்ளலாம். அமைப்பு எவ்வாறு செயல்படுகிறது மற்றும் அது எவ்வாறு ஒழுங்கமைக்கப்பட்டுள்ளது என்பது பற்றிய கட்டமைப்பு அனுமானங்கள் கட்டமைப்பு அனுமானங்களாகும். எடுத்துக்காட்டாக, ஒரு துரித உணவு இயக்ககத்தில் உள்ள சேவையகங்களின் எண்ணிக்கை மற்றும் ஒன்றுக்கு மேற்பட்டவை இருந்தால் அவை எவ்வாறு பயன்படுத்தப்படுகின்றன? ஒரு வாடிக்கையாளர் ஒரு சேவையகத்தைப் பார்வையிடுவதன் மூலம் ஒரு பரிவர்த்தனையை முடிக்கும் இடத்தில் சேவையகங்கள் இணையாக வேலை செய்கிறதா அல்லது ஒரு சேவையகம் ஆர்டர்களை எடுத்து கட்டணத்தை கையாளுகிறதா, அதே நேரத்தில் மற்றவர் ஆர்டரைத் தயாரித்து சேவை செய்கிறாரா? மாதிரியில் உள்ள பல கட்டமைப்பு சிக்கல்கள் மோசமான அல்லது தவறான அனுமானங்களிலிருந்து வருகின்றன. முடிந்தால், அது எவ்வாறு செயல்படுகிறது என்பதைப் புரிந்துகொள்ள உண்மையான அமைப்பின் செயல்பாடுகளை உன்னிப்பாகக் கவனிக்க வேண்டும். அமைப்புகளின் கட்டமைப்பு மற்றும் செயல்பாடு உண்மையான அமைப்பின் பயனர்களுடன் சரிபார்க்கப்பட வேண்டும். தரவு அனுமானங்கள் ஒரு கருத்தியல் மாதிரியை உருவாக்குவதற்கும் ஒரு மாதிரியை சரிபார்க்கவும் போதுமான அளவு பொருத்தமான தரவு இருக்க வேண்டும். பொருத்தமான தரவு இல்லாததே பெரும்பாலும் ஒரு மாதிரியை சரிபார்க்கும் முயற்சிகள் தோல்வியடைவதற்கு காரணமாகும். தரவு நம்பகமான மூலத்திலிருந்து வருவதற்கு சரிபார்க்கப்பட வேண்டும். தரவுகளுக்கான பொருத்தமற்ற புள்ளிவிவர விநியோகத்தை கருதுவது ஒரு பொதுவான பிழையாகும். அனுமானிக்கப்பட்ட புள்ளிவிவர மாதிரி பொருத்த சோதனைகள் மற்றும் பிற நுட்பங்களின் நன்மையைப் பயன்படுத்தி சோதிக்கப்பட வேண்டும். கொல்மோகோரோவ்-ஸ்மிர்னோவ் சோதனை மற்றும் சி-ஸ்கொயர் சோதனை ஆகியவை பொருத்த சோதனைகளின் நன்மையின் எடுத்துக்காட்டுகளாகும். தரவுகளில் உள்ள ஏதேனும் அவுட்லையர்கள் சரிபார்க்கப்பட வேண்டும். எளிமைப்படுத்தல் அனுமானங்கள் என்பது உண்மை இல்லை என்று நமக்குத் தெரிந்த அனுமானங்கள், ஆனால் நாம் தீர்க்க விரும்பும் சிக்கலை எளிமைப்படுத்த தேவை. இந்த அனுமானங்களின் பயன்பாடு நாம் தீர்க்க விரும்பும் பிரச்சினைக்கு ஒரு பதிலாக சேவை செய்ய போதுமான மாதிரி சரியானது என்பதை உறுதிப்படுத்த கட்டுப்படுத்தப்பட வேண்டும். உள்ளீடு-வெளியீடு மாற்றங்களை சரிபார்த்தல் இந்த மாதிரியானது இந்த சோதனைகளுக்கான உள்ளீடு-வெளியீடு மாற்றமாக பார்க்கப்படுகிறது. சரிபார்ப்பு சோதனை என்பது அதே உள்ளீட்டு நிலைமைகளுக்கான மாதிரி வெளியீடுகளுடன் பரிசீலனையில் உள்ள கணினியிலிருந்து வெளியீடுகளை ஒப்பிடுவதைக் கொண்டுள்ளது. இந்த சோதனையைச் செய்ய, அமைப்பைக் கண்காணிக்கும் போது பதிவு செய்யப்பட்ட தரவு கிடைக்க வேண்டும். முதன்மை ஆர்வமுள்ள மாதிரி வெளியீடு செயல்திறனின் அளவீடாகப் பயன்படுத்தப்பட வேண்டும். எடுத்துக்காட்டாக, பரிசீலனையில் உள்ள அமைப்பு ஒரு ஃபாஸ்ட் ஃபுட் டிரைவ் என்றால், மாடலுக்கு உள்ளீடு என்பது வாடிக்கையாளர் வருகை நேரம் மற்றும் செயல்திறனின் வெளியீட்டு அளவீடு வரிசையில் சராசரி வாடிக்கையாளர் நேரம் என்றால், டிரைவ் த்ரூவில் வாடிக்கையாளர்களுக்கு வரிசையில் செலவழித்த உண்மையான வருகை நேரம் மற்றும் நேரம் பதிவு செய்யப்படும். மாடல் உண்மையான வருகை நேரங்களுடன் இயக்கப்படும் மற்றும் வரிசையில் மாடல் சராசரி நேரம் ஒன்று அல்லது அதற்கு மேற்பட்ட சோதனைகளைப் பயன்படுத்தி வரிசையில் செலவழித்த உண்மையான சராசரி நேரத்துடன் ஒப்பிடப்படும். டி-சோதனையைப் பயன்படுத்தி புள்ளியியல் கருதுகோள் சோதனை மாதிரியை செல்லுபடியாகும் அல்லது செல்லுபடியாகாது என்று நிராகரிக்க ஒரு அடிப்படையாக பயன்படுத்தப்படலாம். சோதிக்கப்பட வேண்டிய கருதுகோள் H0 செயல்திறனின் மாதிரி அளவீடு = செயல்திறனின் கணினி அளவீடு எதிராக H1 செயல்திறனின் மாதிரி அளவீடு செயல்திறனின் கணினி அளவீடு. கொடுக்கப்பட்ட மாதிரி அளவு மற்றும் முக்கியத்துவத்தின் நிலை அல்லது α க்கு சோதனை நடத்தப்படுகிறது. சோதனையைச் செய்ய, மாதிரியின் புள்ளிவிவர ரீதியாக சுயாதீனமான ஓட்டங்கள் நடத்தப்படுகின்றன மற்றும் வட்டி மாறியின் சராசரி அல்லது எதிர்பார்க்கப்படும் மதிப்பு, E (Y), உற்பத்தி செய்யப்படுகிறது. பின்னர் கொடுக்கப்பட்ட α, n, E (Y) க்கு சோதனை புள்ளிவிவரம், t0 கணக்கிடப்படுகிறது மற்றும் கணினிக்கான கவனிக்கப்பட்ட மதிப்பு μ0 மற்றும் α மற்றும் n-1 க்கான முக்கியமான மதிப்பு சுதந்திரத்தின் அளவுகள் கணக்கிடப்படுகின்றன. H0 ஐ நிராகரித்தால், மாதிரியை சரிசெய்ய வேண்டும். கருதுகோள் சோதனையைப் பயன்படுத்தி இரண்டு வகையான பிழைகள் ஏற்படலாம், வகை I பிழை அல்லது "மாடல் பில்டர்ஸ் ரிஸ்க்" என்று அழைக்கப்படும் செல்லுபடியாகும் மாதிரியை நிராகரிப்பது மற்றும் வகை II பிழை, β அல்லது "மாடல் பயனரின் ஆபத்து" என்று அழைக்கப்படும் செல்லாத மாதிரியை ஏற்றுக்கொள்வது. முக்கியத்துவத்தின் நிலை அல்லது α வகை I பிழையின் நிகழ்தகவுக்கு சமம். α சிறியதாக இருந்தால், பூஜ்ய கருதுகோளை நிராகரிப்பது ஒரு வலுவான முடிவாகும். எடுத்துக்காட்டாக, α = 0.05 மற்றும் பூஜ்ய கருதுகோள் நிராகரிக்கப்பட்டால், செல்லுபடியாகும் ஒரு மாதிரியை நிராகரிப்பதற்கான 0.05 நிகழ்தகவு மட்டுமே உள்ளது. வகை II பிழையின் நிகழ்தகவைக் குறைப்பது மிகவும் முக்கியம். செல்லுபடியாகாத மாதிரியை சரியாக கண்டறிவதற்கான நிகழ்தகவு 1-β ஆகும். வகை II பிழையின் நிகழ்தகவு மாதிரி அளவு மற்றும் மாதிரி மதிப்புக்கும் கவனிக்கப்பட்ட மதிப்புக்கும் இடையிலான உண்மையான வேறுபாட்டைப் பொறுத்தது. மாதிரி அளவை அதிகரிப்பது வகை II பிழையின் அபாயத்தைக் குறைக்கிறது. ஒரு வரம்பாக மாதிரி துல்லியம் மாதிரி துல்லியத்தின் அளவு ஒரு வரம்பாக குறிப்பிடப்படும் ஒரு புள்ளிவிவர நுட்பம் சமீபத்தில் உருவாக்கப்பட்டது. ஒரு மாதிரியின் ஆர்வத்தின் மாறி மற்றும் ஒரு அமைப்பின் ஆர்வத்தின் மாறி ஆகியவற்றுக்கு இடையிலான வேறுபாடு ஒரு குறிப்பிட்ட துல்லிய வரம்பிற்குள் இருந்தால், ஒரு மாதிரியை ஏற்றுக்கொள்ள இந்த நுட்பம் கருதுகோள் சோதனையைப் பயன்படுத்துகிறது. ஒரு தேவை என்னவென்றால், கணினி தரவு மற்றும் மாதிரி தரவு இரண்டும் தோராயமாக இயல்பாக சுயாதீனமாக மற்றும் ஒரே மாதிரியாக விநியோகிக்கப்பட வேண்டும் (என்ஐஐடி). இந்த நுட்பத்தில் டி-டெஸ்ட் புள்ளிவிவரம் பயன்படுத்தப்படுகிறது. மாதிரியின் சராசரி யூஎம் மற்றும் அமைப்பின் சராசரி யூஎம்எஸ் என்றால், மாதிரிக்கும் அமைப்புக்கும் இடையிலான வேறுபாடு டி = யூஎம்-யூஎம்எஸ் ஆகும். டி ஏற்றுக்கொள்ளக்கூடிய துல்லிய வரம்பிற்குள் இருந்தால் சோதிக்கப்பட வேண்டிய கருதுகோள். L = துல்லியத்திற்கான குறைந்த வரம்பு மற்றும் U = துல்லியத்திற்கான மேல் வரம்பு என்று வைத்துக்கொள்வோம். பின்னர் H0 L ≤ D ≤ U எதிராக H1 D <L அல்லது D> U சோதிக்கப்பட வேண்டும். இயக்க பண்பு (ஓ. சி.) வளைவு என்பது பூஜ்ய கருதுகோள் உண்மையாக இருக்கும்போது ஏற்றுக்கொள்ளப்படுவதற்கான நிகழ்தகவு ஆகும். ஓ. சி வளைவு வகை I மற்றும் II பிழைகளின் நிகழ்தகவுகளை வகைப்படுத்துகிறது. மாடல் பில்டரின் ஆபத்து மற்றும் மாடல் பயனர்களுக்கான இடர் வளைவுகளை ஓ. சி வளைவுகளிலிருந்து உருவாக்க முடியும். மாடல் பில்டரின் ஆபத்து மற்றும் மாடல் பயனரின் ஆபத்து ஆகியவற்றுக்கு இடையிலான நிலையான மாதிரி அளவு பரிமாற்றங்களுடன் வளைவுகளை ஒப்பிடுவது ஆபத்து வளைவுகளில் எளிதாகக் காணலாம். மாடல் பில்டரின் ஆபத்து, மாடல் பயனரின் ஆபத்து மற்றும் துல்லியத்தின் வரம்பிற்கான மேல் மற்றும் கீழ் வரம்புகள் அனைத்தும் குறிப்பிடப்பட்டால், தேவையான மாதிரி அளவைக் கணக்கிட முடியும். சில மாறுபட்ட ஆர்வங்களுக்கு ஒரு மாதிரி ஒரு அமைப்புக்கு "போதுமான நெருக்கமாக" இருந்தால் மதிப்பீடு செய்ய நம்பிக்கை இடைவெளிகள் பயன்படுத்தப்படலாம். அறியப்பட்ட மாதிரி மதிப்பு, μ0, மற்றும் கணினி மதிப்பு, μ ஆகியவற்றுக்கு இடையிலான வேறுபாடு, வட்டி மாறியைப் பொறுத்தவரை மாதிரி செல்லுபடியாகும் அளவுக்கு சிறிய மதிப்பை விட குறைவாக உள்ளதா என்று சரிபார்க்கப்படுகிறது. மதிப்பு ε குறியீட்டால் குறிக்கப்படுகிறது. சோதனையைச் செய்ய ஒரு எண், n, மாதிரியின் புள்ளிவிவர ரீதியாக சுயாதீனமான ஓட்டங்கள் நடத்தப்படுகின்றன மற்றும் ஒரு சராசரி அல்லது எதிர்பார்க்கப்படும் மதிப்பு, E (Y) அல்லது வட்டி Y இன் உருவகப்படுத்துதல் வெளியீட்டு மாறி, ஒரு நிலையான விலகல் S உடன் தயாரிக்கப்படுகிறது. ஒரு நம்பிக்கை நிலை தேர்ந்தெடுக்கப்படுகிறது, 100 (1-α). ஒரு இடைவெளி, [a, b], இதன் மூலம் கட்டமைக்கப்படுகிறது, கொடுக்கப்பட்ட அளவிலான முக்கியத்துவம் மற்றும் n-1 டிகிரி சுதந்திரத்திற்கான t-விநியோகத்திலிருந்து முக்கியமான மதிப்பு எங்கே. |a-μ0 |> ε மற்றும் |b-μ0 |> ε என்றால், இரண்டு நிகழ்வுகளிலும் வேறுபாடு ஏற்றுக்கொள்ளப்படுவதை விட அதிகமாக இருப்பதால் மாதிரியை அளவீடு செய்ய வேண்டும். |a-μ0 | <ε மற்றும் |b-μ0 | <ε என்றால், இரண்டு நிகழ்வுகளிலும் பிழை நெருக்கமாக இருப்பதால் மாதிரி ஏற்றுக்கொள்ளப்படுகிறது. |a-μ0 | <ε மற்றும் |b-μ0 |> ε அல்லது அதற்கு நேர்மாறாக இருந்தால், இடைவெளியைக் குறைக்க மாதிரியின் கூடுதல் ஓட்டங்கள் தேவைப்படுகின்றன. வரைகலை ஒப்பீடுகள் புள்ளிவிவர அனுமானங்களை திருப்திப்படுத்த முடியாவிட்டால் அல்லது அமைப்புக்கு போதுமான தரவு இல்லையென்றால், கணினி வெளியீடுகளுடன் மாதிரி வெளியீடுகளின் வரைகலை ஒப்பீடுகள் ஒரு அகநிலை முடிவுகளை எடுக்க பயன்படுத்தப்படலாம், இருப்பினும் பிற புறநிலை சோதனைகள் விரும்பத்தக்கவை. கணக்கீட்டு மாடலிங் மற்றும் உருவகப்படுத்துதலின் சரிபார்ப்பு மற்றும் சரிபார்ப்பு சம்பந்தப்பட்ட ASME தரநிலைகள் ஆவணங்கள் மற்றும் தரநிலைகள் அமெரிக்கன் சொசைட்டி ஆஃப் மெக்கானிக்கல் இன்ஜினியர்ஸ் (ASME) சரிபார்ப்பு மற்றும் சரிபார்ப்பு (V & V) குழுவால் உருவாக்கப்பட்டுள்ளன. ASME V & V 10 சரிபார்ப்பு, சரிபார்ப்பு மற்றும் நிச்சயமற்ற அளவீட்டு செயல்முறைகள் மூலம் கணக்கீட்டு திட இயக்கவியல் மாதிரிகளின் நம்பகத்தன்மையை மதிப்பிடுவதற்கும் அதிகரிப்பதற்கும் வழிகாட்டுதல்களை வழங்குகிறது. ASME V & V 10 இல் விவரிக்கப்பட்டுள்ள கருத்தாக்கங்களை விளக்குவதற்கு ASME V & V 10 ஒரு விரிவான உதாரணத்தை வழங்குகிறது. ASME V & V 20 திரவ இயக்கவியல் மற்றும் வெப்ப பரிமாற்றத்திற்கு பயன்படுத்தப்படும் கணக்கீட்டு உருவகப்படுத்துதல்களை சரிபார்க்க ஒரு விரிவான முறையை வழங்குகிறது. ASME V & V 40 கணக்கீட்டு மாடலிங்கிற்கான மாதிரி நம்பகத்தன்மை தேவைகளை நிறுவுவதற்கான ஒரு கட்டமைப்பை வழங்குகிறது, மேலும் மருத்துவ சாதனத் துறையில் குறிப்பிட்ட எடுத்துக்காட்டுகளை வழங்குகிறது. சரிபார்ப்பு மற்றும் சரிபார்ப்பு மென்பொருள் சரிபார்ப்பு மற்றும் சரிபார்ப்பு குறிப்புகள் முறையான முறைகளையும் பார்க்கவும்