Биохимия спиртового брожения: Основу технологии получения пива составляет спиртовое брожение, - при котором сахар превращается...
Поперечные профили набережных и береговой полосы: На городских территориях берегоукрепление проектируют с учетом технических и экономических требований, но особое значение придают эстетическим...
Топ:
Оценка эффективности инструментов коммуникационной политики: Внешние коммуникации - обмен информацией между организацией и её внешней средой...
Процедура выполнения команд. Рабочий цикл процессора: Функционирование процессора в основном состоит из повторяющихся рабочих циклов, каждый из которых соответствует...
Теоретическая значимость работы: Описание теоретической значимости (ценности) результатов исследования должно присутствовать во введении...
Интересное:
Уполаживание и террасирование склонов: Если глубина оврага более 5 м необходимо устройство берм. Варианты использования оврагов для градостроительных целей...
Берегоукрепление оползневых склонов: На прибрежных склонах основной причиной развития оползневых процессов является подмыв водами рек естественных склонов...
Влияние предпринимательской среды на эффективное функционирование предприятия: Предпринимательская среда – это совокупность внешних и внутренних факторов, оказывающих влияние на функционирование фирмы...
Дисциплины:
2020-08-21 | 124 |
5.00
из
|
Заказать работу |
|
|
При построении модели вероятности проявления дефекта при однократном выполнении ФСО принимают следующие допущения:
Во входном векторе можно выделить подвектор переменных, которые можно считать независимыми. В этом смысле не все бинарные сигналы или значения аналоговых переменных, поступающие в систему управления от дискретных или аналоговых датчиков, можно считать независимыми. Например, сигналы от мажорированных датчиков функционально зависимы, и при безотказной работе техники они должны быть одинаковыми.
21. Среди значений входного набора переменных не все комбинации фактически могут появляться на входе программы. Поэтому в множестве значений выделяют область допустимых значений.
22. В режиме МКЦП за один цикл выполняется один прогон программы и в течение одного прогона обнаруживается не более одного дефекта.
Вероятность проявления дефекта оценивают в такой последовательности. По формуле (10.25) или (10.26) находят остаточное количество дефектов после автономной отладки для всех структурных единиц ФПО, а затем суммарное количество дефектов. К нему добавляют исходное число дефектов межсекционных и внешних связей (МВС), рассчитанное по формулам (10.12) и (10.13), поскольку МВС не участвуют в автономной отладке:
Если размерность входного вектора ФСО равна , а длина тестовой последовательности, согласно (10.22), равна , то по формуле (10.24) находят распределение вероятностей , а по формуле (10.25) при −остаточное число дефектов ФПО после комплексной отладки . Заметим, что есть безусловная вероятность того, что дефект окажется в КМ -го ранга, а в КМ осталось непроверенных комбинаций. Это число рассчитывают по формуле
|
При равномерном распределении вероятность того, что дефект проявится при предъявлении конкретной комбинации из , равна . Вероятность проявления одного дефекта при предъявлении одного входного набора,
где − вероятность того, что предъявленный входной набор принадлежит подмножеству непроверенных комбинаций КМ -го ранга. При равномерном распределении предъявляемых наборов
Подставляя (10.31) в (10.30), получим:
Если остаточное число дефектов равно N0, а при однократном выполнении ФСО предъявляется k входных наборов, то вероятность проявления хотя бы одного дефекта
Рассмотрим теперь модель проявления дефектов в базах данных. Пусть до проведения отладки ожидаемое число дефектов в базе данных объемом рассчитывается по формуле (10.13), а при выполнении ФСО используется часть БД объемом V. Тогда при равномерном распределении вероятностей каждого дефекта по полю число дефектов в объеме имеет биномиальное распределение с параметрами и . Вероятность того, что в объеме будет хотя бы один дефект, равна . Если во время однократного выполнения ФСО запрашивается фрагмент объемом и находящийся в нем дефект гарантированно обнаруживается, то вероятность проявления дефекта при однократном выполнении ФСО до отладки
При отладке только в объеме дефекты подвергаются «просеиванию» только в этом объеме. Их количество имеет биномиальное распределение с параметрами и . Если , то отладка уменьшает среднее число дефектов до − эффективность отладки. Вероятность проявления дефекта после отладки есть вероятность наличия в объеме хотя бы одного дефекта при условии, что в объеме V есть дефекты
Поскольку − случайная величина, имеющая биномиальной распределение с параметрами , постольку безусловная вероятность
Если прогон программы осуществляется после автономной отладки, то если же после комплексной отладки, то
|
|
Архитектура электронного правительства: Единая архитектура – это методологический подход при создании системы управления государства, который строится...
Папиллярные узоры пальцев рук - маркер спортивных способностей: дерматоглифические признаки формируются на 3-5 месяце беременности, не изменяются в течение жизни...
Археология об основании Рима: Новые раскопки проясняют и такой острый дискуссионный вопрос, как дата самого возникновения Рима...
Кормораздатчик мобильный электрифицированный: схема и процесс работы устройства...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!