Egy programhoz azert komolyabb helyeken vannak unit testek, meg mindenfele egyebb tesztek is, eleg nagy - es mért - code coverage-dzsel. Ezek helyett a tesztek helyett matematikaliag kezzel levezetni vagy bizonyitan nem lenne feltetlenul jobb mert ha a matematikai levezetes aprolekosabb (marpedig ez volna a lenyeg), bonyolultabb es igy a hibalehetoseg is nagyobb, amellett, hogy dragabb is. A bevprog-ban tanitott/lefektetett formalis rendszer szerintem arra lenne jo - es arra tenyleg jo lenne - , hogy a program irast vagy a program helyesseg ellenorzeset ez alapjan gepesitsek, pl. hogy mindenfele elo es utofeltetelbol megirja (levezeti) a programot a gep (kerdes, hogy az elo es utofeltetelek megadasa tobb munka lenne-e, mint megirni a kodot), vagy ellenorzi, hogy az adott kod megfelel-e a felteteleknek. De erre jelenleg nincs kiforrott (vagy legalabbis szeles korben kiprobalt) szamitogepes eszkoz (sot ennel sokkal egyszerubb problemakat sem tudnak egyelore megoldani, pl. a sima kod optimalizacio a compilerben is tavol all a tokeletestol, pl. sebesseg kritikus esetekben neha csak az assembly az egyetlen jarhato ut) - epp ezert ez egyelore sajnos csak egy tetszetos alom, es ezert nem kene neki akkora sulyt tulajdontani szerintem a tantervben mint azt teszik az ELTE-n.
- Use the Source Luke ! -