Cтраница 3
Отказ диагностической цепи не оказывает непосредственного влияния на нормальную работу трансмиттера. Однако этот отказ может препятствовать переходу трансмиттера в состояние безопасного отказа ( выходной ток 3.7 тА) в случае появления последующего отказа. Для проверки трансмиттеров на наличие опасных необнаруженных отказов, включая и проверку диагностических цепей, необходимо проводить периодическое автономное функциональное тестирование. В отчете ADQL-6 предоставлены все необходимые данные по частотам отказов, и даны рекомендации по периодичности автономного тестирования. [31]
В целом нельзя не согласиться с необходимостью отделения тех качеств, которые явно задаются требованиями, от тех, которые дают дополнительные сведения о программе. Все дело только в том, что требования могут быть составлены с различной степенью детализации. Любое качество, заботящее пользователя ( а ему может быть дело до всего, включая ресурсную загрузку), проверяется в рамках функционального тестирования, дополнительные сведения, характеризующие программный продукт, можно отнести к конструктивному тестированию. И его применение, безусловно, необходимо как средство прогноза потенциальных проблем и перспектив. [32]
В главе 15 Особенности проектирования промышленных систем безопасности рассматриваются специфические вопросы проектирования систем безопасности. В основе построения современных электронных систем лежит концепция жизненного цикла системы. В главе рассматриваются ключевые аспекты проектирования систем безопасности, такие как структура отказов, резервирование, разделение функций, интерфейс пользователя, диагностика, обслуживание, секретность, документация, интервал функционального тестирования. [33]
Существуют два базовых подхода к формированию входных данных. Первый - Функциональный - рассматривает программу как черный ящик. Формируемый в рамках функционального подхода набор тестов, с одной стороны, должен покрывать область входных данных, с другой - обеспечивать покрытие всех возможных выходных данных. Наиболее последовательная реализация функционального тестирования возможна, если проектирование и программирование в проекте осуществляется на основе формального языка спецификаций. Имеются примеры такого инструментария для спецификаций, задаваемых алгебраически, аксиоматически, конечно-автоматно, с помощью таблиц решений. К сожалению, массовая программистская практика пока еще очень далека от использования такого рода инструментов. [34]
Таким образом, программа функционального тестирования может быть использована как для отладки, так и для измерения надежности разрабатываемого продукта ПО. В процессе тестирования должны собираться данные, рассчитываться и вычерчиваться графики tcp. Для предсказания будущих значений tcp используется экстраполяция. Лучшим подходом для предсказания является сочетание данных отладки и данных функционального тестирования через модель надежности. В этом случае форма кривой / ср определяется моделью, а параметры модели оцениваются по данным эксперимента. [35]