Intelligent verification
புத்திசாலித்தனமான சோதனை பெஞ்ச் ஆட்டோமேஷன் உட்பட புத்திசாலித்தனமான சரிபார்ப்பு என்பது மின்னணு வன்பொருள் வடிவமைப்புகளின் செயல்பாட்டு சரிபார்ப்பின் ஒரு வடிவமாகும், இது ஒரு வடிவமைப்பு சாதனம் புனையப்படுவதற்கு முன்பு விவரக்குறிப்புக்கு இணங்குகிறது என்பதை சரிபார்க்க பயன்படுகிறது. நுண்ணறிவு சரிபார்ப்பு வன்பொருள் ஐபி களிலும் அவற்றுக்கு இடையிலும் உள்ள பிழைகளை அம்பலப்படுத்த வடிவமைப்பு மற்றும் விவரக்குறிப்புகளிலிருந்து பெறப்பட்ட தகவல்களைப் பயன்படுத்துகிறது. நுண்ணறிவு சரிபார்ப்பு கருவிகளுக்கு சோதனை பெஞ்ச் நிரலை எழுதுவதற்கான நிலையான அணுகுமுறையை பூர்த்தி செய்யும் அல்லது மீறும் சரிபார்ப்பு முடிவுகளை அடைய கணிசமாக குறைந்த பொறியியல் முயற்சி மற்றும் பயனர் வழிகாட்டுதல் தேவைப்படுகிறது. முதல் தலைமுறை புத்திசாலித்தனமான சரிபார்ப்பு கருவிகள் தானியங்கி கவரேஜ் பின்னூட்டம் எனப்படும் அம்சத்துடன் பின்னடைவு சோதனை எனப்படும் சரிபார்ப்பு செயல்முறையின் ஒரு பகுதியை உகந்ததாக்கியது. தானியங்கி கவரேஜ் பின்னூட்டத்துடன், சோதனை விளக்கம் தானாகவே இலக்கு வடிவமைப்பு செயல்பாட்டிற்கு சரிசெய்யப்படுகிறது, இது ஏற்கனவே உள்ள பிற சோதனைகளால் முன்பு சரிபார்க்கப்படவில்லை (அல்லது "மூடப்பட்டுள்ளது"). தானியங்கி கவரேஜ் பின்னூட்டத்தின் ஒரு முக்கிய பண்பு என்னவென்றால், அதே சோதனைச் சூழலைக் கருத்தில் கொண்டு, வடிவமைப்பில் ஏற்படும் மாற்றங்களுக்கு பதிலளிக்கும் வகையில் செயல்பாட்டு வடிவமைப்பு கவரேஜை மேம்படுத்த மென்பொருள் தானாகவே சோதனைகளை மாற்றும். புதிய புத்திசாலித்தனமான சரிபார்ப்பு கருவிகள் ஒரு ஒற்றை, கச்சிதமான, உயர் மட்ட மாதிரியிலிருந்து ஒரு சோதனை பெஞ்சிலிருந்து (தூண்டுதல், பாதுகாப்பு மற்றும் சோதனை) ஒருவர் எதிர்பார்க்கும் அத்தியாவசிய செயல்பாடுகளைப் பெற முடியும். அசல் விவரக்குறிப்பைக் குறிக்கும் மற்றும் ஒத்திருக்கும் ஒற்றை மாதிரியைப் பயன்படுத்துவது சோதனை பெஞ்ச் மேம்பாட்டு செயல்பாட்டில் மனித பிழையின் வாய்ப்பை பெரிதும் குறைக்கிறது, இது தவறவிட்ட பிழைகள் மற்றும் தவறான தோல்விகள் ஆகிய இரண்டிற்கும் வழிவகுக்கும். அறிவார்ந்த சரிபார்ப்பின் பிற பண்புகளில் பின்வருவன அடங்கும்ஃ ஒரு சோதனை பெஞ்ச் திட்டத்திற்கு இணையாக அல்லது அதற்கு மேல் சரிபார்ப்பு முடிவுகளை வழங்குதல், ஆனால் ஒரு சிறிய உயர் மட்ட மாதிரியால் இயக்கப்படுகிறது, சோதனை பெஞ்ச் திட்டங்களில் நம்பகத்தன்மையைக் குறைக்க அனைத்து நிலை உருவகப்படுத்துதல்களுக்கும் பொருந்தும் நிரலாக்க பிழைகள் மற்றும் விவரக்குறிப்பின் மாறுபட்ட விளக்கங்களுக்கான வாய்ப்புகளை நீக்குதல், குறிப்பாக. ஐபி மற்றும் எஸ்ஓசி குழுக்களுக்கு இடையே சில கவரேஜ் புள்ளிகள் ஏன் கண்டறியப்படவில்லை என்பதற்கான திசையை வழங்குதல். புதிய சோதனைகளை உருவாக்க, வடிவமைப்பு அமைப்பு மூலம் கவரேஜ் புள்ளிகளுக்கு பாதைகளை தானாகவே கண்காணிக்கவும். வடிவமைப்பின் பல்வேறு அம்சங்கள் ஒரே சோதனைத் தொகுப்புகளில் ஒரு முறை மட்டுமே சரிபார்க்கப்படுவதை உறுதிசெய்கிறது. ஒரு அமைப்பின் வெவ்வேறு வன்பொருள் மற்றும் மென்பொருள் உள்ளமைவுகளுக்கு தானாகவே சோதனையை அளவிடுதல். ஒரே கருவியை அடிப்படையாகக் கொண்ட கட்டுப்படுத்தப்பட்ட சீரற்ற, இயக்கப்பட்ட, வரைபட அடிப்படையிலான, பயன்பாட்டு வழக்கு போன்ற வெவ்வேறு சரிபார்ப்பு முறைகளுக்கான ஆதரவு. "நுண்ணறிவு சரிபார்ப்பு" தற்போதுள்ள தர்க்க உருவகப்படுத்துதல் சோதனை பெஞ்சுகளைப் பயன்படுத்துகிறது, மேலும் பின்வரும் வடிவமைப்பு கவரேஜை தானாகவே குறிவைத்து அதிகரிக்கிறதுஃ குறியீடு கவரேஜ் கிளை கவரேஜ் வெளிப்பாடு கவரேஜ் செயல்பாட்டு கவரேஜ் கூற்று ஒரு வடிவமைப்பு செயல்பாட்டு ரீதியாக சரியானது என்ற நம்பிக்கையை அடைவது வரலாறு மிகவும் கடினமாகி வருகிறது. இந்த சிக்கல்களை எதிர்கொள்ள, 1980 களின் பிற்பகுதியில் வேகமான தர்க்க சிமுலேட்டர்கள் மற்றும் வெரிலாக் மற்றும் விஎச்டிஎல் போன்ற சிறப்பு வன்பொருள் விளக்க மொழிகள் பிரபலமடைந்தன. 1990 களில், சரிபார்ப்பு தரம் மற்றும் நேரத்தை மேலும் மேம்படுத்துவதற்காக, வன்பொருள் சரிபார்ப்பு மொழிகளான வெரா மற்றும் ஈ மற்றும் சிஸ்டம் வெரிலாக் (2002 இல்) ஆகியவற்றைப் பயன்படுத்தி கட்டுப்படுத்தப்பட்ட சீரற்ற உருவகப்படுத்துதல் முறைகள் தோன்றின. நுண்ணறிவு சரிபார்ப்பு அணுகுமுறைகள் கட்டுப்படுத்தப்பட்ட சீரற்ற உருவகப்படுத்துதல் முறைகளுக்கு துணைபுரிகின்றன, இது வடிவமைப்பு கட்டமைப்பைக் காட்டிலும் வெளிப்புற உள்ளீட்டை அடிப்படையாகக் கொண்டது. நுண்ணறிவு சரிபார்ப்பு என்பது உருவகப்படுத்துதலின் போது வடிவமைப்பு அறிவை தானாகப் பயன்படுத்துவதை நோக்கமாகக் கொண்டுள்ளது, இது கடந்த தசாப்தத்தில் அதிகரித்த வடிவமைப்பு அளவு மற்றும் சிக்கல் காரணமாக பெருகிய முறையில் முக்கியத்துவம் பெற்றுள்ளது, மேலும் ஒரு வடிவமைப்பை உருவாக்கிய பொறியியல் குழுவிற்கும் அதன் சரியான செயல்பாட்டை சரிபார்க்கும் குழுவிற்கும் இடையிலான பிரிப்பு. புத்திசாலித்தனமான சரிபார்ப்பு பகுதியில் கணிசமான ஆராய்ச்சி செய்யப்பட்டுள்ளது, மேலும் இந்த நுட்பத்தை மேம்படுத்தும் வணிக கருவிகள் இப்போதுதான் வெளிவரத் தொடங்கியுள்ளன. அறிவார்ந்த சரிபார்ப்பு லாஜிக் ரிஃபைனரி, இன்க் வழங்கும் முறையான சரிபார்ப்பு செயல்பாட்டு சரிபார்ப்பு விற்பனையாளர்கள். வழிகாட்டி கிராபிக்ஸ் சுருக்கங்கள் (நியூசிம் கையகப்படுத்துதல்) பிரேக்கர் ஸ்பிரிங்ஸாஃப்ட் (சான்றிதழை கையகப்படுத்துதல்) வால்ட்ரிக்ஸ் சிஸ்டம்ஸ் அடிக்குறிப்புகள் குறிப்புகள் "வழிகாட்டி 'அறிவார்ந்த' சோதனை பெஞ்ச் தலைமுறை கருவியை வழங்குகிறது", எஸ். டி. சி. சோர்ஸ், பிப்ரவரி 18,2008 ஐப் பார்க்கவும். நுசிம் புத்திசாலித்தனமான சரிபார்ப்பில் கவனம் செலுத்துகிறது "ஈடைம்ஸ், மே 2008. "புத்திசாலித்தனமான சரிபார்ப்பில் மூடுபனியை உயர்த்துதல்", எஸ். சி. டி. எஸ் சோர்ஸ், மே 2008. மின்னணு சுற்று சரிபார்ப்பு