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