Обозреватель спецификаций

Обозреватель спецификаций
Разработчик(и)	Майкрософт
Стабильная версия	Выпуск 3.5.3146.0 2010 г. / 8 июля 2013 г .; 11 лет назад
Операционная система	Microsoft Windows
Тип	Инструмент модельного тестирования

Обозреватель спецификаций ^{[ 1 ]} это модельно-ориентированное тестирование (MBT ^{[ 2 ]}^{[ 3 ]}) инструмент от Microsoft . Он расширяет Visual Studio интегрированную среду разработки возможностью определять модель, описывающую ожидаемое поведение программной системы . На основе этих моделей инструмент может автоматически генерировать тесты для выполнения в собственной среде тестирования Visual Studio или во многих других средах модульного тестирования .

Концепции, лежащие в основе Spec Explorer , и сам инструмент описаны в нескольких публикациях. ^{[ 4 ]}^{[ 5 ]}^{[ 6 ]}^{[ 7 ]}^{[ 8 ]}^{[ 9 ]}^{[ 10 ]} ^{[ 11 ]}^{[ 12 ]}^{[ 13 ]} и представлен на многочисленных академических и отраслевых мероприятиях. ^{[ 14 ]}^{[ 15 ]}^{[ 16 ]}^{[ 17 ]}

Последнюю версию можно загрузить из галереи Visual Studio. ^{[ 18 ]} Техническую информацию можно найти в документации Microsoft. ^{[ 19 ]} Поддержку сообщества и команды разработчиков можно получить через форум Spec Explorer, ^{[ 20 ]} в то время как блог команды Spec Explorer ^{[ 21 ]} содержит подробные статьи и рекомендации. ^{[ 22 ]}

Ссылки

^ «Мощный инструмент Visual Studio Spec Explorer» .
^ «Золотая практика модельно-ориентированного тестирования» .
^ «Домашняя страница модельного тестирования Гарри Робинсона» . Архивировано из оригинала 27 октября 2009 г.
^ Марк Уттинг и Бруно Легард. Практическое модельное тестирование. Морган-Кауфманн, 2007.
^ Вольфганг Грискамп. Мультипарадигматическое тестирование на основе моделей. Приглашенный доклад: Клаус Хавелунд, Мануэль Нуньес, Григоре Росу и Буркхарт Вольф, FATES/RV, LNCS 4262, 2006.
^ Колин Кэмпбелл, Вольфганг Грискамп, Лев Нахмансон, Вольфрам Шульте, Николай Тиллманн и Маргус Винс. Модельно-ориентированное тестирование объектно-ориентированных реактивных систем с помощью Spec Explorer. Формальные методы и тестирование 2008, LNCS 4949, Springer, 2008, стр. 39–76.
^ Вольфганг Грискамп, Юрий Гуревич, Вольфрам Шульте и Маргус Винс. Генерация конечных автоматов из абстрактных автоматов. В Proceedings ISSTA'02, том 27 «Заметок по программной инженерии», страницы 112–122. АКМ, 2002.
^ Кейт Стоби. Тестирование на основе моделей на практике в Microsoft. В материалах семинара по тестированию на основе моделей (MBT 2004), том 111 «Электронных заметок по теоретической информатике». Эльзевир, 2004.
^ Вольфганг Грискамп, Николас Кициллоф, Николай Тильманн. Машины действий: основа для кодирования и составления частичных поведений. Международный журнал программной инженерии и инженерии знаний 16 (5): 705-726, 2006.
^ Вольфганг Грискамп, Дэйв Макдональд, Николас Кичиллоф, Алок Нандан, Кейт Стоби и Фред Вурден. Обеспечение качества документации протокола Windows на основе модели. В материалах 1-й Международной конференции IEEE по тестированию программного обеспечения (ICST 2008), Лиллихаммер, Норвегия, апрель 2008 г.
^ Юрий Гуревич. Развивающиеся алгебры 1993: Путеводитель по Липари. В книге Э. Бургера, редактора, «Методы спецификации и проверки», стр. 9–36. Издательство Оксфордского университета, 1995.
^ Р. Алур, Т. А. Хензингер, О. Купферман, М. И. Варди: чередующиеся уточняющие отношения. В материалах девятой Международной конференции по теории параллелизма (CONCUR), LNCS 1466, Springer, 1998.
^ Вольфганг Грискамп и Николас Кициллоф. Язык схемы для координации построения и композиции частичных поведений. В материалах 28-й Международной конференции по программной инженерии и совместных семинаров - 5-го Международного семинара по сценариям и государственным автоматам. АКМ, май 2006 г.
^ «Формальные подходы к тестированию и проверке времени выполнения 2006» .
^ «Международная конференция IEEE по верификации и валидации тестирования программного обеспечения 2008» .
^ «Международная конференция по качественному программному обеспечению 2008» .
^ «Конференция разработчиков систем хранения данных» .
^ «Spec Explorer 2010 Visual Studio Power Tool» .
^ «Spec Explorer @ the Microsoft Developer Network» .
^ «Форум по модельно-ориентированному тестированию с помощью Spec Explorer» .
^ «Блог команды Spec Explorer» .
^ https://softwareengineer1.blogspot.com/2019/02/spec-explorer-lives-getting-spec.html Spec Explorer 2010 поддерживается на VS2013, VS2015, VS2017.

[1] «Мощный инструмент Visual Studio Spec Explorer» .

[2] «Золотая практика модельно-ориентированного тестирования» .

[3] «Домашняя страница модельного тестирования Гарри Робинсона» . Архивировано из оригинала 27 октября 2009 г.

[4] Марк Уттинг и Бруно Легард. Практическое модельное тестирование. Морган-Кауфманн, 2007.

[5] Вольфганг Грискамп. Мультипарадигматическое тестирование на основе моделей. Приглашенный доклад: Клаус Хавелунд, Мануэль Нуньес, Григоре Росу и Буркхарт Вольф, FATES/RV, LNCS 4262, 2006.

[6] Колин Кэмпбелл, Вольфганг Грискамп, Лев Нахмансон, Вольфрам Шульте, Николай Тиллманн и Маргус Винс. Модельно-ориентированное тестирование объектно-ориентированных реактивных систем с помощью Spec Explorer. Формальные методы и тестирование 2008, LNCS 4949, Springer, 2008, стр. 39–76.

[7] Вольфганг Грискамп, Юрий Гуревич, Вольфрам Шульте и Маргус Винс. Генерация конечных автоматов из абстрактных автоматов. В Proceedings ISSTA'02, том 27 «Заметок по программной инженерии», страницы 112–122. АКМ, 2002.

[8] Кейт Стоби. Тестирование на основе моделей на практике в Microsoft. В материалах семинара по тестированию на основе моделей (MBT 2004), том 111 «Электронных заметок по теоретической информатике». Эльзевир, 2004.

[9] Вольфганг Грискамп, Николас Кициллоф, Николай Тильманн. Машины действий: основа для кодирования и составления частичных поведений. Международный журнал программной инженерии и инженерии знаний 16 (5): 705-726, 2006.

[10] Вольфганг Грискамп, Дэйв Макдональд, Николас Кичиллоф, Алок Нандан, Кейт Стоби и Фред Вурден. Обеспечение качества документации протокола Windows на основе модели. В материалах 1-й Международной конференции IEEE по тестированию программного обеспечения (ICST 2008), Лиллихаммер, Норвегия, апрель 2008 г.

[11] Юрий Гуревич. Развивающиеся алгебры 1993: Путеводитель по Липари. В книге Э. Бургера, редактора, «Методы спецификации и проверки», стр. 9–36. Издательство Оксфордского университета, 1995.

[12] Р. Алур, Т. А. Хензингер, О. Купферман, М. И. Варди: чередующиеся уточняющие отношения. В материалах девятой Международной конференции по теории параллелизма (CONCUR), LNCS 1466, Springer, 1998.

[13] Вольфганг Грискамп и Николас Кициллоф. Язык схемы для координации построения и композиции частичных поведений. В материалах 28-й Международной конференции по программной инженерии и совместных семинаров - 5-го Международного семинара по сценариям и государственным автоматам. АКМ, май 2006 г.

[14] «Формальные подходы к тестированию и проверке времени выполнения 2006» .

[15] «Международная конференция IEEE по верификации и валидации тестирования программного обеспечения 2008» .

[16] «Международная конференция по качественному программному обеспечению 2008» .

[17] «Конференция разработчиков систем хранения данных» .

[18] «Spec Explorer 2010 Visual Studio Power Tool» .

[19] «Spec Explorer @ the Microsoft Developer Network» .

[20] «Форум по модельно-ориентированному тестированию с помощью Spec Explorer» .

[21] «Блог команды Spec Explorer» .

[22] ttps://softwareengineer1.blogspot.com/2019/02/spec-explorer-lives-getting-spec.html Spec Explorer 2010 поддерживается на VS2013, VS2015, VS2017.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ 14 ]

[ 15 ]

[ 16 ]

[ 17 ]

[ 18 ]

[ 19 ]

[ 20 ]

[ 21 ]

[ 22 ]