Верификация и тестирование программных систем

Скачать в pdf «Верификация и тестирование программных систем»




Н. Н. СМИРНОВА


ВЕРИФИКАЦИЯ И ТЕСТИРОВАНИЕ ПРОГРАММНЫХ СИСТЕМ


Министерство образования и науки Российской Федерации Балтийский государственный технический университет «Военмех» Кафедра информационных систем и компьютерных технологий


Н.Н. СМИРНОВА

ВЕРИФИКАЦИЯ И ТЕСТИРОВАНИЕ ПРОГРАММНЫХ СИСТЕМ


Учебное пособие


Санкт-Петербург


2014


УДК 004.415.5(075.8)


С50


Смирнова, Н.Н.


С50    Верификация и тестирование программных систем:


учебное пособие / Н.Н. Смирнова; Балт. гос. техн. ун-т.


— СПб., 2014. — 65 с.


ISBN 978-5-85546-787-1


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


Предназначено для бакалавров и магистров, изучающих дисциплину «Теория и техника тестирования, верификации и валидации программных продуктов». Может быть полезно всем, чья работа связана с IT-технологиями.


УДК 004.415.5(075.8)


Р е ц е н з е н т ы: канд. техн. наук, проф. каф. И4 БГТУ А.А. Сорокин; д-р техн. наук, проф. А.С. Борейшо


Утверждено


редакционно-издательским советом университета


© БГТУ, 2014 © Н.Н. Смирнова, 2014


ВВЕДЕНИЕ


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


Стандарт ИСО 9000:2000 определяет процессы верификации и валидации изготовляемого программного продукта следующим образом. «Верификация — подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены. Валидация — подтверждение на основе представления объективных свидетельств того, что требования, предназначенные для конкретного использования или применения, выполнены».

Скачать в pdf «Верификация и тестирование программных систем»