Reagoidaanko bugivalituksiin?

Mikään ohjelma ei ole bugiton. Aina niitä bugeja löytyy kun etsimällä etsii, oli ohjelmisto kenen tahansa valmistama.

.vastaaja kirjoitti:

Mikään ohjelma ei ole bugiton. Aina niitä bugeja löytyy kun etsimällä etsii, oli ohjelmisto kenen tahansa valmistama.

On olemassa paljon bugittomia ohjelmia, esim. sydämentahdistimissa, insuliiniannostelijoissa jne. Ohjelmia voidaan tarvittaessa todistaa teoreettisesti bugittomiksi. Muuta softatalot eivät tee sitä koska me olemme niin hölmöjä että hyväksymme softat bugeineen päivineen. Tulee halvemmaksi antaa loppukäyttäjien testata softa kuin satsata laadukkaaseen koodaukseen ja testaukseen ja oikeaksi todistamiseen. Useimmilta softataloilta lisäksi puuttuu tietotaito edelläolevaan.

Täti punainen kirjoitti:

On olemassa paljon bugittomia ohjelmia, esim. sydämentahdistimissa, insuliiniannostelijoissa jne. Ohjelmia voidaan tarvittaessa todistaa teoreettisesti bugittomiksi. Muuta softatalot eivät tee sitä koska me olemme niin hölmöjä että hyväksymme softat bugeineen päivineen. Tulee halvemmaksi antaa loppukäyttäjien testata softa kuin satsata laadukkaaseen koodaukseen ja testaukseen ja oikeaksi todistamiseen. Useimmilta softataloilta lisäksi puuttuu tietotaito edelläolevaan.

Olisit varmasti myös maksamaan vähintään 100 tuhatta euroa pienestä tekstieditorista, jos se olisi teoreettisesti todistettu bugittomaksi. Mitä ei tietenkään tarkoittaisi, että se toimisi kaikissa laitteistoissa myös oikein.

Täti punainen kirjoitti:

On olemassa paljon bugittomia ohjelmia, esim. sydämentahdistimissa, insuliiniannostelijoissa jne. Ohjelmia voidaan tarvittaessa todistaa teoreettisesti bugittomiksi. Muuta softatalot eivät tee sitä koska me olemme niin hölmöjä että hyväksymme softat bugeineen päivineen. Tulee halvemmaksi antaa loppukäyttäjien testata softa kuin satsata laadukkaaseen koodaukseen ja testaukseen ja oikeaksi todistamiseen. Useimmilta softataloilta lisäksi puuttuu tietotaito edelläolevaan.

Jopa lentokoneissa ja ydinvoimaloissa käytetään kolmen koneen ratkaisuja, missä on kolme tietokonetta varustettu eri ohjelmistoilla (yleensä jopa eri valmistajan) ja jotka laskevat saman tehtävät, ja lopuksi tulokset verrataan. Ja jos kaikki ovat samoja, niin kaikki on kunnossa, jos yksikin on eri, niin tulos päätetään demokraattisesti, jos joku kone toistuvasti antaa virheelliset tulokset, se kytketään pois päältä ja ilmoitetaan kriittisestä virheestä.

maksamaan kirjoitti:

Olisit varmasti myös maksamaan vähintään 100 tuhatta euroa pienestä tekstieditorista, jos se olisi teoreettisesti todistettu bugittomaksi. Mitä ei tietenkään tarkoittaisi, että se toimisi kaikissa laitteistoissa myös oikein.

Jos sen tekstinkäsittelyohjelman oikeaksi todistamiseen laitettaisiin esim. miljardi dollaria, joka aivan varmasti riittäisi (monisatakertaisesti), niin se olisi Microsoftin volyymeilla vain pari euroa per tuote!

Täti punainen kirjoitti:

Jos sen tekstinkäsittelyohjelman oikeaksi todistamiseen laitettaisiin esim. miljardi dollaria, joka aivan varmasti riittäisi (monisatakertaisesti), niin se olisi Microsoftin volyymeilla vain pari euroa per tuote!

Ehkä Pasianssin todistamiseen, muttei todellakaan yhdenkään ison ohjelman, jokaisen if lausen jälkeen erilaisten mahdollisuuksien määrä kasvaa eksponentiaalisesti, enkä edes usko että se olisi edes teoriassa mahdollista niin isoissa ohjelmissa.

riitä kirjoitti:

Ehkä Pasianssin todistamiseen, muttei todellakaan yhdenkään ison ohjelman, jokaisen if lausen jälkeen erilaisten mahdollisuuksien määrä kasvaa eksponentiaalisesti, enkä edes usko että se olisi edes teoriassa mahdollista niin isoissa ohjelmissa.

Ei teoreettinen oikeellisuustarkistus tarkoita sitä että jokainen ohjelmahaarakombinaatio käydään läpi, vaan aivan muunlaista algoritmien analysointia.

riitä kirjoitti:

Ehkä Pasianssin todistamiseen, muttei todellakaan yhdenkään ison ohjelman, jokaisen if lausen jälkeen erilaisten mahdollisuuksien määrä kasvaa eksponentiaalisesti, enkä edes usko että se olisi edes teoriassa mahdollista niin isoissa ohjelmissa.

Ei teoreettinen oikeellisuustarkistus tarkoita sitä että jokainen ohjelmahaarakombinaatio käydään läpi, vaan aivan muunlaista algoritmien analysointia.

Pistin palautetta. Oli miellyttävä asioida ja jäi semmoinen fiilis että siihen jopa reagoidaan. Microsoft voisi ottaa oppia. Tai ei voisi. Heidän pitäisi palkata neljännes maailman väestöstä lukemaan niitä bugiraportteja ;D

Eihän tämä tähän kuulu, mutta kun vertailemaan alettiin niin HP:lla ne vasta töykeitä olivat kun lopulta sain siellä puhelimeen jonkun. Tyttö oli kuin join kone. luki aivan selvästi jostai "palvelu"manuaalista kohta kohdalta, mitä yhteydenottoni voisikaan koskea... ja lopulta kieltäytyi antamasta mitään ohjeita eikä suostunut kääntämään puhelua sellaiselle joka olisi osannut vastata edes jotain tai neuvoa eteenpäin... mutta sellaistakaan ei saanut kysyä.

Applen Suomen tuki seuraa kyllä myös esim. www.hopeinenomena.net keskusteluja. Joten myös ensimmäinen kotimainen riittää.