Runtime verification
ரன்டைம் சரிபார்ப்பு என்பது ஒரு கணினி அமைப்பு பகுப்பாய்வு மற்றும் செயல்படுத்தும் அணுகுமுறையாகும், இது ஒரு இயங்கும் அமைப்பிலிருந்து தகவல்களைப் பிரித்தெடுப்பதையும், சில பண்புகளை திருப்திப்படுத்தும் அல்லது மீறும் கவனிக்கப்பட்ட நடத்தைகளைக் கண்டறிந்து எதிர்வினையாற்றுவதையும் அடிப்படையாகக் கொண்டது. டேட்டரேஸ் மற்றும் டெட்லாக் ஃப்ரீடம் போன்ற சில குறிப்பிட்ட பண்புகள் பொதுவாக அனைத்து அமைப்புகளாலும் திருப்தி அடைய விரும்பப்படுகின்றன, மேலும் அவை வழிமுறையாக சிறப்பாக செயல்படுத்தப்படலாம். மற்ற பண்புகளை முறையான விவரக்குறிப்புகளாக மிகவும் வசதியாக கைப்பற்றலாம். இயக்க நேர சரிபார்ப்பு விவரக்குறிப்புகள் பொதுவாக வரையறுக்கப்பட்ட நிலை இயந்திரங்கள், வழக்கமான வெளிப்பாடுகள், சூழல் இல்லாத வடிவங்கள், நேரியல் தற்காலிக தர்க்கங்கள் போன்றவை அல்லது இவற்றின் நீட்டிப்புகள் போன்ற சுவடு முன்கணிப்பு சம்பிரதாயங்களில் வெளிப்படுத்தப்படுகின்றன. இது சாதாரண சோதனையை விட குறைவான தற்காலிக அணுகுமுறையை அனுமதிக்கிறது. இருப்பினும், ஒரு செயல்படுத்தும் அமைப்பைக் கண்காணிப்பதற்கான எந்தவொரு பொறிமுறையும் இயக்க நேர சரிபார்ப்பாகக் கருதப்படுகிறது, இதில் சோதனை ஆரக்கிள்களுக்கு எதிராக சரிபார்ப்பு மற்றும் குறிப்பு செயல்படுத்தல்கள் அடங்கும். முறையான தேவைகள் விவரக்குறிப்புகள் வழங்கப்படும் போது, மானிட்டர்கள் அவற்றிலிருந்து ஒருங்கிணைக்கப்பட்டு கருவிகள் மூலம் அமைப்பிற்குள் செலுத்தப்படுகின்றன. பாதுகாப்பு அல்லது பாதுகாப்புக் கொள்கை கண்காணிப்பு, பிழைத்திருத்தம், சோதனை, சரிபார்ப்பு, சரிபார்ப்பு, விவரக்குறிப்பு, தவறு பாதுகாப்பு, நடத்தை மாற்றம் (எ. கா., மீட்பு) போன்ற பல நோக்கங்களுக்காக இயக்க நேர சரிபார்ப்பு பயன்படுத்தப்படலாம். ரன்டைம் சரிபார்ப்பு என்பது மாதிரி சரிபார்ப்பு மற்றும் தேற்றத்தை நிரூபித்தல் போன்ற பாரம்பரிய முறையான சரிபார்ப்பு நுட்பங்களின் சிக்கலைத் தவிர்க்கிறது, ஒன்று அல்லது ஒரு சில செயல்பாட்டு தடயங்களை மட்டுமே பகுப்பாய்வு செய்வதன் மூலமும், உண்மையான அமைப்புடன் நேரடியாக வேலை செய்வதன் மூலமும், இதனால் ஒப்பீட்டளவில் நன்றாக அளவிடப்படுகிறது மற்றும் முடிவுகளில் அதிக நம்பிக்கையை அளிக்கிறது பகுப்பாய்வு (ஏனெனில் இது கணினியை முறையாக மாடலிங் செய்வதற்கான கடினமான மற்றும் பிழை ஏற்படக்கூடிய படியைத் தவிர்க்கிறது), குறைந்த கவரேஜ் செலவில். மேலும், அதன் பிரதிபலிப்பு திறன்களின் மூலம் இயக்க நேர சரிபார்ப்பை இலக்கு அமைப்பின் ஒருங்கிணைந்த பகுதியாக மாற்றலாம், வரிசைப்படுத்தலின் போது அதன் செயல்பாட்டைக் கண்காணித்து வழிநடத்தலாம். வரலாறு மற்றும் சூழல் செயல்படுத்தும் அமைப்புகள் அல்லது நிரல்களுக்கு எதிராக முறைப்படி அல்லது முறைசாரா முறையில் குறிப்பிட்ட பண்புகளைச் சரிபார்ப்பது ஒரு பழைய தலைப்பு (குறிப்பிடத்தக்க எடுத்துக்காட்டுகள் மென்பொருளில் மாறும் தட்டச்சு, அல்லது தோல்வியுற்ற பாதுகாப்பான சாதனங்கள் அல்லது வன்பொருளில் கண்காணிப்பு டைமர்கள்), அவற்றின் துல்லியமான வேர்களை அடையாளம் காண்பது கடினம். முறையான சரிபார்ப்பு மற்றும் சோதனைக்கு இடையிலான எல்லையில் உள்ள சிக்கல்களைத் தீர்ப்பதை நோக்கமாகக் கொண்ட 2001 பட்டறையின் பெயராக சொல் இயக்க நேர சரிபார்ப்பு முறையாக அறிமுகப்படுத்தப்பட்டது. பெரிய குறியீடு தளங்களுக்கு, கைமுறையாக எழுதும் சோதனை வழக்குகள் மிகவும் நேரத்தை எடுத்துக்கொள்கின்றன. கூடுதலாக, வளர்ச்சியின் போது அனைத்து பிழைகளையும் கண்டறிய முடியாது. விண்கலம், ரோவர்கள் மற்றும் ஏவியோனிக்ஸ் தொழில்நுட்பத்தில் உயர் பாதுகாப்பு தரங்களை காப்பகப்படுத்துவதற்காக கிளாஸ் ஹாவ்லண்ட் மற்றும் கிரிகோர் ரோசு ஆகியோரால் நாசா அமெஸ் ஆராய்ச்சி மையத்தில் தானியங்கி சரிபார்ப்புக்கான ஆரம்பகால பங்களிப்புகள் செய்யப்பட்டன. தற்காலிக தர்க்கத்தில் விவரக்குறிப்புகளை சரிபார்க்கவும், ஒற்றை செயல்படுத்தல் பாதைகளை பகுப்பாய்வு செய்வதன் மூலம் ஜாவா நிரல்களில் இனம் நிலைமைகள் மற்றும் டெட்லாக்குகளைக் கண்டறியவும் ஒரு கருவியை அவர்கள் முன்மொழிந்தனர். தற்போது, இயக்க நேர சரிபார்ப்பு நுட்பங்கள் பெரும்பாலும் பல்வேறு மாற்று பெயர்களுடன் வழங்கப்படுகின்றன, அதாவது இயக்க நேர கண்காணிப்பு, இயக்க நேர சரிபார்ப்பு, இயக்க நேர பிரதிபலிப்பு, இயக்க நேர பகுப்பாய்வு, மாறும் பகுப்பாய்வு, இயக்க நேர/மாறும் குறியீட்டு பகுப்பாய்வு, சுவடு பகுப்பாய்வு, பதிவு கோப்பு பகுப்பாய்வு போன்றவை, இவை அனைத்தும் வெவ்வேறு பகுதிகளுக்கு அல்லது வெவ்வேறு சமூகங்களைச் சேர்ந்த அறிஞர்களால் பயன்படுத்தப்படும் ஒரே உயர் மட்டக் கருத்தின் நிகழ்வுகளைக் குறிக்கின்றன. இயக்க நேர சரிபார்ப்பு மற்ற நன்கு நிறுவப்பட்ட பகுதிகளுடன் நெருக்கமாக தொடர்புடையது, அதாவது சோதனை (குறிப்பாக மாதிரி அடிப்படையிலான சோதனை) வரிசைப்படுத்தலுக்கு முன் பயன்படுத்தப்படும் போது மற்றும் வரிசைப்படுத்தலின் போது பயன்படுத்தப்படும் போது தவறு-சகிப்புத்தன்மை அமைப்புகள். இயக்க நேர சரிபார்ப்பின் பரந்த பகுதிக்குள், ஒருவர் பல பிரிவுகளை வேறுபடுத்திக் காட்டலாம், அதாவதுஃ அணுசக்தி போன்ற பெரும்பாலும் ஒத்திசைவு தொடர்பான பண்புகளின் நிலையான தொகுப்பை இலக்காகக் கொண்ட "விவரக்குறிப்பு-குறைவான" கண்காணிப்பு. இந்தத் துறையில் முன்னோடியாகச் செயல்படுவது சாவேஜ் மற்றும் பலர். தற்காலிக தர்க்க விவரக்குறிப்புகள் தொடர்பாக அழிப்பான் வழிமுறை கண்காணிப்புடன்; இந்த திசையில் ஆரம்பகால பங்களிப்புகள் லீ, கண்ணன் மற்றும் அவர்களின் ஒத்துழைப்பாளர்கள் மற்றும் ஹாவ்லண்ட் மற்றும் ரோசு ஆகியோரால் செய்யப்பட்டுள்ளன. அடிப்படை அணுகுமுறைகள் இயக்க நேர சரிபார்ப்பு முறைகளின் பரந்த புலத்தை மூன்று பரிமாணங்களால் வகைப்படுத்தலாம்ஃ அமைப்பை செயல்படுத்தும் போது (ஆன்லைன்) அல்லது செயல்படுத்திய பிறகு கண்காணிக்க முடியும். எ. கா. பதிவு பகுப்பாய்வு வடிவில் (ஆஃப்லைன்). சரிபார்ப்பு குறியீடு கணினியில் ஒருங்கிணைக்கப்படுகிறது (அம்சம் சார்ந்த நிரலாக்கத்தில் செய்வது போல) அல்லது ஒரு வெளிப்புற நிறுவனமாக வழங்கப்படுகிறது. மானிட்டர் விரும்பிய விவரக்குறிப்பின் மீறல் அல்லது சரிபார்ப்பைப் புகாரளிக்கலாம். இருப்பினும், இயக்க நேர சரிபார்ப்பில் அடிப்படை செயல்முறை ஒத்ததாகவே உள்ளதுஃ ஒரு மானிட்டர் சில முறையான விவரக்குறிப்புகளிலிருந்து உருவாக்கப்படுகிறது. பண்பு குறிப்பிடப்பட்ட முறையான மொழியின் சூத்திரங்களுக்கு சமமான தானியங்கி இருந்தால் இந்த செயல்முறை பொதுவாக தானாகவே செய்யப்படலாம். ஒரு வழக்கமான வெளிப்பாட்டை மாற்ற, ஒரு வரையறுக்கப்பட்ட-நிலை இயந்திரத்தைப் பயன்படுத்தலாம்; நேரியல் தற்காலிக தர்க்கத்தில் உள்ள ஒரு பண்பை புச்சி தானியங்கியாக மாற்றலாம் (புச்சி தானியங்கிக்கு நேரியல் தற்காலிக தர்க்கத்தையும் பார்க்கவும்). இந்த அமைப்பு அதன் செயல்பாட்டு நிலை தொடர்பான நிகழ்வுகளை மானிட்டருக்கு அனுப்ப கருவியாக உள்ளது. கணினி செயல்படுத்தப்பட்டு மானிட்டரால் சரிபார்க்கப்படுகிறது. மானிட்டர் பெறப்பட்ட நிகழ்வு தடத்தை சரிபார்த்து, விவரக்குறிப்பு திருப்தி அடைந்ததா என்பதை ஒரு தீர்ப்பை உருவாக்குகிறது. கூடுதலாக, தவறான நடத்தையை சரிசெய்ய மானிட்டர் கணினிக்கு கருத்துக்களை அனுப்புகிறது. ஆஃப்லைன் கண்காணிப்பைப் பயன்படுத்தும் போது, காரண அமைப்பு எந்த பின்னூட்டத்தையும் பெற முடியாது, ஏனெனில் சரிபார்ப்பு பிற்காலத்தில் செய்யப்படுகிறது. எடுத்துக்காட்டுகள் கீழே உள்ள எடுத்துக்காட்டுகள் இந்த எழுதும் நேரத்தில் (ஏப்ரல் 2011) பல இயக்க நேர சரிபார்ப்பு குழுக்களால் சிறிய மாறுபாடுகளுடன் கருதப்பட்ட சில எளிய பண்புகளைப் பற்றி விவாதிக்கின்றன. அவற்றை மேலும் சுவாரஸ்யமாக்க, கீழே உள்ள ஒவ்வொரு பண்பும் வெவ்வேறு விவரக்குறிப்பு சம்பிரதாயத்தைப் பயன்படுத்துகிறது, மேலும் அவை அனைத்தும் அளவுருவாகும். அளவுரு பண்புகள் என்பது அளவுரு நிகழ்வுகளுடன் உருவாக்கப்பட்ட தடயங்களைப் பற்றிய பண்புகளாகும், அவை தரவை அளவுருக்களுடன் பிணைக்கும் நிகழ்வுகளாகும். இங்கே ஒரு அளவுரு பண்பு வடிவத்தைக் கொண்டுள்ளது, அங்கு பொதுவான (நிறுவப்படாத) அளவுரு நிகழ்வுகளைக் குறிக்கும் சில பொருத்தமான சம்பிரதாயங்களில் ஒரு விவரக்குறிப்பு உள்ளது. இத்தகைய அளவுரு பண்புகளுக்கான உள்ளுணர்வு என்னவென்றால், வெளிப்படுத்தப்பட்ட பண்பு கவனிக்கப்பட்ட தடயத்தில் எதிர்கொள்ளும் அனைத்து அளவுரு நிகழ்வுகளுக்கும் (அளவுரு நிகழ்வுகள் மூலம்) இருக்க வேண்டும். பின்வரும் எடுத்துக்காட்டுகள் எதுவும் குறிப்பிட்ட இயக்க நேர சரிபார்ப்பு முறைக்கு குறிப்பிட்டவை அல்ல, இருப்பினும் அளவுருக்களுக்கான ஆதரவு வெளிப்படையாக தேவைப்படுகிறது. பின்வரும் எடுத்துக்காட்டுகளில் ஜாவா தொடரியல் கருதப்படுகிறது, எனவே "= =" என்பது தர்க்கரீதியான சமத்துவம், அதே நேரத்தில் "=" என்பது அசைன்மென்ட் ஆகும். சில முறைகள் (எ. கா., அன்ஸேஃப்இனம்எக்ஸாம்பிளில் உள்ள புதுப்பிப்பு ()) போலி முறைகள், அவை ஜாவா ஏபிஐயின் ஒரு பகுதியாக இல்லை, அவை தெளிவுக்குப் பயன்படுத்தப்படுகின்றன. அடுத்தது () முறை அழைக்கப்படுவதற்கு முன்பு நெக்ஸ்ட் () முறையை அழைக்க வேண்டும் மற்றும் உண்மை என்று திரும்ப வேண்டும் என்று ஜாவா ஐடெரேட்டர் இடைமுகம் தேவைப்படுகிறது. இது நடக்கவில்லை என்றால், ஒரு பயனர் ஒரு சேகரிப்பின் "இறுதியில்" மீண்டும் செய்வார். வலதுபுறத்தில் உள்ள படம் ஒரு வரையறுக்கப்பட்ட நிலை இயந்திரத்தைக் காட்டுகிறது, இது இயக்க நேர சரிபார்ப்புடன் இந்த சொத்தை சரிபார்த்து செயல்படுத்துவதற்கான சாத்தியமான மானிட்டரை வரையறுக்கிறது. அறியப்படாத நிலையில் இருந்து, அடுத்த () முறையை அழைப்பது எப்போதும் ஒரு பிழையாகும், ஏனெனில் அத்தகைய செயல்பாடு பாதுகாப்பற்றதாக இருக்கலாம். நெக்ஸ்ட் () அழைக்கப்பட்டு உண்மை என்று திரும்பினால், அடுத்த () ஐ அழைப்பது பாதுகாப்பானது, எனவே மானிட்டர் அதிக நிலைக்குள் நுழைகிறது. இருப்பினும், நெக்ஸ்ட் () முறை தவறாக இருந்தால், மேலும் கூறுகள் இல்லை, மேலும் மானிட்டர் இல்லை நிலையில் நுழைகிறது. அதிகமான மற்றும் எதுவும் இல்லாத மாநிலங்களில், ஹேஸ்நெக்ஸ்ட் () முறையை அழைப்பது புதிய தகவல்களை வழங்காது. அடுத்த () முறையை அதிக நிலையிலிருந்து அழைப்பது பாதுகாப்பானது, ஆனால் அதிக கூறுகள் இருந்தால் அது தெரியவில்லை, எனவே மானிட்டர் ஆரம்ப அறியப்படாத நிலைக்கு மீண்டும் நுழைகிறது. இறுதியாக, ஒன்றுமில்லை நிலையில் இருந்து அடுத்த () முறையை அழைப்பது பிழை நிலைக்குள் நுழைய வழிவகுக்கிறது. பின்வருவது அளவுரு கடந்த நேர நேர நேரியல் தற்காலிக தர்க்கத்தைப் பயன்படுத்தி இந்த சொத்தின் பிரதிநிதித்துவமாகும். இந்த சூத்திரம் அடுத்த () முறைக்கு எந்த அழைப்பும் உடனடியாக ஒரு அழைப்புக்கு முன்னதாக இருக்க வேண்டும் என்று கூறுகிறது அடுத்து () முறை உண்மை என்று திரும்பும். இங்குள்ள பண்பு Iterator i இல் அளவுருவாக உள்ளது. கருத்தியல் ரீதியாக, ஒரு சோதனை நிரலில் ஒவ்வொரு சாத்தியமான இடரேட்டருக்கும் மானிட்டரின் ஒரு நகல் இருக்கும் என்று அர்த்தம், இருப்பினும் இயக்க நேர சரிபார்ப்பு அமைப்புகள் அவற்றின் அளவுரு மானிட்டர்களை இந்த வழியில் செயல்படுத்த வேண்டியதில்லை. இந்த பண்புக்கான மானிட்டர் சூத்திரம் மீறப்படும்போது (வரையறுக்கப்பட்ட நிலை இயந்திரம் பிழை நிலைக்குள் நுழையும் போது சமமாக) ஒரு கையாளியைத் தூண்டுவதற்கு அமைக்கப்படும், இது அடுத்தது () முதலில் அழைக்காமல் அழைக்கப்படும்போது அடுத்தது (), அல்லது அடுத்தது () க்கு முன் அழைக்கப்படும்போது அடுத்தது (), ஆனால் தவறானது. ஜாவாவில் உள்ள வெக்டர் வகுப்பு அதன் கூறுகளுக்கு மேல் மீண்டும் செய்ய இரண்டு வழிகளைக் கொண்டுள்ளது. முந்தைய எடுத்துக்காட்டில் பார்த்தபடி, ஒருவர் இடரேட்டர் இடைமுகத்தைப் பயன்படுத்தலாம் அல்லது ஒருவர் கணக்கீட்டு இடைமுகத்தைப் பயன்படுத்தலாம். ஐடெரேட்டர் இடைமுகத்திற்கான நீக்குதல் முறையைச் சேர்ப்பதைத் தவிர, முக்கிய வேறுபாடு என்னவென்றால், ஐடெரேட்டர் "வேகமாக தோல்வியடைகிறது", அதே நேரத்தில் கணக்கீடு இல்லை. இதன் பொருள் என்னவென்றால், ஒருவர் ஐடெரேட்டரைப் பயன்படுத்தி வெக்டரின் மீது மீண்டும் மீண்டும் செய்யும்போது வெக்டரை மாற்றியமைத்தால் (ஐடெரேட்டர் அகற்றும் முறையைப் பயன்படுத்துவதைத் தவிர), ஒரு கான்குர்ரன்ட்மோடிபிகேஷன் எக்ஸெப்ஷன் வீசப்படும். இருப்பினும், ஒரு கணக்கீட்டைப் பயன்படுத்தும் போது இது குறிப்பிடப்பட்டபடி ஒரு வழக்கு அல்ல. கணக்கீட்டின் கண்ணோட்டத்தில் திசையன் சீரற்ற நிலையில் விடப்படுவதால் இது ஒரு நிரலில் இருந்து தீர்மானிக்கப்படாத முடிவுகளுக்கு வழிவகுக்கும். கணக்கீட்டு இடைமுகத்தை இன்னும் பயன்படுத்தும் மரபு நிரல்களுக்கு, அவற்றின் அடிப்படை வெக்டர் மாற்றியமைக்கப்படும்போது கணக்கீடுகள் பயன்படுத்தப்படுவதில்லை என்பதை ஒருவர் அமல்படுத்த விரும்பலாம். இந்த நடத்தையை செயல்படுத்த பின்வரும் அளவுரு வழக்கமான வடிவத்தைப் பயன்படுத்தலாம்ஃ வெக்டர் v, கணக்கீடு e: (e = v.elements ()) (e.nextElement ()) * v.update () e.nextElement () இந்த முறை கணக்கீடு மற்றும் வெக்டர் இரண்டிலும் அளவுருவாக உள்ளது. உள்ளுணர்வாக, மற்றும் மேலே உள்ள இயக்க நேர சரிபார்ப்பு அமைப்புகள் அவற்றின் அளவுரு மானிட்டர்களை இந்த வழியில் செயல்படுத்த வேண்டியதில்லை என்பதால், இந்த பண்புக்கான அளவுரு மானிட்டரை ஒவ்வொரு சாத்தியமான ஜோடி திசையன் மற்றும் கணக்கீட்டிற்கும் அளவுரு அல்லாத மானிட்டர் நிகழ்வை உருவாக்கி கண்காணிப்பதாக ஒருவர் நினைக்கலாம். சில நிகழ்வுகள் ஒரே நேரத்தில் பல மானிட்டர்களைப் பற்றியதாக இருக்கலாம், அதாவது v.update (), எனவே இயக்க நேர சரிபார்ப்பு அமைப்பு அவற்றை (மீண்டும் கருத்தியல் ரீதியாக) ஆர்வமுள்ள அனைத்து மானிட்டர்களுக்கும் அனுப்ப வேண்டும். இங்கே பண்பு குறிப்பிடப்பட்டுள்ளது, இதனால் அது நிரலின் மோசமான நடத்தைகளைக் குறிப்பிடுகிறது. இந்த பண்பு, பின்னர், வடிவத்தின் பொருத்தத்திற்காக கண்காணிக்கப்பட வேண்டும். வலதுபுறத்தில் உள்ள படம் இந்த வடிவத்துடன் பொருந்தக்கூடிய ஜாவா குறியீட்டைக் காட்டுகிறது, இதனால் சொத்தை மீறுகிறது. வெக்டர், v, கணக்கீடு செய்யப்பட்ட பிறகு புதுப்பிக்கப்படுகிறது, e, உருவாக்கப்படுகிறது, பின்னர் e பயன்படுத்தப்படுகிறது. முந்தைய இரண்டு எடுத்துக்காட்டுகள் வரையறுக்கப்பட்ட நிலை பண்புகளைக் காட்டுகின்றன, ஆனால் இயக்க நேர சரிபார்ப்பில் பயன்படுத்தப்படும் பண்புகள் மிகவும் சிக்கலானதாக இருக்கலாம். சேஃப்லாக் சொத்து ஒரு (மறுபயன்பாட்டாளர்) பூட்டு வகுப்பின் கையகப்படுத்துதல் மற்றும் வெளியீடுகளின் எண்ணிக்கை கொடுக்கப்பட்ட முறை அழைப்புக்குள் பொருந்துகிறது என்ற கொள்கையை செயல்படுத்துகிறது. இது, நிச்சயமாக, பூட்டுகளைப் பெறுவதைத் தவிர வேறு முறைகளில் அவற்றை வெளியிட அனுமதிப்பதில்லை, ஆனால் சோதனை செய்யப்பட்ட அமைப்பு அடைய இது மிகவும் விரும்பத்தக்க இலக்காக இருக்கலாம். ஒரு அளவுரு சூழல்-இல்லாத வடிவத்தைப் பயன்படுத்தி இந்த சொத்தின் விவரக்குறிப்பு கீழே உள்ளதுஃ β நூல் t, பூட்டு l: S → ε | S தொடக்கம் (t) S முடிவு (t) | S l.acquire (t) S l.release (t) இந்த முறை ஒவ்வொரு நூல் மற்றும் பூட்டுக்கும் (வெற்று வரிசை) உள்ளமைக்கப்பட்ட தொடக்கம்/முடிவு மற்றும் பெறுதல்/வெளியீட்டு ஜோடிகளின் சீரான வரிசைகளைக் குறிப்பிடுகிறது. இங்கே தொடக்கம் மற்றும் முடிவு என்பது நிரலில் உள்ள ஒவ்வொரு முறையின் தொடக்கத்தையும் முடிவையும் குறிக்கிறது (தங்களைப் பெறுவதற்கும் வெளியிடுவதற்கும் அழைப்புகளைத் தவிர). அவை நூலில் அளவுருவாக உள்ளன, ஏனெனில் அவை ஒரே நூலைச் சேர்ந்தவை என்றால் மட்டுமே முறைகளின் தொடக்கத்தையும் முடிவையும் தொடர்புபடுத்துவது அவசியம். வாங்குதல் மற்றும் வெளியீட்டு நிகழ்வுகளும் அதே காரணத்திற்காக நூலில் அளவுருவாக உள்ளன. அவை கூடுதலாக, லாக்கில் அளவுருவாக உள்ளன, ஏனெனில் ஒரு லாக்கின் வெளியீடுகளை மற்றொரு லாக்கின் கையகப்படுத்தல்களுடன் தொடர்புபடுத்த நாங்கள் விரும்பவில்லை. தீவிரத்தில், சொத்தின் ஒரு எடுத்துக்காட்டு இருக்கக்கூடும், அதாவது, லாக் உடன் த்ரெட்டின் ஒவ்வொரு சாத்தியமான கலவையிலும் சூழல் இல்லாத பாகுபடுத்தும் பொறிமுறையின் நகல் இருக்கும்; இது மீண்டும், உள்ளுணர்வாக நிகழ்கிறது, ஏனெனில் இயக்க நேர சரிபார்ப்பு அமைப்புகள் அதே செயல்பாட்டை வித்தியாசமாக செயல்படுத்தலாம். எடுத்துக்காட்டாக, ஒரு அமைப்பில் இழைகள், மற்றும் பூட்டுகள் மற்றும் இருந்தால், ஜோடிகளுக்கான பண்பு நிகழ்வுகளை பராமரிக்க முடியும் <,>, <,>, <,>, <,>, <,>, <,>, <,>, மற்றும் <,>. முறை சரியான நடத்தையை குறிப்பிட்டுள்ளதால், வடிவத்துடன் பொருந்தாத தோல்விகளுக்கு இந்த பண்பு கண்காணிக்கப்பட வேண்டும். வலதுபுறத்தில் உள்ள படம் இந்த சொத்தின் இரண்டு மீறல்களை உருவாக்கும் ஒரு தடயத்தைக் காட்டுகிறது. படத்தில் உள்ள படிகள் ஒரு முறையின் தொடக்கத்தைக் குறிக்கின்றன, அதே நேரத்தில் மேலே உள்ள படிகள் முடிவாகும். படத்தில் உள்ள சாம்பல் நிற அம்புகள் அதே லாக்கின் கொடுக்கப்பட்ட கையகப்படுத்துதல்களுக்கும் வெளியீடுகளுக்கும் இடையிலான பொருத்தத்தைக் காட்டுகின்றன. எளிமைக்காக, சுவடு ஒரு நூல் மற்றும் ஒரு பூட்டை மட்டுமே காட்டுகிறது. ஆராய்ச்சி சவால்கள் மற்றும் பயன்பாடுகள் பெரும்பாலான இயக்க நேர சரிபார்ப்பு ஆராய்ச்சி கீழே பட்டியலிடப்பட்டுள்ள ஒன்று அல்லது அதற்கு மேற்பட்ட தலைப்புகளை உரையாற்றுகிறது. இயக்க நேர மேல்நிலையைக் குறைப்பது ஒரு செயல்படுத்தும் அமைப்பைக் கவனிப்பது பொதுவாக சில இயக்க நேர மேல்நிலையைக் கொண்டுள்ளது (வன்பொருள் மானிட்டர்கள் விதிவிலக்காக இருக்கலாம்). இயக்க நேர சரிபார்ப்பு கருவிகளின் மேல்நிலையை முடிந்தவரை குறைப்பது முக்கியம், குறிப்பாக உருவாக்கப்பட்ட மானிட்டர்கள் கணினியுடன் பயன்படுத்தப்படும்போது. இயக்க நேர மேல்நிலை குறைப்பு நுட்பங்களில் பின்வருவன அடங்கும்ஃ மேம்படுத்தப்பட்ட கருவி. செயல்படுத்தும் அமைப்பிலிருந்து நிகழ்வுகளை பிரித்தெடுத்து அவற்றை மானிட்டர்களுக்கு அனுப்புவது அப்பாவித்தனமாக செய்தால் ஒரு பெரிய இயக்க நேர மேல்நிலையை உருவாக்கலாம். எந்தவொரு இயக்க நேர சரிபார்ப்பு கருவிக்கும் நல்ல கணினி கருவி முக்கியமானது, கருவி ஏற்கனவே இருக்கும் செயலாக்க பதிவுகளை வெளிப்படையாக குறிவைக்காவிட்டால். தற்போதைய பயன்பாட்டில் பல கருவி அணுகுமுறைகள் உள்ளன, ஒவ்வொன்றும் அதன் நன்மைகள் மற்றும் தீமைகளுடன், தனிப்பயன் அல்லது கையேடு கருவி முதல், சிறப்பு நூலகங்கள் வரை, அம்சம் சார்ந்த மொழிகளில் தொகுத்தல், மெய்நிகர் இயந்திரத்தை மேம்படுத்துதல், வன்பொருள் ஆதரவை உருவாக்குதல் வரை. நிலையான பகுப்பாய்வுடன் இணைத்தல். நிலையான மற்றும் மாறும் பகுப்பாய்வுகளின் பொதுவான கலவை, குறிப்பாக தொகுப்பாளர்களில் எதிர்கொள்ளும், நிலையான முறையில் வெளியேற்ற முடியாத அனைத்து தேவைகளையும் கண்காணிப்பதாகும். ஒரு இரட்டை மற்றும் இறுதியில் சமமான அணுகுமுறை இயக்க நேர சரிபார்ப்பில் நெறிமுறையாக மாறுகிறது, அதாவது முழுமையான கண்காணிப்பின் அளவைக் குறைக்க நிலையான பகுப்பாய்வைப் பயன்படுத்துவது. நிலையான பகுப்பாய்வு கண்காணிக்க வேண்டிய சொத்தில் மற்றும் கண்காணிக்கப்பட வேண்டிய அமைப்பில் ஆகிய இரண்டிலும் செய்யப்படலாம். கண்காணிக்க வேண்டிய சொத்தின் நிலையான பகுப்பாய்வு சில நிகழ்வுகளை கண்காணிக்க தேவையற்றது என்பதையும், சில மானிட்டர்களை உருவாக்குவது தாமதமாகலாம் என்பதையும், ஏற்கனவே உள்ள சில மானிட்டர்கள் ஒருபோதும் தூண்டப்படாது என்பதையும், இதனால் குப்பை சேகரிக்கப்படலாம் என்பதையும் வெளிப்படுத்தலாம். கண்காணிப்பதற்கான அமைப்பின் நிலையான பகுப்பாய்வு மானிட்டர்களை ஒருபோதும் பாதிக்க முடியாத குறியீட்டைக் கண்டறிய முடியும். எடுத்துக்காட்டாக, மேலே உள்ள ஹஸ்நெக்ஸ்ட் பண்பைக் கண்காணிக்கும் போது, ஒவ்வொரு அழைப்பும் i.next () எந்தவொரு பாதையிலும் உடனடியாக ஒரு அழைப்பு i.hasnext () மூலம் முன்கூட்டியே இருக்கும் குறியீட்டின் கருவி பகுதிகள் தேவையில்லை, அது உண்மையாகத் திரும்பும் (கட்டுப்பாட்டு-ஓட்ட வரைபடத்தில் தெரியும்). திறமையான கண்காணிப்பு உருவாக்கம் மற்றும் மேலாண்மை. மேலே உள்ள எடுத்துக்காட்டுகளில் உள்ளதைப் போன்ற அளவுரு பண்புகளைக் கண்காணிக்கும் போது, கண்காணிப்பு அமைப்பு ஒவ்வொரு அளவுரு நிகழ்வையும் பொறுத்து கண்காணிக்கப்பட்ட சொத்தின் நிலையை கண்காணிக்க வேண்டும். இத்தகைய நிகழ்வுகளின் எண்ணிக்கை கோட்பாட்டளவில் வரம்பற்றது மற்றும் நடைமுறையில் மகத்தானது. கவனிக்கப்பட்ட நிகழ்வுகளை துல்லியமாக தேவைப்படும் நிகழ்வுகளுக்கு எவ்வாறு திறம்பட அனுப்புவது என்பது ஒரு முக்கியமான ஆராய்ச்சி சவால். ஒரு தொடர்புடைய சவால் என்னவென்றால், இதுபோன்ற நிகழ்வுகளின் எண்ணிக்கையை எவ்வாறு சிறியதாக வைத்திருப்பது (இதனால் அனுப்புதல் வேகமாக இருக்கும்), அல்லது வேறு வார்த்தைகளில் கூறுவதானால், முடிந்தவரை தேவையற்ற நிகழ்வுகளை உருவாக்குவதைத் தவிர்ப்பது எப்படி, இரண்டாவதாக, ஏற்கனவே உருவாக்கப்பட்ட நிகழ்வுகளை அவை தேவையற்றதாக மாறியவுடன் எவ்வாறு அகற்றுவது. இறுதியாக, அளவுரு கண்காணிப்பு வழிமுறைகள் பொதுவாக அளவுரு அல்லாத மானிட்டர்களை உருவாக்குவதற்கான ஒத்த வழிமுறைகளை பொதுமைப்படுத்துகின்றன. எனவே, உருவாக்கப்பட்ட அளவுரு அல்லாத மானிட்டர்களின் தரம் இதன் விளைவாக வரும் அளவுரு மானிட்டர்களின் தரத்தை ஆணையிடுகிறது. இருப்பினும், பிற சரிபார்ப்பு அணுகுமுறைகளைப் போலல்லாமல் (எ. கா., மாதிரி சரிபார்ப்பு), இயக்க நேர சரிபார்ப்பில் நிலைகளின் எண்ணிக்கை அல்லது உருவாக்கப்பட்ட மானிட்டரின் அளவு குறைவான முக்கியத்துவம் வாய்ந்தது; உண்மையில், சில மானிட்டர்கள் எண்ணற்ற பல நிலைகளைக் கொண்டிருக்கலாம், மேலே உள்ள சேஃப்லாக் சொத்துக்கானது போன்றது, இருப்பினும் எந்த நேரத்திலும் வரையறுக்கப்பட்ட எண்ணிக்கையிலான நிலைகள் மட்டுமே ஏற்பட்டிருக்கலாம். செயல்படுத்தும் அமைப்பிலிருந்து ஒரு நிகழ்வைப் பெறும்போது மானிட்டர் ஒரு மாநிலத்திலிருந்து அதன் அடுத்த நிலைக்கு எவ்வளவு திறமையாக மாறுகிறது என்பது முக்கியம். பண்புகளைக் குறிப்பிடுவது அனைத்து முறையான அணுகுமுறைகளின் முக்கிய நடைமுறைத் தடைகளில் ஒன்று, அவற்றின் பயனர்கள் தயங்குகிறார்கள், அல்லது தெரியாது மற்றும் விவரக்குறிப்புகளை எவ்வாறு படிப்பது அல்லது எழுதுவது என்பதைக் கற்றுக்கொள்ள விரும்பவில்லை. சில சந்தர்ப்பங்களில் டெட்லாக்குகள் மற்றும் தரவு-பந்தயங்கள் போன்ற விவரக்குறிப்புகள் மறைமுகமாக உள்ளன, ஆனால் பெரும்பாலான சந்தர்ப்பங்களில் அவை தயாரிக்கப்பட வேண்டும். ஒரு கூடுதல் அசௌகரியம், குறிப்பாக இயக்க நேர சரிபார்ப்பின் சூழலில், தற்போதுள்ள பல விவரக்குறிப்பு மொழிகள் விரும்பிய பண்புகளைப் பிடிக்க போதுமான வெளிப்பாட்டைக் கொண்டிருக்கவில்லை. சிறந்த சம்பிரதாயங்கள். வழக்கமான விவரக்குறிப்பு சம்பிரதாயங்களை விட ரன்டைம் சரிபார்ப்புக்கு விரும்பிய பயன்பாட்டு களங்களுக்கு ஏற்ற விவரக்குறிப்பு சம்பிரதாயங்களை வடிவமைப்பதில் ரன்டைம் சரிபார்ப்பு சமூகத்தில் குறிப்பிடத்தக்க அளவு வேலை செய்யப்பட்டுள்ளது. இவற்றில் சில வழக்கமான சம்பிரதாயங்களில் சிறிய அல்லது சொற்பொருள் மாற்றங்களைக் கொண்டுள்ளன, ஆனால் அவற்றின் சொற்பொருள்களில் ஏற்படும் மாற்றங்கள் மட்டுமே (எ. கா., வரையறுக்கப்பட்ட சுவடு மற்றும் எல்லையற்ற சுவடு சொற்பொருள் போன்றவை) மற்றும் அவற்றின் செயல்பாட்டிற்கு (புச்சி தானியங்கி இயந்திரங்களுக்கு பதிலாக உகந்த வரையறுக்கப்பட்ட மாநில இயந்திரங்கள் போன்றவை). மற்றவர்கள் தற்போதுள்ள சம்பிரதாயங்களை இயக்க நேர சரிபார்ப்புக்கு ஏற்ற அம்சங்களுடன் விரிவுபடுத்துகிறார்கள், ஆனால் மேலே உள்ள எடுத்துக்காட்டுகளில் காணப்படுவது போல் அளவுருக்களைச் சேர்ப்பது போன்ற பிற சரிபார்ப்பு அணுகுமுறைகளுக்கு எளிதில் இருக்காது. இறுதியாக, இயக்க நேர சரிபார்ப்புக்காக குறிப்பாக வடிவமைக்கப்பட்ட விவரக்குறிப்பு சம்பிரதாயங்கள் உள்ளன, அவை இந்த களத்திற்கு சிறந்ததை அடைய முயற்சிக்கின்றன மற்றும் பிற பயன்பாட்டு களங்களைப் பற்றி சிறிதும் அக்கறை காட்டவில்லை. இயக்க நேர சரிபார்ப்புக்கான உலகளாவிய சிறந்த அல்லது கள-குறிப்பாக சிறந்த விவரக்குறிப்பு சம்பிரதாயங்களை வடிவமைப்பது அதன் முக்கிய ஆராய்ச்சி சவால்களில் ஒன்றாகத் தொடரும். அளவு பண்புகள். பிற சரிபார்ப்பு அணுகுமுறைகளுடன் ஒப்பிடும்போது, இயக்க நேர சரிபார்ப்பு கணினி நிலை மாறிகளின் உறுதியான மதிப்புகளில் செயல்பட முடியும், இது நிரல் செயல்படுத்தல் பற்றிய புள்ளிவிவர தகவல்களைச் சேகரிக்கவும், சிக்கலான அளவு பண்புகளை மதிப்பிடுவதற்கு இந்தத் தகவலைப் பயன்படுத்தவும் உதவுகிறது. இந்த திறனை முழுமையாகப் பயன்படுத்த அனுமதிக்கும் அதிக வெளிப்படையான பண்பு மொழிகள் தேவை. சிறந்த இடைமுகங்கள். நிபுணர்கள் அல்லாதவர்களுக்கு சொத்து விவரக்குறிப்புகளைப் படிப்பதும் எழுதுவதும் எளிதானது அல்ல. வல்லுநர்கள் கூட பெரும்பாலும் ஒப்பீட்டளவில் சிறிய தற்காலிக தர்க்க சூத்திரங்களை (குறிப்பாக அவர்கள் "வரை" ஆபரேட்டர்களை கூடு கட்டும்போது) நிமிடங்களுக்கு உற்று நோக்குகிறார்கள். ஒரு முக்கியமான ஆராய்ச்சி பகுதி பல்வேறு விவரக்குறிப்பு சம்பிரதாயங்களுக்கான சக்திவாய்ந்த பயனர் இடைமுகங்களை உருவாக்குவதாகும், இது பயனர்கள் எளிதில் புரிந்துகொள்ளவும், எழுதவும், பண்புகளை காட்சிப்படுத்தவும் அனுமதிக்கும். சுரங்க விவரக்குறிப்புகள். விவரக்குறிப்புகளை உருவாக்க பயனர்களுக்கு எந்த கருவி ஆதரவு இருந்தாலும், குறிப்பாக அவை அற்பமானதாக இருக்கும்போது, எந்த விவரக்குறிப்புகளையும் எழுத வேண்டியதில்லை என்பதில் அவர்கள் எப்போதும் மகிழ்ச்சியடைவார்கள். அதிர்ஷ்டவசமாக, ஒருவர் பண்புகளைக் கொண்டிருக்க விரும்பும் செயல்கள்/நிகழ்வுகளைச் சரியாகப் பயன்படுத்துவதாகக் கூறப்படும் ஏராளமான நிரல்கள் உள்ளன. அப்படியானால், ஒருவர் அந்த சரியான நிரல்களைப் பயன்படுத்த விரும்புகிறார், அவர்களிடமிருந்து விரும்பிய பண்புகளை தானாகக் கற்றுக்கொள்வதன் மூலம். தானாகவே வெட்டப்பட்ட விவரக்குறிப்புகளின் ஒட்டுமொத்த தரம் கைமுறையாக தயாரிக்கப்பட்ட விவரக்குறிப்புகளை விட குறைவாக இருக்கும் என்று எதிர்பார்க்கப்பட்டாலும், அவை பிந்தையவற்றின் தொடக்க புள்ளியாகவோ அல்லது பிழைகளைக் கண்டுபிடிப்பதை நோக்கமாகக் கொண்ட தானியங்கி இயக்க நேர சரிபார்ப்பு கருவிகளுக்கான அடிப்படையாகவோ செயல்பட முடியும் (அங்கு ஒரு மோசமான விவரக்குறிப்பு தவறான நேர்மறைகளாக அல்லது எதிர்மறைகளாக மாறுகிறது, பெரும்பாலும் சோதனையின் போது ஏற்றுக்கொள்ளப்படுகிறது). செயலாக்க மாதிரிகள் மற்றும் முன்கணிப்பு பகுப்பாய்வு பிழைகளைக் கண்டறிவதற்கான இயக்க நேர சரிபார்ப்பின் திறன் கண்டிப்பாக செயலாக்க தடயங்களை பகுப்பாய்வு செய்வதற்கான அதன் திறனைப் பொறுத்தது. கணினியுடன் மானிட்டர்கள் பயன்படுத்தப்படும்போது, கருவி பொதுவாக குறைவாக இருக்கும் மற்றும் இயக்க நேர மேல்நிலையை குறைவாக வைத்திருக்க செயல்படுத்தும் தடங்கள் முடிந்தவரை எளிமையானவை. சோதனைக்காக இயக்க நேர சரிபார்ப்பு பயன்படுத்தப்படும்போது, முக்கியமான கணினி தகவல்களுடன் நிகழ்வுகளை அதிகரிக்கும் விரிவான கருவிகளை ஒருவர் வாங்க முடியும், அவை மானிட்டர்களால் கட்டமைக்கப் பயன்படுத்தப்படலாம், எனவே செயல்படுத்தும் அமைப்பின் மிகவும் சுத்திகரிக்கப்பட்ட மாதிரிகளை பகுப்பாய்வு செய்யலாம். எடுத்துக்காட்டாக, திசையன் கடிகாரத் தகவல்களுடன் நிகழ்வுகளை அதிகரிப்பது மற்றும் தரவு மற்றும் கட்டுப்பாட்டு ஓட்டத் தகவல்களுடன் மானிட்டர்கள் இயங்கும் அமைப்பின் ஒரு காரண மாதிரியை உருவாக்க அனுமதிக்கிறது, இதில் கவனிக்கப்பட்ட செயல்பாடு ஒரு சாத்தியமான எடுத்துக்காட்டு மட்டுமே. மாதிரியுடன் ஒத்துப்போகும் நிகழ்வுகளின் வேறு எந்த வரிசைமாற்றமும் அமைப்பின் சாத்தியமான செயல்பாடாகும், இது வேறு நூல் இன்டர்லீவிங்கின் கீழ் நிகழலாம். இத்தகைய அனுமானிக்கப்பட்ட மரணதண்டனைகளில் சொத்து மீறல்களைக் கண்டறிவது (அவற்றைக் கண்காணிப்பதன் மூலம்) கண்காணிப்பாளர் கவனிக்கப்பட்ட மரணதண்டனையில் நடக்காத பிழைகளை கணிக்க வைக்கிறது, ஆனால் அதே அமைப்பின் மற்றொரு மரணதண்டனையில் இது நிகழலாம். ஒரு முக்கியமான ஆராய்ச்சி சவால் என்னவென்றால், முடிந்தவரை பல செயலாக்க தடயங்களைக் கொண்ட செயலாக்க தடயங்களிலிருந்து மாதிரிகளைப் பிரித்தெடுப்பது. நடத்தை மாற்றம் சோதனை அல்லது முழுமையான சரிபார்ப்பு போலல்லாமல், இயக்க நேர சரிபார்ப்பு, மறுசீரமைப்பு, மைக்ரோ-மீட்டமைப்புகள் அல்லது சில நேரங்களில் ட்யூனிங் அல்லது ஸ்டீயரிங் என்று குறிப்பிடப்படும் சிறந்த தலையீட்டு வழிமுறைகள் மூலம் கண்டறியப்பட்ட மீறல்களிலிருந்து கணினியை மீட்டெடுக்க அனுமதிக்கும் வாக்குறுதியைக் கொண்டுள்ளது. இயக்க நேர சரிபார்ப்பின் கடுமையான கட்டமைப்பிற்குள் இந்த நுட்பங்களை செயல்படுத்துவது கூடுதல் சவால்களுக்கு வழிவகுக்கிறது. செயல்களின் விவரக்குறிப்பு. பொருத்தமற்ற அமலாக்க விவரங்களை பயனர் தெரிந்து கொள்ள வேண்டிய அவசியமில்லாத ஒரு சுருக்கமான பாணியில் செய்யப்பட வேண்டிய மாற்றத்தை ஒருவர் குறிப்பிட வேண்டும். கூடுதலாக, அத்தகைய மாற்றம் எப்போது நடக்க முடியும் என்பதை அமைப்பின் ஒருமைப்பாட்டை பராமரிப்பதற்காக குறிப்பிட வேண்டும். தலையீடு விளைவுகளைப் பற்றி நியாயப்படுத்துதல். ஒரு தலையீடு நிலைமையை மேம்படுத்துகிறது அல்லது குறைந்தபட்சம் நிலைமையை மோசமாக்காது என்பதை அறிவது முக்கியம். செயல் இடைமுகங்கள். கண்காணிப்புக்கான கருவியைப் போலவே, செயல் அழைப்புகளைப் பெறுவதற்கு அமைப்பை நாம் செயல்படுத்த வேண்டும். அழைப்பு வழிமுறைகள் தேவைக்கேற்ப அமைப்பின் செயல்படுத்தல் விவரங்களைப் பொறுத்தது. இருப்பினும், விவரக்குறிப்பு மட்டத்தில், எந்த நிபந்தனைகளின் கீழ் என்ன நடவடிக்கைகள் பயன்படுத்தப்பட வேண்டும் என்பதைக் குறிப்பிடுவதன் மூலம் கணினிக்கு கருத்துக்களை வழங்குவதற்கான ஒரு அறிவிப்பு வழியை பயனருக்கு வழங்க வேண்டும். தொடர்புடைய வேலை அம்சம் சார்ந்த நிரலாக்க ஆராய்ச்சியாளர்கள் ரன்டைம் சரிபார்ப்பில் அம்சம் சார்ந்த நிரலாக்கத்தை ஒரு மாடுலர் வழியில் நிரல் கருவிகளை வரையறுப்பதற்கான ஒரு நுட்பமாக பயன்படுத்துவதற்கான திறனை அங்கீகரித்தனர். அம்சம் சார்ந்த நிரலாக்கம் (ஏ. ஓ. பி) பொதுவாக குறுக்குவெட்டு கவலைகளின் மாடுலரைசேஷனை ஊக்குவிக்கிறது. இயக்க நேர சரிபார்ப்பு இயற்கையாகவே அத்தகைய ஒரு கவலையாகும், எனவே ஏ. ஓ. பி. யின் சில பண்புகளிலிருந்து பயனடையலாம். அம்சம் சார்ந்த மானிட்டர் வரையறைகள் பெரும்பாலும் அறிவிப்பாகும், எனவே ஒரு கட்டாய நிரலாக்க மொழியில் எழுதப்பட்ட நிரல் மாற்றத்தின் மூலம் வெளிப்படுத்தப்படும் கருவிகளை விட நியாயப்படுத்துவது எளிது. மேலும், நிலையான பகுப்பாய்வுகள் மற்ற வகையான நிரல் கருவிகளைக் காட்டிலும் அம்சங்களைக் கண்காணிப்பது பற்றி மிகவும் எளிதாக நியாயப்படுத்தலாம், ஏனெனில் அனைத்து கருவிகளும் ஒரே அம்சத்திற்குள் உள்ளன. பல தற்போதைய இயக்க நேர சரிபார்ப்பு கருவிகள் எனவே விவரக்குறிப்பு தொகுப்பான்களின் வடிவத்தில் கட்டப்பட்டுள்ளன, அவை ஒரு வெளிப்படையான உயர் மட்ட விவரக்குறிப்பை உள்ளீடாக எடுத்து சில அம்சம் சார்ந்த நிரலாக்க மொழியில் (ஆஸ்பெக்ட்ஜே போன்றவை) எழுதப்பட்ட வெளியீட்டு குறியீடாக உற்பத்தி செய்கின்றன. முறையான சரிபார்ப்பு ரன்டைம் சரிபார்ப்புடன் இணைத்தல், நிரூபிக்கக்கூடிய சரியான மீட்புக் குறியீட்டுடன் இணைந்து பயன்படுத்தப்பட்டால், நிரல் சரிபார்ப்புக்கு ஒரு விலைமதிப்பற்ற உள்கட்டமைப்பை வழங்க முடியும், இது பிந்தையவற்றின் சிக்கலை கணிசமாகக் குறைக்கும். எடுத்துக்காட்டாக, குவியல்-வகைப்படுத்தல் வழிமுறையை முறையாக சரிபார்ப்பது மிகவும் சவாலானது. அதை சரிபார்க்க ஒரு குறைவான சவாலான நுட்பம் என்னவென்றால், அதன் வெளியீட்டை வரிசைப்படுத்துவதைக் கண்காணிப்பது (ஒரு நேரியல் சிக்கலான மானிட்டர்), வரிசைப்படுத்தப்படாவிட்டால், சில எளிதில் சரிபார்க்கக்கூடிய நடைமுறையைப் பயன்படுத்தி அதை வரிசைப்படுத்தவும், செருகும் வரிசை என்று சொல்லுங்கள். இதன் விளைவாக வரிசைப்படுத்தும் திட்டம் இப்போது எளிதில் சரிபார்க்கக்கூடியது, குவியல்-வகைப்படுத்தலில் இருந்து தேவைப்படும் ஒரே விஷயம் என்னவென்றால், இது ஒரு மல்டிசெட் என்று கருதப்படும் அசல் கூறுகளை அழிக்காது, இது நிரூபிக்க மிகவும் எளிதானது. மற்றொரு திசையில் இருந்து பார்க்கும்போது, முறையான சரிபார்ப்புக்கு பதிலாக நிலையான பகுப்பாய்விற்கு ஏற்கனவே மேலே குறிப்பிட்டுள்ளபடி, இயக்க நேர சரிபார்ப்பின் மேல்நிலையைக் குறைக்க முறையான சரிபார்ப்பைப் பயன்படுத்தலாம். உண்மையில், ஒருவர் முழுமையாக சரிபார்க்கப்பட்ட இயக்க நேரத்துடன் தொடங்கலாம், ஆனால் மெதுவான நிரலாக இருக்கலாம். பின்னர் ஒருவர் மானிட்டர்களை வெளியேற்ற முறையான சரிபார்ப்பைப் (அல்லது நிலையான பகுப்பாய்வு) பயன்படுத்தலாம், அதே போல் ஒரு கம்பைலர் நிலையான பகுப்பாய்வைப் பயன்படுத்தி சரியான வகை அல்லது நினைவகப் பாதுகாப்பின் இயக்க நேரச் சோதனைகளை வெளியிடுகிறது. அதிகரித்த கவரேஜ் மிகவும் பாரம்பரிய சரிபார்ப்பு அணுகுமுறைகளுடன் ஒப்பிடும்போது, இயக்க நேர சரிபார்ப்பின் உடனடி குறைபாடு அதன் குறைக்கப்பட்ட கவரேஜ் ஆகும். இயக்க நேர மானிட்டர்கள் கணினியுடன் பயன்படுத்தப்படும்போது இது சிக்கலானது அல்ல (சொத்து மீறப்படும்போது செயல்படுத்தப்பட வேண்டிய பொருத்தமான மீட்பு குறியீட்டுடன்), ஆனால் கணினிகளில் பிழைகளைக் கண்டறியப் பயன்படுத்தப்படும்போது இயக்க நேர சரிபார்ப்பின் செயல்திறனைக் கட்டுப்படுத்தலாம். பிழை கண்டறிதல் நோக்கங்களுக்காக இயக்க நேர சரிபார்ப்பின் வரம்பை அதிகரிப்பதற்கான நுட்பங்கள் பின்வருமாறுஃ உள்ளீட்டு உருவாக்கம். ஒரு நல்ல உள்ளீடுகளின் தொகுப்பை உருவாக்குவது (நிரல் உள்ளீடு மாறி மதிப்புகள், கணினி அழைப்பு மதிப்புகள், நூல் அட்டவணைகள் போன்றவை) என்பது அனைவரும் அறிந்ததே. சோதனையின் செயல்திறனை பெரிதும் அதிகரிக்க முடியும். பிழையைக் கண்டறிவதற்குப் பயன்படுத்தப்படும் இயக்க நேர சரிபார்ப்புக்கும் இது பொருந்தும், ஆனால் உள்ளீட்டு உற்பத்தி செயல்முறையை இயக்க நிரல் குறியீட்டைப் பயன்படுத்துவதோடு மட்டுமல்லாமல், இயக்க நேர சரிபார்ப்பில் ஒருவர் சொத்து விவரக்குறிப்புகளையும் பயன்படுத்தலாம், கிடைக்கும்போது, மேலும் கண்காணிப்பு நுட்பங்களையும் பயன்படுத்தலாம் விரும்பிய நடத்தைகளைத் தூண்டவும். ரன்டைம் சரிபார்ப்பின் இந்த பயன்பாடு அதை மாதிரி அடிப்படையிலான சோதனையுடன் நெருக்கமாக தொடர்புபடுத்துகிறது, இருப்பினும் ரன்டைம் சரிபார்ப்பு விவரக்குறிப்புகள் பொதுவாக பொதுவான நோக்கத்திற்காக இருந்தாலும், சோதனை காரணங்களுக்காக வடிவமைக்கப்பட வேண்டிய அவசியமில்லை. எடுத்துக்காட்டாக, மேலே உள்ள பொது-நோக்க அன்சேஃப்இனம் பண்புகளை சோதிக்க ஒருவர் விரும்புகிறார் என்பதைக் கவனியுங்கள். கணினி செயல்பாட்டை செயலற்ற முறையில் கவனிக்க மேற்கூறிய மானிட்டரை உருவாக்குவதற்குப் பதிலாக, ஒருவர் ஒரு புத்திசாலித்தனமான மானிட்டரை உருவாக்கலாம், இது இரண்டாவது e.nextElement () நிகழ்வை உருவாக்க முயற்சிக்கும் நூலை உறைய வைக்கிறது (அது அதை உருவாக்குவதற்கு சற்று முன்பு), மற்ற நூல்களை செயல்படுத்த அனுமதிக்கிறது அவற்றில் ஒன்று v.update () நிகழ்வை உருவாக்கக்கூடும் என்ற நம்பிக்கையில், இந்த விஷயத்தில் ஒரு பிழை கண்டறியப்பட்டுள்ளது. டைனமிக் குறியீட்டு செயல்படுத்தல். குறியீட்டு செயலாக்கத் திட்டங்கள் குறியீடாக செயல்படுத்தப்பட்டு கண்காணிக்கப்படுகின்றன, அதாவது உறுதியான உள்ளீடுகள் இல்லாமல். அமைப்பின் ஒரு குறியீட்டு செயலாக்கம் ஒரு பெரிய கான்கிரீட் உள்ளீடுகளை உள்ளடக்கியிருக்கலாம். ஆஃப்-தி-ஷெல்ஃப் கட்டுப்பாடு தீர்க்கும் அல்லது திருப்திகரமான சோதனை நுட்பங்கள் பெரும்பாலும் குறியீட்டு மரணதண்டனைகளை இயக்க அல்லது அவற்றின் இடத்தை முறையாக ஆராய பயன்படுத்தப்படுகின்றன. அடிப்படை திருப்திகரமான சரிபார்ப்பாளர்களால் ஒரு தேர்வு புள்ளியைக் கையாள முடியாதபோது, அந்த புள்ளியைக் கடக்க ஒரு உறுதியான உள்ளீட்டை உருவாக்க முடியும்; கான்கிரீட் மற்றும் குறியீட்டு செயல்பாட்டின் இந்த கலவையானது கான்காலிக் செயலாக்கம் என்றும் குறிப்பிடப்படுகிறது. மேலும் காண்க டைனமிக் புரோகிராம் அனாலிசிஸ் ப்ரோஃபைலிங் (கம்ப்யூட்டர் புரோகிராமிங்) ரன்டைம் எரர் டிடெக்ஷன் ரன்டைம் அப்ளிகேஷன் செல்ஃப் புரொடெக்ஷன் (ஆர்ஏஎஸ்பி) குறிப்புகள் முறையான முறைகள் கம்ப்யூட்டர் சயின்ஸில் லாஜிக்