Software bez chýb existuje, ale je ho veľmi málo, pretože jeho vývoj je šialene drahý. Napr. existuje soft s TCSEC A1 alebo EAL7 assurance level. To už vyžaduje formálnu verifikáciu. Formálna verifikácia ešte nemusí síce nutne znamenať, že SW je bez chýb, ale že vyhodnocované kritériá sú formálne dokázané (čo už má k bezchybnosti dosť blízko, závisí na kritériách).
Teoreticky by sa za SW bez chýb dal považovať kernel MINIXu 3, ale ten je navrhnutý ako minimalistický mikrokernel (kód má niečo cez 8500 riadkov). "Teoreticky" preto, že asi nikto formálne nedokazoval jeho správnosť, takže je možné, že nejaká chybička by sa tam našla.
Odpověď na názor
Odpovídáte na názor ke zprávičce MS Windows Home Server poškozuje soubory.
Pravidla pro diskutující
Přidáním čtenářského příspěvku do diskusí či fóra souhlasíte s tím, že budete dodržovat následující pravidla. Při jejich hrubém porušení se vystavujete riziku smazání příspěvku, jeho modifikaci, v krajním případě i zablokování přístupu do diskusí.
Redakce ze zásady nezasahuje do čtenářských diskusí a zavazuje se, že nebude mazat ani modifikovat příspěvky, kromě případů, kdy tyto porušují některé z následujících pravidel. V takové situaci je na zvážení redakce, zda příspěvek modifikuje s viditelným upozorněním, či přímo smaže. Redakce nikdy nemaže „nesouhlasné komentáře“ jen proto, že jsou nesouhlasné. Vítáme střet názorů, ale vždy v rámci slušné a kultivované debaty.
Příspěvky nesmí obsahovat:
- Vulgární či hrubé výrazy.
- Urážlivé výroky na adresu druhé osoby či skupiny osob.
- Texty, které mají za cíl jen vyprovokovat emotivní reakci (trolling).
- Rasové útoky či útoky na jakoukoliv jinou menšinu či skupinu obyvatel.
- Komerční nabídky a affiliate odkazy.
- Odkazy na warez, sériová čísla, licenční kódy, pornografii a další nevhodný materiál stejně jako žádosti o poskytnutí tohoto obsahu.
- Prokazatelně protiprávní obsah.
Informace o soukromí: U všech přidaných komentářů provozovatel ukládá IP adresu a hostname odesílatele. U neregistrovaných uživatelů se na webu zobrazuje část hostname, případně IP adresy, neumožňující identifikovat konkrétní počítač.
Povolené značky XHTML: a, br, code, em, li, ol, p, pre, strong, sub, sup, ul
