Loodi veatu 7500 realine kood

Uudiseid maailmast

Moderaator: Moderaatorid

Vasta
olavsu1
Vana Pingviin
Vana Pingviin
Postitusi: 923
Liitunud: 01.12.2006, 23:40

Loodi veatu 7500 realine kood

Postitus Postitas olavsu1 »

3DNews kirjutab järgmist.

Uus-Lõuna-Walesi ülikooli (The University of New South Wales, UNSW) ja Austraalia rahvusliku uuringuinstituudi (National ICT Australia, NICTA) info- ja kommunikatsioonitehnoloogiate uurijad saavutasid läbimurde tarkvaras, mis tõstab märkimisväärselt koodi turvalisust ja töökindlust ning millel on potentsiaali kommertslikuks eduks. Arvutiteaduste professori ja NICTA uuringuprogrammide direktori Gernot Heiser´i sõnutsi suutis meeskond esmakordselt matemaatilise täpsusega tõestada, et operatsioonisüsteemi tuum – iga arvuti "südame" kood – on 100% vigadest vaba ning järelikult tõrkekindel.

Edasi loe siit: http://www.3dnews.ee/est/software-news/Kood_08_10_2009

// Jutt on asjast, mis kannab nime SeL4. Asi tundub seotud olema nii Pingviinide kui Lumeleopardiga.
Kasutaja avatar
spott
Admin
Admin
Postitusi: 8870
Liitunud: 04.06.2005, 03:00

Postitus Postitas spott »

kahtlane.
Sest enamikel juhtudest kirjutavad ka teised veavaba koodi - vead tekivad aga hiljem just teiste tarkvarajuppidega läbikäimisel ja riistvaraga suhtlemisel.

see nagu ehitusprojekt. Sina teed veatu ja igati hea projekti, teine teeb supper vundamendi ja seinad selle järgi. Võibolla läheb kogu ehitus nii enam vähem, kuid kui kasutajad kohal on, siis selgub, et teleka pistik vales kohas jne. Ehk hoone läheb lõplikult kasutusele ja siis kasvõi kasutamisest lähtuvalt hakkavad asjad tõrkuma. Ehk tulevad välja vead, mida keegi ei osanud isegi aimata.
Tellige endale sünnipäevaks, sõbrapäevaks või muuks tähtpäevaks kingitus: Kingitused internetist - NetiKink.eu
olavsu1
Vana Pingviin
Vana Pingviin
Postitusi: 923
Liitunud: 01.12.2006, 23:40

Postitus Postitas olavsu1 »

vead tekivad aga hiljem just teiste tarkvarajuppidega läbikäimisel ja riistvaraga suhtlemisel.
Seda vaid siis, kui süsteemi loojad ei avalda spetsifikatsioone ja oma nägemusi. Kui hakkaksin praegu tarkvara kirjutama, võrduks see pimesi kobamisega.

Vaata seda: http://www.youtube.com/watch?v=dPAiVyC5zoA

Miks on CAD programmides olemas vidin VRML ? Kas sellise sisekujundusega laev meeldis? praegu saab seda muuta, siis kui laev valmis on juba muutmine raskendatud

Oleks ma linna arhitekt nõuaks teistelt arhitektidelt VRML simulatsiooni.

Samasugune asi tarkvarast, oleksid igasugused beta ja RC paketid.
olen Troll ja ootan pingviin.org konto sulgemist.
Vasta