BrightOne комментирует: EnGhost и не применимо к частному случаю машин, построенных на микропроцессорной технике. Которые п

23 марта 2021

и не применимо к частному случаю машин, построенных на микропроцессорной технике.

Которые представляют собой физическую реализацию машины Тьюринга - все до единой. Внезапно. Так с каких щей для них не выполняется этот тезис? Памяти мало для конкретной задачи? Добавим.

Можно, в идеальном мире. Но в реальном, все упирается в стоимость разработки. Когда затраты на отработку и тестирование ПО возрастают экспоненциально с ростом сложности этого ПО, на этом начинают экономить.

Экономить - слабое и краткосрочное решение. При экспоненциальном росте экономия - это либо проценты от общей стоимости (то бишь стоимость в любом случае также вырастет экспоненциально), либо рост покрытия (и стоимости) по другому закону: линейному, степенному и т.п. В этом случае разность между полным покрытием и реализованным также будет расти экспоненциально, что де факто означает полный отказ от тестирования и, соответственно, полную неработоспособность софта. Поскольку вложения в неработоспособный софт себя не окупают, стратегия тестирования, основанная на экономии, - лишена какого-либо смысла.

Правильная стратегия - это либо автоматизация тестирования, либо ограничение сложности. На практике пользуются как первым, так и вторым.

Отсюда и простое решение не выводить плохо оттестированные решения туда, где они могут повлиять на жизнедеятельность.

Это само собой. И я ничего подобного и не предлагал.

Комментарий к сообщению