Прогнозирование вероятности скрытых дефектов критического программного обеспечения с заданной точностью
Количественная оценка надежности и функциональной безопасности критических систем. Модель остаточных и скрытых дефектов. Процедура экспериментальной калибровки чувствительности к дефектам и степени разнообразия контроля бездефектности исходных кодов.
Подобные документы
Понятие программного обеспечения, его классификация. Характерные черты системного, прикладного программного обеспечения и системы программирования. Особенности жизненного цикла инструментальных систем и его модели. Этапы развития программного обеспечения.
реферат, добавлен 27.02.2009Понятие прикладного программного обеспечения и инструментальных программных средств. Характеристика видов специального программного обеспечения: экспертных систем, трансляторов, мультимедиа-приложений, гипертекстовых систем, систем управления содержимым.
реферат, добавлен 22.11.2014Проведение исследования основных подходов для обеспечения надежности программ. Анализ объекта и построение пространств элементарных событий. Изучение источников ненадежности аппаратуры. Исправность программы как характеристика ее исполняемого кода.
статья, добавлен 20.01.2018Виды контроля качества разрабатываемого программного обеспечения. Структурное, функциональное и оценочное тестирование: этапы и методика проведения, оценка полученных результатов. Классификация ошибок, методы и средства отладки программного обеспечения.
лекция, добавлен 09.02.2021Возникновение искажений при передаче и хранении информации, обусловленные присутствием помех в канале связи или сбоями в приемопередающей аппаратуре. Оценка помехоустойчивости кодов с помощью аналитических выражений; модель системы с биномиальным кодом.
статья, добавлен 26.10.2010Источники энергопотребления серверов, параллельных многопроцессорных вычислительных систем и грид сетей. Экономия потребляемой электроэнергии за счет оптимизации программного обеспечения. Спад активности элементов и оптимизация программного обеспечения.
статья, добавлен 29.07.2016Проектирование программного обеспечения. Описание подхода к проектированию. Описание языка моделирования UML. Аналитическая модель программного обеспечения. Диаграмма вариантов использования. Разработка программного обеспечения, спецификации программы.
курсовая работа, добавлен 23.10.2013Общая характеристика и классификация программного обеспечения. Построение программного обеспечения информационных систем. Стадии разработки и жизненный цикл программного продукта. Рассмотрение методов оценки затрат на разработку программных средств.
учебное пособие, добавлен 03.03.2018Методика определения связей между элементами проекта разработки программного обеспечения, реализуемого с помощью трассировки требований на основе данных из систем контроля версий исходного программного кода. Характеристика известных методов трассировки.
статья, добавлен 07.03.2019Предложение оригинального подхода к оцениванию качества программного обеспечения на основе экспертной оценки. Вычисление итогового показателя качества каждого программного продукта по линейной шкале и проведение анализа оценочных критериев. Раша оценка.
статья, добавлен 28.11.2016Нормативно-правовая база обеспечения информационной безопасности телекоммуникационных систем. Модель системы мониторинга информационной безопасности системы. Алгоритмы обнаружения и предупреждения появления несанкционированных информационных потоков.
дипломная работа, добавлен 21.12.2012Результаты применения разработанного программного комплекса "Reliability Calculator" для прогнозирования числа отказов в очередной сборке исследуемого тиражного продукта. Возможности комплекса и постулаты модели надежности, положенной в его основу.
статья, добавлен 27.05.2018Определение эффективности общесистемного и офисного программного обеспечения. Управление по пороговым значениям эффективности применения типовых ИС. Схема расчета числа функциональных точек. Количественная оценка на внедрение и сопровождение ПО.
курсовая работа, добавлен 22.02.2015Data Mining как метод обнаружения знаний, необходимых для принятия решений в различных сферах деятельности, скрытых в больших объемах исходных данных. Алгоритм решения задачи поиска ассоциативных правил Apriori. Методы визуализации анализируемых данных.
курсовая работа, добавлен 04.07.2013Характеристика качества программного обеспечения: функциональность, надежность, удобство, сопровождаемость, переносимость, добротность. Подходы к обеспечению надежности программных средств: предупреждение, самообнаружение и самоисправление ошибок.
презентация, добавлен 20.10.2013Особенность повышения эффективности формализации требований и управления изменениями программного обеспечения проекта "Конкуренция". Анализ тестирования, обнаружения дефектов и их исправления. Интерактивные модификации с последними версиями документов.
статья, добавлен 28.05.2017Разработка универсального и экономичного метода повышения надежности магнитных дисков, использующего алгебраические коды для парирования дефектов носителя информации, а также реализующих этот метод эффективных алгоритмов кодирования и декодирования.
автореферат, добавлен 02.08.2018Рассмотрение терминов верификация и валидация. Тестирование программного обеспечения. Установление разницы между валидацией и верификацией. Характеристика процесса выявления ошибок в программном обеспечении. Определение методики выявления дефектов.
реферат, добавлен 19.01.2017Рассмотрение основных понятий экранирующих систем и ключевых требований, предъявляемых к ним. Изучение типичных случаев использования программного пакета Solstice FireWall-1 применительно к вопросам обеспечения безопасности Internet-технологий.
статья, добавлен 23.06.2018Требования к функционированию и безопасности компьютерных программ. Международные стандарты в сфере оценки и контроля качества информационных технологий. Комплексные показатели соответствия систем программного обеспечения с требованиями пользователей.
контрольная работа, добавлен 24.12.2013Назначение методов верификации программного обеспечения. Оценка технического состояния и работоспособности программного обеспечения. Анализ преимуществ и недостатков использования частично формализованных методов верификации программного обеспечения.
статья, добавлен 28.05.2017Исследование жизненного цикла обучающих систем и влияние на него программного обеспечения. Рассмотрение модели жизненного цикла для разных ситуаций, резервирование и регенерация программного обеспечения. Увеличение жизненного цикла обучающих систем.
статья, добавлен 29.06.2020Ознакомление с историей возникновения термина надежности программных средств. Исследование исправления ошибок системой — плодотворного метода проектирования надежных систем аппаратного обеспечения. Анализ мультипроцессорной системы с виртуальной памятью.
курсовая работа, добавлен 17.03.2016Система поддержки процесса сопровождения программного обеспечения. Проблемы, возникающие в процессе разработки требований к нему. Основные этапы процесса проектирования ПО, их выходные результаты. Модель процесса тестирования исполняемой программы.
контрольная работа, добавлен 07.01.2013Технико-экономическое обоснование значения разработки или реинжиниринга функциональной подсистемы автоматического выполнения кредитования клиентов банка. Оценка трудоемкости разработки программного обеспечения. Объектно-ориентированная модель системы.
курсовая работа, добавлен 16.11.2012