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.?
Paljonko koodia todistetaan oikeaksi?
todistuskiinnostus
8
690
Vastaukset
- 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
Maahanmuuttajien vaikutus Suomen valtiontalouteen positiivinen
Maahanmuuttajat maksavat enemmän tuloveroja kuin saavat tulonsiirtoja. Eroavat persuista tässä suhteessa. Persuista o3124603Olen Päivi Räsäsen puolella
En oe uskovainen enkä kristillisdemograattikaan mutta onhan tuo naurettavaa laittaa Päivi syylliseksi omasta mielipit3622693Ukrainan tiedustelun huippupotti - Iski ensin yhteen satamaan, sitten toiseen
Ukrainan tiedustelupalvelu SBU kertoo johtaneensa operaatiota, jossa on isketty drooneilla Venäjän tärkeimpiin satamiin1302539Ulkomaalaistaustaiset tulevat kalliiksi yhteiskunnalle.
Selvitys: Ulkomaalaistaustaiset saivat selvästi enemmän työttömyysetuuksia ja toimeentulotukea kuin suomalaistaustaiset.1742433Nuhteettomia edustajia
Korkein oikeus tuomitsi Päivi Räsäsen kiihottamisesta kansanryhmää vastaan Kansanedustaja Päivi Räsästä (kd.) vastaan no2112365Päivi Räsänen tuomittiin rikoksesta...
...kiihottamisesta kansanryhmää vastaan. Tuskin tajuaa silti vieläkään, että raamattu ei ole lakikirja. https://yle.fi/a5271341Korkein oikeus antaa Räsäselle vastauksen klo 9. Varmaan vapautus
Miten veikkaat että Päiville käypi? Päivi pitää lehdistökonferenssin klo 9.30. Koko media on läsnä. 7 v taistelu on ohii4321240Huumeliika mellastaa Suomussalmella
Varastanut S-marketissa, jopa kolme kertaa päivässä. Päätekijä pitänyt kuumeorjanaan naistaan useita vuosia. Mies potki121181Ihana sinä (m)
Oispa kiva nähdä sua. Uskomatonta, miten paljon sä pyörit mun ajatuksissa. Oonkohan mä sun mielessä? Haluaisitko nähdä v38973- 94969