|
libcats.org
Верификация программного обеспечения: Курс лекцийСиницын С.В., Налютин Н.Ю.Целью данного курса является изложение комплексного взгляда на процесс верификации программного обеспечения. Предметом обсуждения являются различные подходы и методы, применяемые в области верификации и, в частности, тестирования программного обеспечения. Предполагается, что разрабатываемое программное обеспечение является частью более общей системы. Подобная система включает аппаратные, информационные и организационные (человек-пользователь, человек-оператор и т.п.) компоненты, разрабатываемые, возможно, разными коллективами. Поэтому необходимы документы разработки, определяющие требования к различным компонентам системы и правила их взаимодействия. Кроме того, предполагается, что отказы системы могут приводить к последствиям той или иной тяжести, поэтому при разработке программного обеспечения необходимы и оправданы усилия, потраченные на выявление скрытых дефектов. В первую очередь, это касается средств и процедур верификации программного обеспечения. В состав курса входит ряд практических занятий, иллюстрирующих на примере простой системы приемы и методы верификации программного обеспечения в среде Microsoft Visual Studio 2005 Team Edition for Software Testers.
Данная публикация входит в состав ''Библиотеки учебных курсов'', формирование которой ведется в рамках программы академического сотрудничества MSDN Academic Alliance (MSDN AA) EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#1
Интенсивная терапияМарино, МартыновКатегория: Медицина, Анестезиология и интенсивная терапия
15.28 Mb
#2
Шпионские страсти. Электронные устройства двойного примененияЕ. А. Рудометов, В. Е. Рудометов
2.26 Mb
#5
Интенсивная терапия. Реанимация. Первая помощьАндрюхин И.М. Бочаров В.А. Малышев В.Д.Категория: 2208513-Библиотека анестезиология, реанимация, интенсивная терапия, ск, 1-2, Скорая и неотложная помощь, Сердечно-легочная реанимация
5.10 Mb
#6
Контрольно-измерительные приборы и инструменты.Зайцев С.А., Грибанов Д.Д., Толстов А.Н.
10.45 Mb
#7
Фізика для інженерів.Лопатинський І. Є., Зачек І. Р., Ільчук Г. А., Романишин Б. М.Категория: Математика, фізика
123.95 Mb
#8
Интенсивная терапия. Руководство для врачейПод редакцией профессора В.Д.МалышеваКатегория: ЗДОРОВЬЕ, НАУКА и УЧЕБА
53.79 Mb
|
|