Test oracle
கணினி, மென்பொருள் பொறியியல் மற்றும் மென்பொருள் சோதனைகளில், ஒரு சோதனை ஆரக்கிள் (அல்லது ஆரக்கிள்) என்பது ஒரு சோதனை தேர்ச்சி பெற்றதா அல்லது தோல்வியடைந்ததா என்பதை தீர்மானிப்பதற்கான ஒரு பொறிமுறையாகும். ஆரக்கிள்களின் பயன்பாடு சோதனையின் கீழ் உள்ள அமைப்பின் வெளியீட்டை (களை) ஒப்பிடுவதை உள்ளடக்கியது, கொடுக்கப்பட்ட சோதனை-வழக்கு உள்ளீட்டிற்கு, ஆரக்கிள் அந்த தயாரிப்பு இருக்க வேண்டும் என்று தீர்மானிக்கும் வெளியீடு (களை). "டெஸ்ட் ஆரக்கிள்" என்ற சொல் முதன்முதலில் வில்லியம் ஈ. ஹவ்டன் என்பவரால் ஒரு ஆய்வறிக்கையில் அறிமுகப்படுத்தப்பட்டது. பல்வேறு வகையான ஆரக்கிள்கள் குறித்த கூடுதல் வேலைகளை எலைன் வேயுக்கர் ஆராய்ந்தார். ஆரக்கிள்கள் பெரும்பாலும் சோதனையின் கீழ் உள்ள அமைப்பிலிருந்து தனித்தனியாக செயல்படுகின்றன. இருப்பினும், முறை பிந்தைய நிபந்தனைகள் சோதனையின் கீழ் உள்ள அமைப்பின் ஒரு பகுதியாகும், ஏனெனில் ஒப்பந்த மாதிரிகளால் வடிவமைக்கப்பட்ட தானியங்கி ஆரக்கிள்கள். கொடுக்கப்பட்ட உள்ளீட்டிற்கான சரியான வெளியீட்டைத் தீர்மானிப்பது (மற்றும் நிரல் அல்லது கணினி நிலைகளின் தொகுப்பு) ஆரக்கிள் சிக்கல் அல்லது சோதனை ஆரக்கிள் சிக்கல் என்று அழைக்கப்படுகிறது, இது தோன்றுவதை விட மிகவும் கடினமான சிக்கலாகும், மேலும் கட்டுப்பாடு மற்றும் அவதானிப்பு தொடர்பான சிக்கல்களுடன் பணிபுரிவதை உள்ளடக்கியது. 1978 முதல் 2012 வரையிலான ஒரு ஆராய்ச்சி இலக்கிய கணக்கெடுப்பு சோதனை ஆரக்கிள்களின் பல சாத்தியமான வகைகளைக் கண்டறிந்தது. இந்த ஆரக்கிள்கள் பொதுவாக மென்பொருள் மாடலிங் மற்றும் மென்பொருள் குறியீடு கட்டுமானத்திற்கான முறைப்படுத்தப்பட்ட அணுகுமுறைகளுடன் தொடர்புடையவை. அவை முறையான விவரக்குறிப்புடன் இணைக்கப்பட்டுள்ளன, மாதிரி அடிப்படையிலான வடிவமைப்பு சோதனை ஆரக்கிள்களை உருவாக்க பயன்படுத்தப்படலாம், மாதிரி அடிப்படையிலான சோதனை மற்றும் நெறிமுறை இணக்க சோதனைக்கு உதவுவதற்காக ஆரக்கிள்களைப் பெறக்கூடிய நிலை மாற்றம் விவரக்குறிப்பு மற்றும் ஒப்பந்தத்தின் மூலம் வடிவமைப்பு ஆகியவற்றிற்கு சமமான சோதனை ஆரக்கிள் ஒரு வலியுறுத்தல். குறிப்பிட்ட சோதனை ஆரக்கிள்கள் பல சவால்களைக் கொண்டுள்ளன. முறையான விவரக்குறிப்பு சுருக்கத்தை நம்பியுள்ளது, இது இயற்கையாகவே துல்லியமற்ற ஒரு உறுப்பைக் கொண்டிருக்கலாம், ஏனெனில் அனைத்து மாதிரிகளும் அனைத்து நடத்தைகளையும் பிடிக்க முடியாது. பெறப்பட்ட சோதனை ஆரக்கிள் அமைப்பின் கலைப்பொருட்களிலிருந்து பெறப்பட்ட தகவல்களைப் பயன்படுத்துவதன் மூலம் சரியான மற்றும் தவறான நடத்தையை வேறுபடுத்துகிறது. இவற்றில் ஆவணப்படுத்தல், கணினி செயல்படுத்தல் முடிவுகள் மற்றும் சோதனையின் கீழ் உள்ள கணினியின் பதிப்புகளின் பண்புகள் ஆகியவை அடங்கும். பின்னடைவு சோதனை அறைகள் (அல்லது அறிக்கைகள்) ஒரு பெறப்பட்ட சோதனை ஆரக்கிளுக்கு ஒரு எடுத்துக்காட்டு-அவை முந்தைய கணினி பதிப்பின் முடிவை எதிர்கால கணினி பதிப்பிற்கு உதவியாக (ஆரக்கிள்) பயன்படுத்தலாம் என்ற அனுமானத்தின் அடிப்படையில் கட்டப்பட்டுள்ளன. முன்பு அளவிடப்பட்ட செயல்திறன் பண்புகள் எதிர்கால கணினி பதிப்புகளுக்கான ஆரக்கிளாக பயன்படுத்தப்படலாம், எடுத்துக்காட்டாக, கவனிக்கப்பட்ட செயல்திறன் சீரழிவு பற்றிய கேள்வியைத் தூண்டுவதற்கு. முந்தைய கணினி பதிப்புகளிலிருந்து உரை ஆவணங்கள் எதிர்கால கணினி பதிப்புகளில் எதிர்பார்ப்புகளை வழிநடத்த ஒரு அடிப்படையாக பயன்படுத்தப்படலாம். ஒரு போலி-ஆரக்கிள் பெறப்பட்ட சோதனை ஆரக்கிள் வகைக்குள் வருகிறது. வேயுக்கர் வரையறுத்தபடி, ஒரு போலி-ஆரக்கிள் என்பது தனித்தனியாக எழுதப்பட்ட நிரலாகும், இது சோதனையின் கீழ் உள்ள நிரல் அல்லது அமைப்பின் அதே உள்ளீட்டை எடுக்க முடியும், இதனால் அவற்றின் வெளியீடுகளை ஒப்பிடுவதன் மூலம் விசாரிக்க ஒரு சிக்கல் இருக்க முடியுமா என்பதைப் புரிந்துகொள்ள முடியும். ஒரு பகுதி ஆரக்கிள் என்பது குறிப்பிட்ட சோதனை ஆரக்கிள் மற்றும் பெறப்பட்ட சோதனை ஆரக்கிள் இடையே ஒரு கலப்பு ஆகும். இது சோதனையின் கீழ் உள்ள அமைப்பின் முக்கியமான (ஆனால் முழுமையானதல்ல) பண்புகளைக் குறிப்பிடுகிறது. எடுத்துக்காட்டாக, உருமாற்ற சோதனை அமைப்பின் பல செயல்பாடுகளில் உருமாற்ற உறவுகள் எனப்படும் பண்புகளை பயன்படுத்துகிறது. ஒரு மறைமுகமான சோதனை ஆரக்கிள் மறைமுகமான தகவல் மற்றும் அனுமானங்களை நம்பியுள்ளது. எடுத்துக்காட்டாக, ஒரு நிரல் செயலிழப்பிலிருந்து சில மறைமுகமான முடிவுகள் இருக்கலாம், அதாவது. தேவையற்ற நடத்தை-ஒரு சிக்கல் இருக்கலாம் என்பதை தீர்மானிக்க ஒரு ஆரக்கிள். தேவையற்ற நடத்தையைத் தேடுவதற்கும் சோதிப்பதற்கும் பல வழிகள் உள்ளன, சிலர் அதை எதிர்மறை சோதனை என்று அழைத்தாலும், ஃப்ஸிங் போன்ற சிறப்பு துணைக்குழுக்கள் உள்ளன. மறைமுகமான சோதனை ஆரக்கிள்களில் வரம்புகள் உள்ளன-ஏனெனில் அவை மறைமுகமான முடிவுகள் மற்றும் அனுமானங்களை நம்பியுள்ளன. எடுத்துக்காட்டாக, ஒரு நிரல் அல்லது செயல்முறை செயலிழப்பு ஒரு முன்னுரிமை பிரச்சினையாக இருக்காது, அமைப்பு ஒரு தவறு-சகிப்புத்தன்மை அமைப்பாக இருந்தால், எனவே சுய-குணப்படுத்துதல்/சுய மேலாண்மை வடிவத்தின் கீழ் இயங்குகிறது. சூழலைச் சார்ந்திருப்பதால் மறைமுகமான சோதனை ஆரக்கிள்கள் தவறான நேர்மறைகளுக்கு ஆளாகக்கூடும். சொத்து அடிப்படையிலான சோதனை மறைமுகமான ஆரக்கிள்களை நம்பியுள்ளது. குறிப்பிட்ட, பெறப்பட்ட அல்லது மறைமுகமான சோதனை ஆரக்கிள்களைப் பயன்படுத்த முடியாதபோது, சோதனை ஆரக்கிள்களைத் தீர்மானிக்க மனித உள்ளீடு தேவைப்படுகிறது. இவை அளவு மற்றும் தரமான அணுகுமுறைகளாக கருதப்படலாம். ஒரு அளவு அணுகுமுறை என்பது சோதனையின் கீழ் உள்ள ஒரு அமைப்பில் (எ. கா., சோதனை முடிவுகள்) சேகரிக்க சரியான அளவு தகவல்களைக் கண்டுபிடிப்பதை நோக்கமாகக் கொண்டுள்ளது, இதனால் ஒரு பங்குதாரர் பொருத்தமான நோக்கத்திற்காக அல்லது மென்பொருளை வெளியிடுவது குறித்து முடிவுகளை எடுக்க முடியும். ஒரு தரமான அணுகுமுறை என்பது உள்ளீட்டு சோதனைத் தரவுகளின் பிரதிநிதித்துவம் மற்றும் பொருத்தத்தன்மை மற்றும் சோதனையின் கீழ் உள்ள அமைப்பிலிருந்து வெளியீட்டின் சூழலைக் கண்டறிவதை நோக்கமாகக் கொண்டுள்ளது. யதார்த்தமான மற்றும் பிரதிநிதித்துவ சோதனைத் தரவைப் பயன்படுத்துவதும், முடிவுகளைப் புரிந்துகொள்வதும் (அவை யதார்த்தமாக இருந்தால்) ஒரு எடுத்துக்காட்டு. சோதனையின் கீழ் உள்ள நிரல்/அமைப்புக்கு தேர்ந்தெடுக்கப்பட்ட குறிப்பிட்ட கலவையை வடிவமைக்க உதவும் குடல் உள்ளுணர்வு, கட்டைவிரல் விதிகள், சரிபார்ப்பு பட்டியல் உதவிகள் மற்றும் அனுபவம் போன்ற ஹூரிஸ்டிக் அணுகுமுறைகளால் இவை வழிநடத்தப்படலாம். எடுத்துக்காட்டுகள் சோதனை ஆரக்கிள்கள் பொதுவாக விவரக்குறிப்புகள் மற்றும் ஆவணங்களை அடிப்படையாகக் கொண்டவை. மாதிரி அடிப்படையிலான வடிவமைப்பு மற்றும் மாதிரி அடிப்படையிலான சோதனைக்கு உள்ளீடாகப் பயன்படுத்தப்படும் முறையான விவரக்குறிப்பு ஒரு குறிப்பிட்ட சோதனை ஆரக்கிளுக்கு ஒரு எடுத்துக்காட்டு. மாதிரி அடிப்படையிலான ஆரக்கிள் அமைப்பு நடத்தையை உருவாக்க மற்றும் சரிபார்க்க அதே மாதிரியைப் பயன்படுத்துகிறது. பயன்பாடு அல்லது நிறுவல் வழிகாட்டி, அல்லது செயல்திறன் பண்புகளின் பதிவு அல்லது மென்பொருளுக்கான குறைந்தபட்ச இயந்திரத் தேவைகள் போன்ற தயாரிப்பின் முழு விவரக்குறிப்பு இல்லாத ஆவணப்படுத்தல், பொதுவாக பெறப்பட்ட சோதனை ஆரக்கிளாக இருக்கும். ஒரு நிலைத்தன்மை ஆரக்கிள் ஒரு சோதனை நிறைவேற்றத்தின் முடிவுகளை ஒற்றுமைக்காக மற்றொன்றுடன் ஒப்பிடுகிறது. இது பெறப்பட்ட சோதனை ஆரக்கிளின் மற்றொரு எடுத்துக்காட்டு. ஒரு மென்பொருள் நிரலுக்கான ஆரக்கிள் என்பது இரண்டாவது நிரலாக இருக்கலாம், இது சோதனையின் கீழ் உள்ள தயாரிப்பின் அதே கணித வெளிப்பாட்டை மதிப்பீடு செய்ய வேறு வழிமுறையைப் பயன்படுத்துகிறது. இது ஒரு போலி-ஆரக்கிளுக்கு ஒரு எடுத்துக்காட்டு, இது ஒரு பெறப்பட்ட சோதனை ஆரக்கிள் ஆகும். கூகிள் தேடலின் போது, திரும்பிய முடிவுகளின் எண்ணிக்கை சரியானதா என்பதை சரிபார்க்க எங்களிடம் முழுமையான ஆரக்கிள் இல்லை. ஒரு உருமாற்ற உறவை நாம் வரையறுக்கலாம், அதாவது பின்தொடர்தல் குறுகிய-கீழ் தேடல் குறைவான முடிவுகளைத் தரும். இது ஒரு பகுதி ஆரக்கிளுக்கு ஒரு எடுத்துக்காட்டு, இது குறிப்பிட்ட சோதனை ஆரக்கிள் மற்றும் பெறப்பட்ட சோதனை ஆரக்கிள் இடையே ஒரு கலப்பு ஆகும். ஒரு புள்ளியியல் ஆரக்கிள் நிகழ்தகவு பண்புகளைப் பயன்படுத்துகிறது, எடுத்துக்காட்டாக பட பகுப்பாய்வுடன், சோதனை ஆரக்கிள் ஒரு பொருத்தத்தை உச்சரிக்க அல்லது வேறுவிதமாக உச்சரிக்க உறுதியும் நிச்சயமற்ற தன்மையும் வரையறுக்கப்படுகிறது. இது மனித சோதனை ஆரக்கிளில் ஒரு அளவு அணுகுமுறைக்கு ஒரு எடுத்துக்காட்டு. ஒரு ஹூரிஸ்டிக் ஆரக்கிள் சோதனை உள்ளீடுகளின் ஒரு வகுப்பில் பிரதிநிதி அல்லது தோராயமான முடிவுகளை வழங்குகிறது. இது மனித சோதனை ஆரக்கிளில் ஒரு தரமான அணுகுமுறைக்கு ஒரு எடுத்துக்காட்டு. குறிப்புகள் நூலியல் பைண்டர், ராபர்ட் வி. (1999). பொருள் சார்ந்த அமைப்புகளை சோதிப்பதில் "அத்தியாயம் 18-ஆரக்கிள்கள்ஃ மாதிரிகள், வடிவங்கள் மற்றும் கருவிகள், அடிசன்-வெஸ்லி புரொஃபஷனல், 7 நவம்பர் 1999, மென்பொருள் சோதனை கணக்கீட்டு ஆரக்கிள்கள்