Цитата |
---|
smer4 sssmeeer пишет: Все мы знаем что программы - глючат . Неосторожное нажатие не той кнопки, неверное значение переменной, конфликт между процессами и просто внезапно возникшая ошибка памяти могут привести к самым плачевным последствиям |
Все эти Биллы Гейтсы и прочие Возняки десятилетиями навязывают нам, благородным потребителям, свою мерзкую, ни на что негодную, так называемую продукцию. Всё это финансируется Ротшильдами, их яврейский род завсегда потешался над людьми.
Цитата |
---|
smer4 sssmeeer пишет: Проблема в том, что нельзя построить тесты, которые охватывали бы все реально возможные значения всех переменных. |
Цитата |
---|
smer4 sssmeeer пишет: Например, "х может принимать значения от 1 до 400". Временные условия , например "до/ после/ в то время как (условие 1) (не)должно выполняться (условие 2)". В реале они конечно сложнее и подробнее. Небольшой инструмент, с которым можно посмотреть эту тему является NuSMV Model Checker. |
Иксы какие-то. Забивают людям голову ерундой. А сами продают Россию по кусочкам.
Цитата |
---|
smer4 sssmeeer пишет: В перспективе можно сделать серъезные инструменты, которые будут создавать этот "контрольный автомат" автоматически из исходного кода или например указанных в исходнике аспектов, или вообще по бинарному коду. |
Программисты есть хорошие, но те, кто пишут конечный продукт - самые настоящие барыги.
С вами невозможно разговаривать, вы наверняка оплату получаете за свои посты, рекламируя тут всяких проходимцев.
(я здесь больше Sagittarius пародирую, но и вы тоже молодец)
М.Е.С.Щ.