Сложность - программа
Cтраница 2
 |
Полная матрица зависимостей. [16] |
В настоящее время делаются попытки моделировать сложность программы, опираясь на свойства ее текста. Салливен [16] предлагает несколько моделей, основанных на предположении, что сложность понимания каждого конкретного участка программы пропорциональна числу понятий, активных на этом участке. Предложено несколько способов измерять эту сложность, опираясь на представление структуры управления и структуры данных программы в виде ориентированного графа. [17]
Сегменты используются с целью управления степенью сложности программы, что подразумевает не только более наглядное отображение логики программы, осуществляемое средствами структурного программирования, но и ограничение размеров программных текстов до величин, воспринимаемых человеком в каждый момент времени. [18]
Любое усложнение алгоритма приводит к увеличению сложности программы. Для работы генераторов ходов и вычисления компонент оценочной функции необходима разнообразная информация о каждой позиции. Вследствие этого как размер программы, так и время, расходуемое на оценку одной позиции, оказываются большими, чем для Лос-Аламосской программы. [19]
За любое увеличение выразительной силы приходится платить требуемой сложностью программ, осуществляющих рассуждения и решающих задачи. Другими словами, ограничение выразительности декларативной информации позволяет упростить процедуру поиска. Пролог представляет собой локальный оптимум в этом континууме, потому что хорновские выражения обладают средней выразительностью, но легко интерпретируются логически, решателем задач. [20]
Наиболее простым и технически удобным параметром, характеризующим сложность программы и не требующим вспомогательных данных от разработчика, является количество условных переходов ( или операторов) в каждом маршруте. В то же время этот показатель в значительной степени адекватен сложности маршрута для проверки, которую можно характеризовать количеством фиксируемых условий, необходимых для полного определения данного маршрута. Эти условия формализуются тестом, а трудоемкость его составления пропорциональна количеству контролируемых данных. Исследования статистики ошибок в программах указывает на более глубокую корреляцию их количества с числом условных переходов, чем с количеством команд или другими параметрами программы. Это обстоятельство также может рассматриваться как подтверждение целесообразности использования количества условных переходов в качестве меры сложности маршрутов в программе. Тестирование программ в порядке убывания сложности маршрутов позволяет в первую очередь проверять маршруты, охватывающие наибольшую часть программы. Тем самым на завершающие этапы отладки остаются простые маршруты, для которых в большинстве случаев требуются более короткие тесты. Это соответствует традиционной стратегии многих разработчиков программ подготавливать первичный тест с наибольшим охватом компонент ( прежде всего анализируемых условий) отлаживаемой программы. [21]
Современная математическая теория стиха, позволяющая приближенно оценить сложность программы построения стихотворного текста, может быть одной из иллюстраций подобного подхода к индивидуальным сообщениям. [22]
Пусть фиксирована модель машины Тьюринга и некоторая мера сложности программ. Одну и ту же функцию ( слово) могут вычислять разные машины Тьюринга. [23]
Утверждение 2.4 может быть использовано также для оценки сложности программ, вычисляющих с точностью до е функции, которые принимают вещественные значения. Для функций класса F ( п, р, В) по информационной части их программ определяются коэффициенты тейлоровских полиномов, с помощью которых вычисляются функции. [24]
Увеличение значений вышеуказанных относительных и абсолютных показателей соответствует увеличению сложности программ. [25]
При этом оценку следует производить не только с учетом сложности программ в данной управляющей системе, но и с учетом всех возможных программ, которые будут реализованы на управляющей ЦВМ данного типа или, точнее, при данной системе команд. [26]
К числу особенностей УЦМ следует отнести также исключительно большие объемы и сложность программ, а также совмещение во времени их разработки с разработкой самих УЦМ. Эта особенность УЦМ вместе с применением в них долговременных ЗУ требует отладки программ методом моделирования с помощью универс. [27]
К числу особенностей УЦМ следует отнести также исключительно большие объемы и сложность программ, а также совмещение во времени их разработки с разработкой самих УЦМ. Эта особенность УЦМ вместе с применением в них долговременных ЗУ требует отладки программ методом моделирования с помощью упиверс. [28]
Оценка чистого времени разработки программ в человеко-днях выполняется в четыре шага: определение сложности программы, определение уровня знаний программистов, определение требуемого уровня знаний и получение полной оценки. [29]
Основная трудность в практической реализации принципа имитационного моделирования обусловлена значительным ростом объема и увеличением сложности программ, что вызвано увеличением числа этапов процесса принятия решений. Однако автоматизация программирования таблиц позволяет преодолеть эту трудность. [30]
Страницы: 1 2 3 4