 |
23 марта 2021
|
|
EnGhost
и не применимо к частному случаю машин, построенных на микропроцессорной технике. Которые представляют собой физическую реализацию машины Тьюринга - все до единой. Внезапно. Так с каких щей для них не выполняется этот тезис? Памяти мало для конкретной задачи? Добавим. Можно, в идеальном мире. Но в реальном, все упирается в стоимость разработки. Когда затраты на отработку и тестирование ПО возрастают экспоненциально с ростом сложности этого ПО, на этом начинают экономить. Экономить - слабое и краткосрочное решение. При экспоненциальном росте экономия - это либо проценты от общей стоимости (то бишь стоимость в любом случае также вырастет экспоненциально), либо рост покрытия (и стоимости) по другому закону: линейному, степенному и т.п. В этом случае разность между полным покрытием и реализованным также будет расти экспоненциально, что де факто означает полный отказ от тестирования и, соответственно, полную неработоспособность софта. Поскольку вложения в неработоспособный софт себя не окупают, стратегия тестирования, основанная на экономии, - лишена какого-либо смысла. Правильная стратегия - это либо автоматизация тестирования, либо ограничение сложности. На практике пользуются как первым, так и вторым. Отсюда и простое решение не выводить плохо оттестированные решения туда, где они могут повлиять на жизнедеятельность. Это само собой. И я ничего подобного и не предлагал. |
|
Включить тёмную тему
Популярное
