|
Разработан тестовый набор для ARINC 653 |
|
В UniTESK Lab разработан тестовый набор, проверяющий корректность реализации стандарта ARINC 653 "Avionics Application Software Standard Interface" в редакции 2005 года. Тестовый набор удовлетворяет требованиям третьей части стандарта ARINC 653 "Conformity Test Specification", которая описывает набор тестовых испытаний, необходимых для демонстрации соответствия стандарту. |
|
Подробнее...
|
|
|
Семинар «Go4IT – шаг к новым технологиям Интернета» |
|
17-18 Апреля 2007 года в Москве прошел семинар, посвященный вопросам распространения Интернет-протокола нового поколения IPv6, а также новым подходам к валидации и верификации реализаций протоколов.
На пленарной сессии «Введение в Go4IT» участники консорциума Go4IT представили международный проект Go4IT и тестовую платформу для верификации реализаций IPv6. В рамках конференции пользователей были представлены исследования по тестированию протоколов. На сессии практического тестирования реализаций IPv6 «IPv6 Plugtest Moscow» были представлены тестовые наборы Европейского института стандартизации телекоммуникаций, Института системного программирования РАН и тестовой платформы Go4IT. Тестовый набор, представленный ИСП РАН на сессии IPv6 Plugtest Moscow, разработан по технологии UniTESK.
 
|
|
Подробнее...
|
|
|
Технология UniTESK была представлена на международной выставке CeBIT 2007, Ганновер, Германия, 14-21 марта 2007 г. Технология получила положительные отзывы у посетителей нашего стенда, который располагался в рамках объединенной экспозиции Министерства образования и науки РФ в павильоне 6, стенд A48.
 
|
|
|
Успехи в тестировании аппаратуры |
|
К настоящему моменту нами разработан и успешно апробирован подход к спецификации и тестированию RTL-моделей аппаратуры на основе технологии UniTESK. Требования, предъявляемые к надежности аппаратных систем очень высоки, поэтому такие системы нуждаются в тщательной систематической проверке. Мы считаем тестирование аппаратуры перспективной и стратегически важной областью применения технологии UniTESK. |
|
Подробнее...
|
|
В 2006 году было начато изучение возможностей развития технологии UniTESK в следующих направлениях.
- Построение тестов для математических функций, работающих с числами с плавающей точкой.
- Построение тестов, проверяющих корректность моделей отдельных блоков микропроцессоров конвейерной архитектуры.
- Интеграция техник, используемых при проверке моделей, в тестирование компонентных распределенных систем.
Были также продолжены исследования, проводившиеся ранее, по следующим темам.
- Автоматизация генерации данных сложной структуры для тестирования приложений, работающих с базами данных, XML-документами и другими документами на формальных языках.
- Автоматизация генерации тестовых программ для тестирования анализаторов статической семантики языков программирования.
- Автоматизация генерации структурных тестов на основе генетических алгоритмов и методов логического программирования.
- Разработка теоретических основ методов формального тестирования компонентных систем.
По результатам некоторых из этих, а также ранее выполненных исследований, в 2006 году было защищено 4 кандидатских диссертации под руководством д.ф.-м.н. А. К. Петренко по следующим темам.
- Спецификация и тестирование компонентов с асинхронным интерфейсом - А. В. Хорошилов.
- Формализация стандартов и тестовых наборов протоколов Интернета - Н. В. Пакулин.
- Автоматическая генерация тестов для семантических анализаторов трансляторов - М. В. Архипова.
- Объектно-ориентированное описание графового представления программ и моделей - А. В. Демаков.
Помимо этого в 2006 году технология UniTESK успешно использовалась в ходе нескольких промышленных и опытно-конструкторских проектов.
- Разработка тестового набора OLVER для тестирования соответствия стандарту Linux Standard Base 3.1.
- Разработка тестов на основе формальных спецификаций операционной системы реального времени ОС2000.
- Разработка тестов для системы интеграции уровня предприятия крупной телекоммуникационной компании.
- Разработка тестов для тестирования соответствия стандартам протокола IPsec.
|
|
|
|
<< [Первая] < [Предыдущая] 1 2 3 4 5 6 7 8 9 [Следующая] > [Последняя] >>
|
| Результаты 37 - 45 из 81 |
