Egyfelől, igaz, hogy a szoftverrel okozott kár nem lineáris függvénye semminek.
Ugyanúgy néz ki az a bug, amitől leáll egy életfenntartó gép, mint amitől rosszul formázva ír ki egy számot a gép. Persze az előbbi rendszert illik jobban tesztelni, de a hiba bekerülése ugyanolyan valószínű.
Másfelől, lehetne olyan biztosítási konstrukció, ahol a díj attól függ, milyen a gyártó cég minőségbiztosítása, tehát pl. a tesztelés minősége.
(Nem mondom, hogy ez könnyű lenne, mert a programozók minőségét is kéne mérni, ami talán még nehezebb....)
De ez csak célszoftverre igaz.
Általánosan használható platformokra, amilyen a Java is, nem lehet ilyet egységesen ráhúzni.