Kuinka paljon IT-alalla todistetaan koodia bugittomaksi? Mietin vaan, kun näin matemaatikon opiskelevan paljon teoreettista tietojenkäsittelyä, niin hän todisti monia asioita. Mutta pystyykö ohjelmoinnissa todistamaan kuinka helposti, että vaikkapa koodissa ei ole muistivuotoja, se ei kaadu millään syötteellä jne.?
Vastaukset 8
- unproven.fact
Todistetaan. Silleen, että jos asiakas laittaa rahat tillille niin koodi on oikeaa, ja jos ei niin, väärää.
- koodiq
aika turha todistaa... voi toimia persiilleen vaikka kuinka koodi olisi todistettu.. melkeimpä hukkaan heitettyä aikaa... tosin mahdollista
- notTrue
Yleensä ei koodia todisteta oikeaksi, ei ainakaan normi tietojärjestelmäprojektissa, vaan koodi testataan ja näin voidaan havannoida esim. muistivuodot. Jos on joku tieteellinen ja teoreettinen viritys ja on aikaa ja apurahaa niin sitten ehkä tallaista koodin oikeaksi todistamista voi harrastaa, mutta yleisestiottaen aivan liian aikaa vievää hommaa ja testaaminenkin jätetään turhan usein väliin.
- Koodari20v
Koodin todistaminen oikeaksi on mahdollista, mutta helvetin työlästä. Tehdään lähinnä superkriittisille mutta lyhyille rutiineille.
Periaatteessa tietojenkäsittelystä valmistunut kyllä kykenee tähän. Itseläänikin on noussut viime aikoina kysymys esiin, paljonko koodaajan työstä on esim. säännöllisten lausekkeiden laatimista, kun syötteiden data validoidaan? Nykyään kun kaikki softa pyörii jossain pilvessä ja verkossa.
- validate.my.ass
Niitä mitää validoida. Suoraan vaa ääsguuällään isketään formin datat kyytiin ja laitetaan etiäppäin.
- WinhatVatut
Nyt kun otit asian puheeksi, niin ota selvää miten säännölliset lausekkeet pitää esittää suomi24:n roskapostien filtteröinnissä. Tähän en saanut vastausta muutama vuosi sitten. En ole nyt katsonut, onko sellainen enää mahdollista nykyisessä S24:n sähköpostiversiossa.
Kaipaisin konkreettisia esimerkkejä, jotka oikeasti toimivat ja on oikealla tavalla esitetty sähköpostin optioissa.
Itse en opinnoissani tosi kauan sitten muista kuulleeni edes koko termiä. En opiskellut montaakaan kurssia tietojenkäsittelytieteestä. Oppiaineen nimikin oli eri joskus 40 vuotta sitten.
- matemaatikko
Ongelma on lähinnä siinä, että todistamisessa pitää käsitteet määritellä huolellisesti samoin kuin oletukset ja väite. Ei ole esimerkiksi mitenkään selvää se, mikä on bugi. Esimerkiksi piin kymmenjärjestelmäesitys ei mahdu tietokoneen muistiin vaan joutuu käyttämään likiarvoa. Valtaosaa ongelmia voi vaan approksimoida. Onko se sitten bugi, jos pyydetään ratkaisemaan viidennen asteen yhtälö ja huomataan, että eipä olekaan juurten avulla lausuttavissa suljetussa muodossa?
Ketjusta on poistettu 0 sääntöjenvastaista viestiä.
Luetuimmat keskustelut
Mikä on totta mikä ei?
Onko juoru vai ei että nimeltä mainitsematon henkilö on tehnyt naiselle/naisille jotain joka on väärin?251888- 127860
Just saying
Mies joka antaa naiselle turvallisen olon, on seksikäs. Ei kieroja kikkoja ja haluaa olla vain sen yhden naisen mies.123657- 54598
Löytyikö syy miksi Martina on Muhiksen kanssa
Saipa naurut Gekkosen kuvasta, missä ovat ravintola Hookissa Immu fight night ottelun jälkeen, Muhoksella pullottaa hirv90555- 65541
Jos selviäisi että kaivattusi
Olisi savant asperger? Rakastaisitko vielä? Savant-lahjakkuus olisi kapea-alaista neroutta liittyen mekanisiin ja tilan88540- 42525
Päivän aivopieru Trumpilta
Trump julisti sodan hyttysiä vastaan. Myös punkit ovat Trumpin sodan kohteena. Eikö vieläkään USA:n kansa tajua tuon uko63503Jokin ei täsmää
Joskus yksi vuosiluku saa katsomaan koko tarinaa uudestaan. Löysin gradun. Matematiikka ei oikein täsmää siihen, mitä mi267480Oliko Jani Halmeen aika jo tippua TTK:sta?
Jani Halme ja Claudia Ketonen joutuivat jättämään TTK:n. Halme ja Ketonen saivat viimeiseksi jäänestä tanssista, sambas26474- 9466
Toivotko vielä viestiä
Minulta? En rohkene enää ottaa yhteyttä, kun varmasti jo uusia naisia elämässä. Nolaisin vain itseni.34463Jorma Uotinen läväytti härskin heiton - Paljastus uudesta TTK-romanssista?
Tuomari Jorma Uotisen linja on välillä hyvinkin rohkea TTK:ssa. Hän näpäytti Jaakko Parkkalille ja Kastanja Rauhalalle v9439Kuka kaipaa T m?
Kerro nainen kirjaimesi vaan... Haluan miettiä kuka tulee ekana mieleeni.. kuin kurkistus tunteiden meren pinnalle, jota31435Miksi jotku naiset on niin tyhmiä
Että elättelevät turhaa toivoa toisen kustannuksella. Onko ne kaikki kaappilesboja vai mikä niitä vaivaa? Sitten itketä51425- 58422
- 41416
Jätä jo se puolisosi, mun kanssa kilpa-asetelma on tuhoisa.
Eikä hän tule sitä voittamaan. Myöskään missään vanhassa ei kannata roikkua, koska ei uskalla kohdata muutosta, hyvät as27406S-ryhmän vastuullisuuden kaksoisstandardi
Vastuullisuuspuhe on helppoa. Vaikeampaa on selittää, miksi S-ryhmän omien merkkien tuotteita ja raaka-aineita hankitaan6395