Вы здесь

Главная

тестовый

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

A Framework for Testing Database Applications
An Applicable Test Data Generation Algorithm for Domain Errors
An Evaluation of High Performance Fortran Compilers Using the HPFBench Benchmark Suite
An Evaluation of Software Test Environment Architectures
A Scaleable, Automated Process for Year 2000 System Correction
Assertion-Oriented Automated Test Data Generation
A Test Environment for High Integrity Software Development
Automated Test Data Generation Using an Iterative Relaxation Method
Automatic Test Data Generation using Constraint Solving Techniques
Compositional methods in characterization of timed event structures
Feasible Test Path Selection by Principal Slicing
Model-Based Engineering of Embedded Real-Time Systems: Revised Selected Papers/ International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 2007
On the Minimal Essential Subsets and Minimal Representative Sets
Test Data Generation
Testing Software and Systems: Proc./29th IFIP WG 6.1 International Conference, ICTSS 2017, St.Petersburg, Russia, October 2017
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation
The Chaining Approach for Software Test Data Generation
Timed Testing for Dense Timed Model
Towards Automated Support for Deriving Test Data from UML Statecharts
Архитектура системы генерации и пропуска тестов
Верификация функций безопасности протокола IPSEC V2
Генерация тестовых данных для тестирования механизмов кэшировния и трансляции адресов микропроцессоров
Генерация тестовых последовательностей
Использование программных моделей для диагностирования информационно-управляю их систем
Исследование тестовых отношений для временных структур событий
Исследование эквивалентностных отношений структур событий с дискретным временем
Комбинаторика слов и построение тестовых последовательностей
Метод редукции тестового набора для интеграционного тестирования
Метод редукции тестового набора для регрессивного интеграционного тестирования
Методы композиции при построении характеризационных формул для моделей с непрерывным временем
Определение периода сложных сигналов и диагностических коэффициентов при контроле насосного оборудования нефтепромыслов
Открытые морфизмы и временная тестовая эквивалентность для временных автоматных моделей
Паттерны проектирования тестовых сценариев
Построение тестовых последовательностей при минимуме информации о тестируемой системе
Разработка тестовых систем для многомодульных моделей аппаратуры
Расширяемая среда генерации тестовых программ для микропроцессоров
Согласование конформности и композиции
Средства управления пропуском тестовых последовательностей и анализа полученных результатов
Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях
Тестирование аварийного завершения процедур