prawf o gywirdeb

prawf o gywirdeb

(1) techneg ffurfiol a ddefnyddir i brofi fathemategol y rhaglen gyfrifiadurol yn bodloni ei brawf requirements.~(2) penodedig A bod canlyniadau o gymhwyso r dechneg yn (1).

See on automaatselt loodud sisu. Saate aidata seda parandada.

0 0

Paranda seda

Lisa pilt

Sõnaliik: noun
Sünonüüm(id):
Blossary:
Valdkond/domeen: Computer; Software
Category: Software engineering
Organization: IEEE Computer Society
Toode:
Akronüüm-lühend:

Lisa minu sõnastikku

Muud keeled:

Seotud terminid

gywirdeb

Computer; Software; Software engineering

(1) gradd i a yw system neu gydran yn Mae rhydd o nam yn ei manyleb, dyluniad, a implementation.~(2) y gradd i pa feddalwedd, dogfennau, neu eitemau eraill yn cwrdd â ...

prawf

Beverages; Wine

Yn cyfeirio at gynnwys alcohol diod. Mae yn yr Unol Daleithiau, brawf yn cynrychioli ddwywaith y cynnwys alcohol fel canran o'r gyfrol. Felly, o 100 brawf diod Mae alcohol 50% yn ...

prawf

Computer; Software; Software engineering

(1) set o un neu fwy o achosion prawf, set o weithdrefnau prawf un neu fwy (2) neu (C) set o un neu fwy achosion prawf a gweithdrefnau.

prawf

Culinary arts; Cooking

I ganiatáu'r toes burum godi cyn pobi. Hefyd y tymor sy'n dangos faint o alcohol yn feddwol distyll.

prawf

Culinary arts; Cooking

N. term A ddefnyddir i ddangos faint o alcohol mewn feddwol neu eraill gwirodydd. Yn yr Unol Daleithiau, union mae brawf ddwywaith canran o alcohol. Felly, cynnwys potel o ...

testability

Computer; Software; Software engineering

(1) gradd i a Mae system neu gydran yn hwyluso sefydlu meini prawf prawf a pherfformiad o brofion i benderfynu a yw meini prawf hynny wedi met.~(2) y gradd y gofyniad a nodir yn ...

cydnawsedd

Computer; Software; Software engineering

(1) y gallu o ddau neu fwy o systemau neu gydrannau i gyflawni eu swyddogaethau angenrheidiol tra'n rhannu yr un caledwedd neu feddalwedd environment.~(2) y gallu o ddau neu fwy o ...

peiriant targed

Computer; Software; Software engineering

(1) y cyfrifiadur y bwriedir rhaglen ar y cyfrifiadur execute.~(2) A cael ei efelychu gan gyfrifiadur arall.

cymhlethdod

Computer; Software; Software engineering

(1) gradd i a system neu gydran Mae gan gynllunio neu weithredu y mae'n anodd ei ddeall ac yn gwirio. Gyferbynnu â: simplicity.~(2) sy'n berthnasol i unrhyw set o structurebased ...

wrthbwyso

Computer; Software; Software engineering

(1) y gwahaniaeth rhwng y tarddiad llwytho a gasglwyd tarddiad nifer program.~(2) A cyfrifiadur y rhaid ei hychwanegu i gyfeiriad cymharol i bennu cyfeiriad y lleoliad storio ar ...

ffactor adleoli

Computer; Software; Software engineering

(1) y gwahaniaeth rhwng y tarddiad llwytho a gasglwyd tarddiad nifer program.~(2) A cyfrifiadur y rhaid ei hychwanegu i gyfeiriad cymharol i bennu cyfeiriad y lleoliad storio ar ...

Terms in the News

Mae Prydain snowboarder Billy Morgan yn glanio cork pedwarplyg gyntaf erioed 1800 y gamp. Oedd y beiciwr, sy'n cynrychioli Prydain Fawr yng Ngemau Olympaidd y gaeaf 2014 yn Sochi, yn Livigno, yr Eidal, pan ef i gyflawni y symud. n ymwneud fflipio bedair gwaith, tra bo'r corff hefyd yn troelli pum cylchdroadau gyflawn ar echel i'r ochr neu wynebu ar i lawr. ...

Marzieh Afkham

Broadcasting & receiving; News

Bydd Marzieh Afkham, sy'n llefarydd weinyddiaeth tramor cyntaf y wlad, yn bennaeth cenhadaeth yn Nwyrain Asia, adroddodd yr Asiantaeth newyddion Gwladol. Nid yw'n glir i ba wlad bydd yn cael ei phostio hi fel wedi ei phenodi eto i'w gyhoeddi'n swyddogol. Afkham bydd y Llysgennad benywaidd ail Iran wedi cael'n unig. Dan Reol y shah diwethaf, ...

Packet wythnosol

Language; Online services; Slang; Internet

Wythnosol paced neu "Paquete Semanal" fel y mae'n hysbys yng Nghiwba Mae ' yn derm a ddefnyddir gan Ciwbaniaid i ddisgrifio'r wybodaeth yn cael ei chasglu o'r rhyngrwyd y tu allan i Cuba a arbedir ar yriannau caled i gael eu cludo i mewn i Cuba ei hun. Pacedi wythnosol yna gwerthir i y Chiwbaidd heb fynediad at y rhyngrwyd, gan ganiatáu iddynt gael gwybodaeth ...

Banc buddsoddi seilwaith Asiaidd (AIIB)

Banking; Investment banking

Mae'r banc buddsoddi seilwaith Asiaidd (AIIB) sefydliad ariannol rhyngwladol a sefydlwyd i'r afael â'r angen yn Asia ar gyfer datblygu seilwaith. Yn ôl y banc datblygu Asiaidd, Asia anghenion $800 biliwn bob blwyddyn ar gyfer ffyrdd, porthladdoedd, weithfeydd pŵer neu phrosiectau seilwaith eraill cyn 2020. a gynigiwyd yn wreiddiol gan Tsieina yn ...

Spartan

Online services; Internet

Spartan yw'r gair allweddol cytunedig a roddir i'r porwr Microsoft Windows 10 newydd y bydd yn disodli Microsoft Windows Internet Explorer. y porwr newydd a adeiledir o'r ddaear ac anwybyddu unrhyw god o'r llwyfan IE. Mae ganddo injan rendro newydd ei hadeiladu eu bod yn gydnaws â sut y mae'r we yn ysgrifennu heddiw. Yr enw enwyd ...