Бази даних

Реферативна база даних - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>A=Krawczyk H$<.>)
Загальна кількість знайдених документів : 1

      
Категорія:    
1.

Krawczyk H.  
Modelling and Simulation for the Development of Test Scenarios for Parallel and Distributed Programs / H. Krawczyk, B. Wiszniewski // Электрон. моделирование. - 2000. - 22, № 2. - С. 87-100. - Библиогр.: 9 назв. - англ.

Розглянуто проблему структурного тестування паралельних та розподілених програм на основі спеціально визначеної моделі паралельних керованих течій (ланцюжки програмних модулів). Модель містить вузлові та знакові об'єкти, які, взаємодіючи, можуть представляти різні режими тестованої програми. На цій основі запропоновано метод динамічної символьної інтерпретації для визначення тестових сценаріїв, спроможних виявляти похибки, пов'язані з взаємодією. Методи є менш ушкоджуючими порівняно з класичними динамічними методами аналізу, такими як тестування узгодженості або миттєве відтворення, оскільки вони базуються на моделюванні та об'єднанні декількох методик статичного і динамічного аналізів у єдине ціле.


Ключ. слова: parallel program testing, test scenario, operational behaviour, simulation
Індекс рубрикатора НБУВ: З970.21-018

Рубрики:

Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ 
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського