Category Archives for Надёжность программного обеспечения

Понятие тестирования. Основные принципы тестирования.   Тестирование — это процесс выполнения программы с целью обнаружения ошибок. Тестирование является одним из наиболее трудоемких этапов создания программного продукта (от 30% до 60% общей трудоем­кости). Причем доля стоимости тестирования в общей стоимости разработки имеет тенденцию возрастать при увеличении сложности комплексов программ и повышении требований к их качеству.

5.1. Характеристика качества ПО «Надежность» по стандарту ISO 9126 Международный стандарт  ISO/IEC 9126 определяет 6 основных характеристик качества программного обеспечения: функциональность, надежность, практичность, эффективность, сопровождаемость, переносимость. Для характеристики надежность определено 4 подхарактеристики: завершенность, отказоустойчивость, восстанавливаемость и согласованность надежности.

3.1. Обеспечение качества и надежности в процессе разработки сложных программных средств  3.1.1.Требования к технологии и средствам автоматизации разработки сложных программных средств

2.1. Принципы, стратегии и этапы тестирования для обеспечения качества программных модулей и компонент 2.1.1. Принципы построения компонент для обеспечения надежности функционирования программных средств

 4.1. Экспериментальные методы определения надежности сложных программных средств Существуют прямые и форсированные экспериментальные методы определения надежности сложных программных средств. Прямые экспериментальные методы определения показателей надежности ПС применяющихся в нормальных условиях функционирования. Они требуют больших значений времени наработки на отказ, поэтому их стоимость высока. Кроме того, при таких экспериментальных методах трудно гарантировать полную представительность выборки исходных Читать далее

1.4. Модель анализа надежности программных средств   Анализ надежности программных средств базируется на модели взаимодействия следующих компонентов: объектов уязвимости, дестабилизирующих факторов и угроз надежности, методов предотвращения угроз надежности, методов повышения надежности.

Курс лекций. Цели и задачи курса: изучение основных факторов, определяющих надежность функционирования программных средств, а также средств и методов обеспечения их качества и надежности. 1.1. Качество программного обеспечения

Задания для контрольной работы по дисциплине «Надежность программного обеспечения» для студентов заочной формы обучения по специальности 220100 «Вычислительные машины, комплексы, системы и сети» 1. Контрольная работа состоит из двух частей – теоретической и практической. 2. В первой части нужно представить развернутый письменный ответ на теоретический вопрос. Номер теоретического задания выбирается в соответствии с номером в Читать далее

Ручная подготовка тестов целесообразна, когда немногочисленные величины имеют глубокие логические связи, которые трудно формализовать. При этом ручное составление тестов оказывается проще, чем разработка генератора тестов. Но такие случаи относительно редки, и в большинстве случаев нужно автоматизировать генерацию тестов.

Этапы испытаний комплексов программ. Тестирование и испытания ПС в целом состоит из следующих этапов: 1. испытания в реальном времени по данным генераторов тестов, имитирующих отдельные объекты внешней среды; 2. испытания в реальном времени с имитаторами отдельных объектов внешней среды и с реальными воздействиями от операторов-пользователей; 3. испытания в полностью адекватной реальной или имитированной внешней среде Читать далее

Существуют прямые экспериментальные методы определения надежности сложных ПС и форсированные методы. Прямые экспериментальные методы определения показателей надежности программных комплексов применяются в нормальных условиях функционирования. Они требуют больших значений времени наработки на отказ, поэтому их стоимость высока. Кроме того, при таких экспериментах трудно гарантировать полную представительность выборки исходных данных, т.к.

В программных системах реального времени для обеспечения высокой надежности их функционирования необходимо максимально быстро обнаруживать искажения и восстанавливать нормальное функционирование. В сложных ПС ошибки неизбежны, поэтому необходима регулярная автоматическая проверка процесса исполнения программ и сохранности данных. От разработчиков требуется создание надежных программ, устойчивых к различным негативным возмущениям и способных сохранять достаточное качество результатов в реальных Читать далее

Сертификация — это процедура подтверждения соответствия продукта установленным требованиям. Сертификация выполняется для защиты интересов пользователей. Основная цель сертификации программных средств гарантия их высокого качества, надежности и безопасности применения.

Значительную помощь в повышении надежности сложных ПС может оказать систематизация видов тестирования и упорядочивание их проведение. Виды тестирования ориентированы на диферентное выявление определенных классов дефектов. Для каждого вида тестирования разрабатывается методика его выполнения с указанием параметров, ожидаемых и эталонных результатов.

На выполнение проекта выделяются ресурсы различных видов: допустимые финансово-экономические затраты; кадры специалистов; вычислительные ресурсы

Эти задачи нужно отделять от выбора инструментальных средств разработки и планов управления процессом создания проги. Мероприятия, обеспечивающие надежность и безопасность прог должны охватывать весь ЖЦ ПС.

Содержание этапов и работ при создании компонент и ПС в целом определено стандартах и моделях ЖЦПС. Необходимая надежность объектов формируется и обеспечивается в процессе выполнения каждого этапа и окончательно удостоверяется испытаниями и док-ми при их испытании. Для обеспечения качества НПС стандартами рекомендуется формировать требования:  

Данная методика устанавливает основные методы, технологии и документы, обеспечивающие тестирование и отладку программных модулей и программных компонент, состоящих из нескольких модулей. Исходные данные для тестирования, которые нужно фиксировать и документировать до начала работы являются:

Функционально любую программу можно рассмотреть как обработку потока данных, передаваемых от входа к ее выходу. Входные данные последовательно используются для определения ряда промежуточных результатов вплоть до получения необходимого набора выходных данных.

Сложность программы определяется числом взаимодействующих компонент, числом связи между компонентами и сложностью их взаимодействия. При функционировании программы разнообразие её поведения и разнообразие связей входных и результативных данных в большей степени определяется набором маршрутов, по которым используется программа.

Целью тестирования структуры ПМ является проверка корректности выделенных маршрутов использования программ и обнаружения в основном на логике ошибок формирования маршрутов.

При тестировании программных модулей используются 2 стратегии отладки:1. от структуры; 2. от данных. При первой стратегии за основу принимается структура модуля, построенная по тексту программы в виде направленного графа. В графе выделяются и упорядочиваются маршруты исполнения программы и условия, при которых они могут быть реализованы. Эти условия используются для подготовки тестовых наборов, каждый из которых Читать далее

1) Детерминированное тестирование. Задается конкретная совокупность исходных данных, которой соответствуют конкретные значения эталонных результатов. Результаты тестирования на выходных или в промежуточных точках сопоставляются с эталонами – это позволяет обнаружить и локализовать ошибку.

При выборе методов и технологий разработки программных компонент принципиальное значение имеет их размерность. Методы оценки и технология тестирования программ тоже зависят от размера программы.

Надежность ПС в первую очередь определяется качеством их компонент – модулей и функциональных групп программ. Высокое качество программных компонент достигается систематическим тестированием и отладкой.

Математические модели при экспертном определении их параметров в конкретном проекте позволяют прогнозировать надежность комплексов программ на этапах автономной и комплексной отладки. Пока надежность низка в этих условиях ошибки выявляются довольно часто.

Путем анализа и обобщения экспертных данных реальных разработок предложены несколько мат. моделей, описывающих основные закономерности изменения суммарного количества вторичных ошибок в программах.

Важной особенностью создания сложных ПС и … является отсутствие эталона, которому должны соответствовать текст программы и результаты ее функционирования. При отладке и тестировании сначала обнаруживаются вторичные ошибки, т.е. результаты проявления исходных дефектов, которые являются первичными ошибками или причинами обнаруженных аномалий.

Анализ надежности ПС базируется на модели взаимодействия следующих компонент: — объектов уязвимости; — дестабилизирующих факторов и угроз надежности; — методов предотвращения угроз надежности; — методов повышения надежности.

1. Отказ – событие заключающееся в прекращении ПО выполнять требуемые функции с учетом заданных ограничений. Причиной отказов является проявление дефектов, оставшихся не выявленными.