Intelligent verification
ઇન્ટેલિજન્ટ ટેસ્ટબેન્ચ ઓટોમેશન સહિત ઇન્ટેલિજન્ટ વેરિફિકેશન એ ઇલેક્ટ્રોનિક હાર્ડવેર ડિઝાઇનની કાર્યાત્મક ચકાસણીનું એક સ્વરૂપ છે જેનો ઉપયોગ ઉપકરણ બનાવટ પહેલાં ડિઝાઇન સ્પષ્ટીકરણને અનુરૂપ છે કે કેમ તે ચકાસવા માટે થાય છે. ઇન્ટેલિજન્ટ વેરિફિકેશન હાર્ડવેર આઇપીમાં અને વચ્ચેની ભૂલોને છતી કરવા માટે ડિઝાઇન અને સ્પષ્ટીકરણ (ઓ) માંથી મેળવેલી માહિતીનો ઉપયોગ કરે છે. બુદ્ધિશાળી ચકાસણી સાધનોને ચકાસણી પરિણામો પ્રાપ્ત કરવા માટે નોંધપાત્ર રીતે ઓછા ઇજનેરી પ્રયત્નો અને વપરાશકર્તા માર્ગદર્શનની જરૂર પડે છે જે ટેસ્ટબેન્ચ પ્રોગ્રામ લખવાના પ્રમાણભૂત અભિગમને પૂર્ણ કરે છે અથવા ઓળંગે છે. ઇન્ટેલિજન્ટ વેરિફિકેશન ટૂલ્સની પ્રથમ પેઢીએ ઓટોમેટેડ કવરેજ ફીડબેક નામની સુવિધા સાથે રીગ્રેસન ટેસ્ટિંગ તરીકે ઓળખાતી ચકાસણી પ્રક્રિયાના એક ભાગને ઑપ્ટિમાઇઝ કર્યું. સ્વચાલિત કવરેજ પ્રતિસાદ સાથે, પરીક્ષણનું વર્ણન આપમેળે લક્ષ્ય ડિઝાઇન કાર્યક્ષમતામાં સમાયોજિત થાય છે જે અન્ય પરીક્ષણો દ્વારા અગાઉ ચકાસવામાં આવ્યું નથી (અથવા "આવરી લેવામાં આવ્યું છે"). સ્વચાલિત કવરેજ પ્રતિસાદનો મુખ્ય ગુણધર્મ એ છે કે, સમાન પરીક્ષણ વાતાવરણને જોતાં, ડિઝાઇનમાં ફેરફારોના જવાબમાં કાર્યાત્મક ડિઝાઇન કવરેજને સુધારવા માટે સોફ્ટવેર આપમેળે પરીક્ષણોમાં ફેરફાર કરશે. નવા બુદ્ધિશાળી ચકાસણી સાધનો એક જ, કોમ્પેક્ટ, ઉચ્ચ-સ્તરના મોડેલમાંથી ટેસ્ટબેન્ચ (ઉત્તેજના, કવરેજ અને ચકાસણી) ની અપેક્ષા રાખતા આવશ્યક કાર્યો મેળવવા માટે સક્ષમ છે. એક જ મોડેલનો ઉપયોગ કરવો જે મૂળ સ્પષ્ટીકરણનું પ્રતિનિધિત્વ કરે છે અને જેવું લાગે છે તે ટેસ્ટબેન્ચ વિકાસ પ્રક્રિયામાં માનવીય ભૂલની શક્યતાને મોટા પ્રમાણમાં ઘટાડે છે જે ચૂકી ગયેલી ભૂલો અને ખોટી નિષ્ફળતા બંને તરફ દોરી શકે છે. ઇન્ટેલિજન્ટ વેરિફિકેશનના અન્ય ગુણધર્મોમાં નીચેનાનો સમાવેશ થઈ શકે છેઃ ટેસ્ટબેન્ચ પ્રોગ્રામની સમકક્ષ અથવા તેનાથી વધુ ચકાસણી પરિણામો પ્રદાન કરવા પરંતુ કોમ્પેક્ટ ઉચ્ચ-સ્તરના મોડેલ દ્વારા સંચાલિત ટેસ્ટબેન્ચ પ્રોગ્રામ્સ પર નિર્ભરતા ઘટાડવા માટે સિમ્યુલેશનના તમામ સ્તરો માટે લાગુ પ્રોગ્રામિંગ ભૂલો અને સ્પષ્ટીકરણના અલગ અર્થઘટન માટેની તકો દૂર કરવી, ખાસ કરીને. આઇ. પી. અને એસ. ઓ. સી. ટીમો વચ્ચે ચોક્કસ કવરેજ બિંદુઓ શા માટે શોધાયા ન હતા તેની દિશા પૂરી પાડવી. નવા પરીક્ષણો બનાવવા માટે ડિઝાઇન માળખા દ્વારા કવરેજ પોઇન્ટ સુધી આપમેળે પાથને ટ્રેક કરો. ખાતરી કરો કે ડિઝાઇનના વિવિધ પાસાઓ એક જ પરીક્ષણ સેટમાં માત્ર એક જ વાર ચકાસવામાં આવે છે. સિસ્ટમના વિવિધ હાર્ડવેર અને સોફ્ટવેર રૂપરેખાંકનો માટે પરીક્ષણને આપમેળે સ્કેલ કરવું. એક જ સાધનમાં આધારિત મર્યાદિત રેન્ડમ, નિર્દેશિત, આલેખ-આધારિત, ઉપયોગ-કેસ જેવી વિવિધ ચકાસણી પધ્ધતિઓ માટે સમર્થન. "ઇન્ટેલિજન્ટ વેરિફિકેશન" હાલની લોજિક સિમ્યુલેશન ટેસ્ટબેન્ચનો ઉપયોગ કરે છે, અને આપમેળે નીચેના પ્રકારનાં ડિઝાઇન કવરેજને લક્ષ્ય બનાવે છે અને મહત્તમ કરે છેઃ કોડ કવરેજ શાખા કવરેજ અભિવ્યક્તિ કવરેજ કાર્યાત્મક કવરેજ ખાતરી કવરેજ ઇતિહાસ ડિઝાઇન કાર્યાત્મક રીતે સાચી છે તે વિશ્વાસ પ્રાપ્ત કરવો વધુ મુશ્કેલ બની રહ્યું છે. આ સમસ્યાઓનો સામનો કરવા માટે, 1980 ના દાયકાના અંતમાં ઝડપી તર્ક સિમ્યુલેટર્સ અને વેરિલોગ અને વીએચડીએલ જેવી વિશિષ્ટ હાર્ડવેર વર્ણન ભાષાઓ લોકપ્રિય બની હતી. 1990 ના દાયકામાં, ચકાસણીની ગુણવત્તા અને સમયને વધુ સુધારવા માટે વેરા અને ઇ જેવી હાર્ડવેર ચકાસણી ભાષાઓ તેમજ સિસ્ટમ વેરિલોગ (2002 માં) નો ઉપયોગ કરીને મર્યાદિત રેન્ડમ સિમ્યુલેશન પધ્ધતિઓ ઉભરી આવી હતી. બુદ્ધિશાળી ચકાસણી અભિગમો મર્યાદિત રેન્ડમ સિમ્યુલેશન પધ્ધતિઓને પૂરક બનાવે છે, જે ડિઝાઇન માળખાને બદલે બાહ્ય ઇનપુટ પર પરીક્ષણ પેઢીને આધાર આપે છે. ઇન્ટેલિજન્ટ વેરિફિકેશનનો હેતુ સિમ્યુલેશન દરમિયાન ડિઝાઇન જ્ઞાનનો આપમેળે ઉપયોગ કરવાનો છે, જે છેલ્લા દાયકામાં ડિઝાઇનના કદ અને જટિલતામાં વધારો થવાને કારણે વધુને વધુ મહત્વપૂર્ણ બની ગયું છે, અને ડિઝાઇન બનાવનાર ઇજનેરી ટીમ અને તેની સાચી કામગીરીની ચકાસણી કરતી ટીમ વચ્ચેનો તફાવત છે. બુદ્ધિશાળી ચકાસણી ક્ષેત્રમાં નોંધપાત્ર સંશોધન થયું છે, અને આ તકનીકનો લાભ ઉઠાવતા વ્યાપારી સાધનો હમણાં જ ઉભરી આવ્યા છે. ઔપચારિક ચકાસણી કાર્યાત્મક ચકાસણી વિક્રેતાઓ ઇન્ટેલિજન્ટ વેરિફિકેશન લોજિક રિફાઇનરી, ઇન્ક. મેન્ટર ગ્રાફિક્સ સારાંશ (ન્યુસિમનું સંપાદન) બ્રેકર સ્પ્રિંગસોફ્ટ (પ્રમાણપત્રનું સંપાદન) વાલ્ટ્રિક્સ સિસ્ટમ્સ ફૂટનોટ્સ રેફરન્સ "મેન્ટર 'ઇન્ટેલિજન્ટ' ટેસ્ટબેન્ચ જનરેશન ટૂલ પ્રદાન કરે છે", એસડીસીસોર્સ, ફેબ્રુઆરી 18,2008 પણ જુઓ. "નુસિમ ઇન્ટેલિજન્ટ વેરિફિકેશન પર ધ્યાન કેન્દ્રિત કરે છે" ઇટીટાઇમ્સ, મે 2008. "લિફ્ટિંગ ધ ફોગ ઓન ઇન્ટેલિજન્ટ વેરિફિકેશન", એસસીડીસોર્સ, મે 2008. ઇલેક્ટ્રોનિક સર્કિટ ચકાસણી