Описаны несколько математических моделей [4, 17, 18], основой которых являются различные гипотезы о характере проявления ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Липаев В.В. Проектирование программных средств


Описаны несколько математических моделей [4, 17, 18], основой которых являются различные гипотезы о характере проявления вторичных ошибок в программах. Эти гипотезы в той или иной степени апробированы при обработке данных реальных разработок, и их можно разделить на три группы. В первую группу входят очевидные допущения, статистическая проверка которых невозможна и нецелесообразна. Вторую группу составляют допущения, определяющие специфические характеристики модели и требующие статистической проверки и обоснования на базе экспериментальных исследований. В третью группу включены второстепенные допущения, расширяющие и уточняющие возможности применения модели и частично доступные экспериментальной проверке.

(cкачать страницу)

Смотреть книгу на libgen

Описаны несколько математических моделей [4, 17, 18],  основой которых являются различные гипотезы о характере проявления вторичных ошибок в программах.  Эти гипотезы в той или иной степени апробированы при обработке данных реальных разработок,  и их можно разделить на три группы.  В первую группу входят очевидные допущения,  статистическая проверка которых невозможна и нецелесообразна.  Вторую группу составляют допущения,  определяющие специфические характеристики модели и требующие статистической проверки и обоснования на базе экспериментальных исследований.  В третью группу включены второстепенные допущения,  расширяющие и уточняющие возможности применения модели и частично доступные экспериментальной проверке.