Cтраница 1
Надежность программы - это ее способность правильно реагировать на изменение исходных условий и в заданных пределах этих условий обеспечивать достоверную реализацию алгоритма задачи. Надежность достигается средствами языка; контроля за изменением исходных условий внутри самой программы и степенью качества тестирования. [1]
Надежность программ повышается благодаря лучшей их познаваемости, а также тому, что разработка - слоев вместе с документацией и освещение в документации идей и замыслов делают доступным изучение программы другими специалистами. [2]
На надежность программ влияет способность программиста быстро усвоить язык, легко писать и читать как свою, так и чужую программу. Язык Паскаль служит хорошим примером конструирования такого языка. Языки Литтл и Си труднее в изучении, их программы тяжело читать. [3]
![]() |
Зависимость интенсивности отказов программы от времени работы ( модель с дискретно-понижающейся интенсивностью проявления ошибок в программе. [4] |
Рассмотренная модель надежности программ является достаточно грубой. На практике часто не соблюдаются условия, на которых она построена. Нередко при устранении ошибки вносятся новые ошибки. [5]
В этой модели прогнозируется надежность программы на основе данных, полученных во время тестирования. В модели вводится суммарное время функционирования т, которое отсчитывается от момента начала тестирования программы ( с устранением обнаруженных ошибок) до контрольного момента, когда производится оценка надежности. [6]
Самоконтролирующееся ПО полезно для доказательства надежности программ на различных стадиях разработки. [7]
Таким образом, вопросы повышения надежности программ, ускорения их отладки и разработки являются по-прежнему актуальными как для профессиональных программистов, работающих над отдельными блоками программных систем, так и для научных работников и инженеров, самостоятельно разрабатывающих свои программы. [8]
За счет чего повышаются качество и надежность программ при использовании метода структурного программирования. [9]
Описаны три признака классификации методов обеспечения надежности программ, отражающие степень формализации и способы реализации методов, а также свойства надежности программ. Построена соответствующая схема классификации, содержащая двенадцать основных классов методов, и произведена классификация около тридцати методов обеспечения надежности программ. [10]
При построении моделей используются следующие характеристики надежности программы. [11]
В настоящее время основными типами применяемых моделей надежности программ являются модели, основанные на предположении о дискретном изменении характеристик надежности программ в моменты устранения ошибок, и модели, основанные на экспоненциальном характере изменения числа ошибок в зависимости от времени тестирования и функционирования программы. [12]
Среди основных конструктивных критериев особо выделяются корректность и надежность программ. Эти показатели с разных позиций характеризуют безошибочность фуикционирования программ и достоверность получаемых результатов. Достижение высоких показателей надежности и корректности сложных КП в значительной степени определяет затраты на их проектирование. [13]
Ранее неоднократно подчеркивалась тесная взаимосвязь между сложностью и надежностью программы. Сложность программ может быть описана такими характеристиками, как размер программы, количество условных переходов, циклов, обращений к подпрограммам и разнообразие инструкций. [14]
В некоторой области изменения исходных данных ( область IV) правильность и надежность программы оказываются взаимосвязанными. Это соответствует данным, определенным техническим заданием и не проверенным при тестировании. [15]