மூலக் குறியீட்டைப் பகிராமல் நிரூபித்தல்: SJV, SJP மற்றும் நம்பிக்கை எல்லை

மென்பொருள் உருவாக்க உலகில், ஒரு மென்பொருள் அதன் மூலக் குறியீட்டைப் பகிராமலேயே எதிர்பார்த்தபடி செயல்படுகிறது என்பதை நீங்கள் நிரூபிக்க வேண்டிய தருணங்கள் ஏற்படுகின்றன. மூலக் குறியீட்டை ரகசியமாக வைத்திருக்கும் அதே வேளையில், மென்பொருள் பண்புகளை நிரூபிக்க அனுமதிக்கும் ஒரு முறையை இந்தக் கட்டுரை ஆராய்கிறது.

சவாலைப் புரிந்துகொள்ளுதல்

மென்பொருளுடன் பணிபுரியும் போது, குறிப்பாக தனியுரிமக் கூறுகள் அல்லது முக்கியமான தரவுகளை உள்ளடக்கிய திட்டங்களில், மூலக் குறியீட்டைப் பகிர்வது ஆபத்தானதாக இருக்கலாம். வழக்கமான தேர்வுகள் அவ்வளவு விரும்பத்தக்கதாக இருப்பதில்லை. நீங்கள் முழு செயலாக்கத்தையும் பகிர வேண்டியிருக்கலாம், இது உங்கள் அறிவுசார் சொத்தை வெளிப்படுத்தக்கூடும். மாற்றாக, மென்பொருள் சரிபார்க்கப்பட்டது என்று கூறும் ஓர் அறிக்கையை நீங்கள் நம்ப வேண்டியிருக்கலாம், ஆனால் அதில் பெரும்பாலும் வெளிப்படைத்தன்மை இருப்பதில்லை.

SJV மற்றும் SJP-ஐ அறிமுகப்படுத்துதல்

இந்தச் சவால்களை எதிர்கொள்ள, இரண்டு முக்கியக் கருத்துகளைப் பயன்படுத்தி ஒரு புதிய அணுகுமுறை ஆராயப்படுகிறது: SJV மற்றும் SJP.

• SJV (மென்பொருள் சரிபார்ப்பு ஒப்பந்தம்): இது மென்பொருள் வெளிப்படுத்த வேண்டிய பண்புகளைக் கோடிட்டுக் காட்டும் ஓர் ஆவணமாகும். மென்பொருள் எவ்வாறு கட்டமைக்கப்பட்டுள்ளது என்பதை வெளிப்படுத்தாமல் எதை நிரூபிக்க வேண்டும் என்பதை இது குறிப்பிடுகிறது.
• SJP (மென்பொருள் நியாயப்படுத்தப்பட்ட நிரூபணம்): இது சரிபார்ப்புச் செயல்பாட்டின் போது உருவாக்கப்படும் சான்றாகும். மென்பொருளானது SJV-இல் வரையறுக்கப்பட்ட பண்புகளைப் பூர்த்தி செய்கிறது என்பதை SJP காட்டுகிறது.

மென்பொருளின் செயலாக்கத்தை ஒப்பந்தம் மற்றும் நிரூபணத்திலிருந்து பிரிப்பதே இதன் அடிப்படைக் கருத்தாகும். இதன் பொருள் மூலக் குறியீடு உருவாக்குநரிடமே இருக்கும், அதே வேளையில் SJV மற்றும் SJP ஆகியவற்றை பெறுநருடன் பகிர்ந்து கொள்ள முடியும்.

இது எவ்வாறு செயல்படுகிறது

இந்தச் செயல்முறை எவ்வாறு செயல்படுகிறது என்பதன் எளிமைப்படுத்தப்பட்ட விளக்கம் இதோ:

படி 1: SJV-ஐ வரையறுத்தல்

மென்பொருளின் எதிர்பார்க்கப்படும் பண்புகளை விவரிக்கும் ஒரு SJV-ஐ உருவாக்குநர் உருவாக்குகிறார். எடுத்துக்காட்டாக, ஒரு குறிப்பிட்ட மதிப்பு வரையறுக்கப்பட்ட அதிகபட்ச அளவைத் தாண்டக்கூடாது என்று அது குறிப்பிடலாம்.

படி 2: SJP-ஐ உருவாக்குதல்

SJV-க்கு எதிராக மென்பொருளைச் சரிபார்த்த பிறகு, உருவாக்குநர் ஒரு SJP-ஐ உருவாக்குகிறார். இந்த ஆவணத்தில் பின்வருபவை உள்ளிட்ட சரிபார்ப்புச் சான்றுகள் உள்ளன:

• ஒரு சரிபார்ப்பு மேனிஃபெஸ்ட்
• உள்ளீடுகள் மற்றும் உள்ளமைவுகள் பற்றிய தகவல்கள்
• சரிபார்ப்பு முடிவுகள்
• கணிதக் கடப்பாடுகள்
• ஒருமைப்பாட்டுத் தரவு
• ஒரு மேனிஃபெஸ்ட் கையொப்பம்

படி 3: SJV மற்றும் SJP-ஐப் பகிர்தல்

உருவாக்குநர் SJV மற்றும் SJP ஆகியவற்றை பெறுநருடன் பகிர்ந்து கொள்கிறார். பின்னர் பெறுநர் கோரப்பட்ட பண்புகளைப் புரிந்து கொள்ள SJV-ஐ ஆய்வு செய்து, SJP-இன் ஒருமைப்பாட்டைச் சரிபார்க்கலாம்.

படி 4: கூற்றுகளைச் சரிபார்த்தல்

Z3 போன்ற கருவிகளைப் பயன்படுத்தி, பெறுநர் SJP-இல் சேமிக்கப்பட்டுள்ள கணிதக் கடப்பாடுகளை மீண்டும் இயக்க முடியும். இது மூலக் குறியீட்டை அணுக வேண்டிய அவசியமின்றி, SJV-இல் கூறப்பட்டுள்ள கூற்றுகள் உண்மைதானா என்பதைச் சரிபார்க்க அவர்களை அனுமதிக்கிறது.

நம்பிக்கை எல்லை

இந்தச் செயல்முறையில் ஒரு முக்கியமான கருத்து நம்பிக்கை எல்லை. இது ஒரு அமைப்பில் வெவ்வேறு நிலை நம்பிக்கைகளைக் கொண்ட பகுதிகளைப் பிரிக்கும் ஒரு கோடாகும். உதாரணமாக, உருவாக்குநர் தனது சொந்தக் குறியீட்டை நம்புகிறார், ஆனால் மூலக் குறியீட்டைக் கொடுத்துப் பெறுநரை நம்பாமல் இருக்கலாம். சுயாதீனமாக எதைச் சரிபார்க்க முடியும் மற்றும் எதற்கு நம்பிக்கை தேவை என்பதைத் தெளிவுபடுத்த நம்பிக்கை எல்லை உதவுகிறது.

கவனத்தில் கொள்ள வேண்டிய இரண்டு முக்கியக் கூற்றுகள் உள்ளன:

• கூற்று A: கணிதக் கடப்பாடுகள் செல்லுபடியாகும்.
• கூற்று B: இந்தக் கடப்பாடுகள், உருவாக்குநர் குறிப்பிடும் குறிப்பிட்ட ரகசியச் செயலாக்கத்திலிருந்து உருவாக்கப்பட்டவை.

SJP ஆனது கூற்று A-ஐ நிறுவ உதவக்கூடும், ஆனால் மூலக் குறியீடு இல்லாமல் அது கூற்று B-ஐ உறுதிப்படுத்தாது.

வரம்புகள் மற்றும் பரிசீலனைகள்

மூலக் குறியீட்டைப் பகிராமல் மென்பொருள் பண்புகளைச் சரிபார்க்க இந்த முறை ஒரு வழியை வழங்கினாலும், இதில் வரம்புகள் உள்ளன. SJV-இல் கோடிட்டுக் காட்டப்பட்டுள்ள பண்புகள்தான் தங்களுக்குத் தேவையானவை என்பதைப் பெறுநர் உறுதிப்படுத்திக் கொள்ள வேண்டும். ஒரு வெற்றிகரமான சரிபார்ப்பு, வரையறுக்கப்பட்ட பண்புகள் மாதிரியாக்கப்பட்ட எல்லைக்குள் மட்டுமே செல்லுபடியாகும் என்பதை உறுதிப்படுத்துகிறது; மென்பொருளில் பிழைகளே இல்லை என்பதற்கு அது உத்தரவாதம் அளிக்காது.

தோற்றத்திற்கான நிரூபணத்தை வலுப்படுத்த, பின்வருபவை போன்ற கூடுதல் வழிமுறைகளை நடைமுறைப்படுத்தலாம்:

• ஒரு சுயாதீன தணிக்கையாளரைக் கொண்டு மூலக் குறியீட்டை ஆய்வு செய்தல்.
• ஒரு கட்டுப்படுத்தப்பட்ட சூழலில் SJP-ஐ உருவாக்குதல்.
• நம்பகமான மூன்றாம் தரப்பினருக்கு மட்டுமே மூலக் குறியீட்டை வெளிப்படுத்துதல்.

முடிவுரை

SJV மற்றும் SJP-ஐப் பயன்படுத்தும் அணுகுமுறை, முக்கியமான மூலக் குறியீட்டைப் பகிர வேண்டிய அவசியமின்றி மென்பொருள் பண்புகளைச் சரிபார்க்க மிகவும் பாதுகாப்பான வழியை வழங்குகிறது. நம்பிக்கையும் பாதுகாப்பும் மிக முக்கியமானதாகக் கருதப்படும் இன்றைய மென்பொருள் சூழலில் இந்த முறை மிகவும் பொருத்தமானதாகும்.

நன்மைகள்

• மூலக் குறியீட்டை வெளிப்படுத்தாமல் சரிபார்ப்பதை சாத்தியமாக்குகிறது.
• கூற்றுகள், சான்றுகள் மற்றும் செயலாக்கம் ஆகியவற்றைத் தெளிவாகப் பிரிக்க அனுமதிக்கிறது.
• சுயாதீனமாகச் சரிபார்க்கக்கூடிய ஒரு கட்டமைக்கப்பட்ட நிரூபணத்தை வழங்குகிறது.

குறைபாடுகள்

• மென்பொருளில் பிழைகள் இல்லை என்பதற்கு உத்தரவாதம் அளிக்காது.
• பெறுநர் SJV-ஐப் புரிந்து கொள்வதையும் நம்புவதையும் சார்ந்துள்ளது.
• தோற்றத்திற்கான நிரூபணத்திற்கு கூடுதல் வழிமுறைகள் தேவைப்படுகின்றன.

எச்சரிக்கை

இந்தக் கட்டுரை கல்வி நோக்கங்களுக்காக மட்டுமே உருவாக்கப்பட்டுள்ளது. நடைமுறைப் பயன்பாடுகளில் ஏதேனும் ஒதுக்கிட மதிப்புகள் இருந்தால், அவை உண்மையான தரவுகளுடன் மாற்றப்பட வேண்டும். வாசகர்கள் கூற்றுகளை நம்புவதற்கு முன், அவற்றை அசல் மூலத்துடன் சரிபார்க்க வேண்டும்.

அடிக்கடி கேட்கப்படும் கேள்விகள்

• SJV என்றால் என்ன? — SJV என்பது மென்பொருள் சரிபார்ப்பு ஒப்பந்தத்தைக் குறிக்கிறது, இது ஒரு மென்பொருள் கூறு வெளிப்படுத்த வேண்டிய பண்புகளைக் கோடிட்டுக் காட்டுகிறது.
• SJP என்றால் என்ன? — SJP என்பது மென்பொருள் நியாயப்படுத்தப்பட்ட நிரூபணத்தைக் குறிக்கிறது, இது ஒரு மென்பொருள் கூறு அதன் குறிப்பிட்ட பண்புகளைப் பூர்த்தி செய்கிறது என்பதற்கான சான்றுகளைக் கொண்டுள்ள ஓர் ஆவணமாகும்.
• SJV மற்றும் SJP-ஐப் பிரிப்பது ஏன் முக்கியமானது? — இது மூலக் குறியீட்டை வெளிப்படுத்தாமல் மென்பொருள் பண்புகளைச் சரிபார்க்க அனுமதிக்கிறது, இதன் மூலம் பாதுகாப்பையும் நம்பிக்கையையும் மேம்படுத்துகிறது.
• மூலக் குறியீடு இல்லாமல் சரிபார்ப்பை எவ்வாறு செய்ய முடியும்? — SJP-இல் சேமிக்கப்பட்டுள்ள கணிதக் கடப்பாடுகளை மீண்டும் இயக்க Z3 போன்ற கருவிகளைப் பயன்படுத்துவதன் மூலம்.
• நம்பிக்கை எல்லை என்றால் என்ன? — நம்பிக்கை எல்லை என்பது ஒரு அமைப்பிற்குள் வெவ்வேறு நிலை நம்பிக்கைகளைக் கொண்ட பகுதிகளைப் பிரிக்கும் ஒரு கருத்தியல் கோடாகும்.
• மென்பொருளின் சரியான தன்மைக்கு SJP உத்தரவாதம் அளிக்க முடியுமா? — இல்லை, SJP குறிப்பிட்ட பண்புகளை மட்டுமே சரிபார்க்கிறது, ஆனால் மென்பொருளில் பிழைகள் இல்லை என்பதற்கு உத்தரவாதம் அளிக்காது.

குறிச்சொற்கள்

#software #verification #trust-boundary