OT: Certifikace software?
Michal Hajek
hajek na nspuh.cz
Úterý Listopad 20 15:24:37 CET 2001
Michal Dobes wrote:
>
> Zdravim,
>
> netusite nejakou firmu v CR nebo blizkem okoli, delajici
> certifikaci spravnosti software? Zkratka aplikaci predhodim data,
> vypadnou vysledky a oni mi daji razitko na to, ze to pocita
> dobre za stanovenych podminek? Certifikace vlastnich algoritmu
> neni snad nutna, to maji asi v CSN dobre, ale jde o overeni vlastni
> implementace.
> Jde o vypocty v oblasti silnoproudu.
>
> Majkl
Pochybuju, ze to lze udelat - ani teoreticky. Ono nejde ani
zkontrolovat funkcnost i kdyz znate zdrojovy kod, ne tak
"cernou skrinku" aplikace. Ze se spravne spocita jeden nebo
milionu vzorku neni dukaz, ze milion prvni vysledek nebude
mit chybu. Spis jde o to, do jake miry jsou autori schopni/ochotni
odhalene chyby opravovat.
Michal (:-)
--
--------------------------------------------------------------
Michal Hajek mailto:hajek na nspuh.cz
--------------------------------------------------------------
Další informace o konferenci Linux