Вы здесь

Главная

тест

Связанные издания:

Trends in Digital Device Test Methodologies
TTCN-3 Language Characteristics in Producing Reusable Test Software
UML-Based Integration Testing
UML-Based Statistical Test Case Generation
UMTS Terminal Testing: A Practical Perspective
Usefulness and Usage of SKaMPI-Bench
Using Coverage Information to Predict the Cost-Effectiveness of Regression Testing Strategies
Using Model Checking to Generate Tests from Requirements Specifications
Using Test Oracles Generated from Program Documentation
Using UML Sequence Diagrams as the Basis for a Formal Test Description Language
Validation of Scientific Programs
Where Do Unit Tests Come from?
XP with Acceptance-Test Driven Development: A Rewrite Project for a Resource Optimization System
Zero Aliasing Compression Based on Groups of Weakly Independent Outputs in Circuits with High Complexity for Two Fault Models
Автоматизация массового создания тестов работоспособности
Автоматизированное построение системного теста на случайных кодах
Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования
Автоматическое построение тестов для целей производственного контроля типовых элементов замены вычислительных комплексов
Анализ зависимостей по данным на базе алгоритма Шостака
Входной язык описания тестов на основе расширенных MSC диаграмм
Генерация позитивных и негативных тестов для парсеров
Генерация тестовых последовательностей
Задача автоматического построения тестов и статический анализ
Инструменты поддержки структурного тестирования в системе СОКРАТ
Исследование сложности динамических тестов для комбинационных схем
Комплект диагностических тестов для Ада-трансляторов. Современное состояние
Комплект диагностических тестов для АДА-трансляторов. Современное состояние
Коструирование кристально-ориентированных тестов в адаптивных системах дистанционного обучения
К построению проверяю их тестов для недетерминированных автоматов с тайм-аутами
К синтезу условных тестов для недетерминированных автоматов
Локализация ошибок методом построения сокра енных трасс
Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам
Методы и средства автоматизации построения полных систем тестов программ
Моделирование внешних спецификаций программ формулами трехзначной логики для построения тестов
Некоторые разрешимые случаи проблемы построения полной системы примеров и формализованное проектирование функциональных тестов блоков ЭВМ
Об измерениях и расширениях языков в вычислительных машинах
Организация сложных тестовых наборов
ОСТ: Система контроля тестированности МОДУЛА-2-программ
Оценка производительности сцперкомпьютеров
Подход UniTesK к разработке тестов: достижения и перспективы
Программы для создания тестов и проведения тестирования
Программы контрольных тестов
Проектирование и анализ тестов трансляторов
Регулярный синтез тестов в системе построения и анализа тестов СИДИКОН
Символьное выполнение программ и автоматическое построение тестов
Система автоматической генерации тестов
Спецификация тестов на основе описания трасс
Сравнение T-системы и MPI на задаче EP из пакета текстов NPB 2.3
Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения
Сравнительный анализ тестов на зависимость по данным