реклама на сайте
подробности
 
 Wiki Wiki  Photo Photo  Forum Forum  Reviews Reviews  Help (!) Help (!)
 
> Средства автоматизации тестирования программ, Какие они бывают?
Кнкн
сообщение Jan 24 2007, 11:45
Сообщение #1


Знающий
****

Группа: Свой
Сообщений: 646
Регистрация: 21-06-04
Пользователь №: 71
Расскажите,пожалуйста, какие бывают средства автоматизации тестирования программ?
Go to the top of the page
 
+Quote Post
 
 Start new topic
Ответов
Dr.NoA
сообщение Jan 24 2007, 13:48
Сообщение #2


Местный
***

Группа: Свой
Сообщений: 316
Регистрация: 22-10-05
Пользователь №: 9 976
SPIN Model Checker. Но это, насколько я понимаю, все таки средство верификации алгоритма, протокола и т.п., а не конкретной программной реализации алгоритма.
Go to the top of the page
 
+Quote Post

Сообщений в этой теме
- Кнкн   Средства автоматизации тестирования программ   Jan 24 2007, 11:45
- - mihask   Цитата(Кнкн @ Jan 24 2007, 14:45) Расскаж...   Jan 24 2007, 11:57
|- - Кнкн   Цитата(mihask @ Jan 24 2007, 11:57) Если ...   Jan 24 2007, 13:12
- - AndrewKirs   Известный набор продуктов автоматизации тестирован...   Feb 13 2007, 14:05
- - vitan   Много их. Вот еще Telelogic например.   Feb 13 2007, 21:06

 

Reply to this topicStart new topic
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 

RSS Текстовая версия Сейчас: 21st July 2025 - 19:16
Рейтинг@Mail.ru


Страница сгенерированна за 0.01354 секунд с 7
ELECTRONIX ©2004-2016