Cтраница 3
О сложности ПО можно судить хотя бы из того, что для большинства процессоров современных РТС число информационных слов в ПО в 3 - 10 раз больше числа логических элементов в нем. По сравнению с МЭА, для которой обычно разрабатываются детальные программы проверок конструктивных, схемотехнических и технологических дефектов, работоспособности и качества функционирования, составление исчерпывающих тестов проверок ПО часто просто невыполнимо из-за невозможности проверки его функций во всех режимах работы на всевозможных комбинациях и последовательностях данных и управления. [31]
Особого внимания требуют предохранительные устройства. Необходимо детально изучить конструкцию установленных предохранительных клапанов, периодически продувать рычажные и пружинные клапаны. Учитывая невозможность проверки их действия во время эксплуатации, проводят в соответствии с графиком работ профилактический ремонт и регулировку клапанов в мастерских промысла. Необходимо внимательно следить за герметичностью клапанов, так как даже при незначительных пропусках они замерзают. [32]
Работоспособность всех изделий электрооборудования зависит от исправности изоляции. Изоляцию проверяют, прикладывая испытательное напряжение. Обмотки и другие токоведущие детали-электрических машин и аппаратов, цепи низкого напряжения системы зажигания, токоведущие детали коммутационной аппаратуры, работающей в главных цепях или цепях, содержащих индуктивность, проверяются на предприятиях, выпускающих эти изделия, испытательным напряжением переменного тока 550 В. Для коммутационной аппаратуры, применяющейся в остальных цепях токоведущих деталей осветительной и светосигнальной аппаратуры, обмоток и токоведущих деталей измерительных приборов и их датчиков. В В случае невозможности проверки электрической прочности изоляции изделия, выполненного по однопроводной системе, проверяются его отдельные узлы. [33]
Обсуждаются вопросы разработки, а также тестирования и автоматического анализа программ, включая некоторые примеры формирования тестовых процедур для программ, написанных на языках ФОРТРАН и PASCAL. Анализируются свойства структурированных тестов, определяются условия надежности тестов и возможности их эффективного использования при поиске информационных ошибок. В качестве теоретической базы при исследовании концепций тестирования предлагается несколько гипотез, сутью которых является выбор в качестве основных требований к тестам их полноты, надежности и обоснованности. Обсуждаются вопросы проверки правильности прохождения всех операторов и контрольных путей программ. Отмечаются факторы, усложняющие реализацию тестирования таких программ, как невозможность проверки некоторых путей с помощью тестов, наличие плавающих переменных и большое количество путей в сложных программах. [34]