Nowa metoda zapewnienia, że oprogramowanie nie ma błędów BEZ TESTOWANIA
Zespół naukowców opracował metodę weryfikacji błędów pewnej klasy software'u bez tradycyjnego testowania. Metoda nazywa się Armada i stosuje technikę zwaną weryfikacją formalną, która sprawdza czy program "wyrzuca" to, co powinien. Metoda ta celuje w software, który wykorzystuje określony sposób...
z- 2
- #
- #
- #
- #
- #
- #