Эксперименты с дедуктивным тестированием реактивных систем
Применение дедуктивных методов в тестировании возможно при определении соответствия программного обеспечения исходным требованиям. Предполагается, что программный код разрабатывается по требованиям, которые могут быть заданы в некотором формальном языке. Техника дедуктивного тестирования с использов...
Збережено в:
| Дата: | 2013 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2013
|
| Назва видання: | Математичні машини і системи |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/84268 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Эксперименты с дедуктивным тестированием реактивных систем / А.А. Летичевский (мл.) // Математичні машини і системи. — 2013. — № 4. — С. 20-28. — Бібліогр.: 7 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-84268 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-842682015-07-06T03:01:48Z Эксперименты с дедуктивным тестированием реактивных систем Летичевский, А.А. (мл.) Обчислювальні системи Применение дедуктивных методов в тестировании возможно при определении соответствия программного обеспечения исходным требованиям. Предполагается, что программный код разрабатывается по требованиям, которые могут быть заданы в некотором формальном языке. Техника дедуктивного тестирования с использованием символьного выполнения программы позволяет получить наиболее полное покрытие наблюдаемых данных. В данной статье рассматривается пример дедуктивного тестирования реактивной системы. Застосування дедуктивних методів у тестуванні можливе при визначенні відповідності програмного забезпечення вихідним вимогам. Передбачається, що програмний код розробляється за вимогами, які можуть бути задані в деякій формальній мові. Техніка дедуктивного тестування з використанням символьного виконання програми дозволяє отримати найбільш повне покриття спостережуваних даних. У даній статті розглядається приклад дедуктивного тестування реактивної системи. The application of deductive methods in testing technology is possible at definition of equivalence of software product to initial requirements. It is anticipated that programme code is developed due to the requirements that could be presented as formal specifications. Deductive testing technique by using symbol programme execution allows obtaining the most complete coverage of all visible data. The example of deductive testing of reactive system is considered in this paper. 2013 Article Эксперименты с дедуктивным тестированием реактивных систем / А.А. Летичевский (мл.) // Математичні машини і системи. — 2013. — № 4. — С. 20-28. — Бібліогр.: 7 назв. — рос. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/84268 519.685/519.686 ru Математичні машини і системи Інститут проблем математичних машин і систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Обчислювальні системи Обчислювальні системи |
| spellingShingle |
Обчислювальні системи Обчислювальні системи Летичевский, А.А. (мл.) Эксперименты с дедуктивным тестированием реактивных систем Математичні машини і системи |
| description |
Применение дедуктивных методов в тестировании возможно при определении соответствия программного обеспечения исходным требованиям. Предполагается, что программный код разрабатывается по требованиям, которые могут быть заданы в некотором формальном языке. Техника дедуктивного тестирования с использованием символьного выполнения программы позволяет получить наиболее полное покрытие наблюдаемых данных. В данной статье рассматривается пример дедуктивного тестирования реактивной системы. |
| format |
Article |
| author |
Летичевский, А.А. (мл.) |
| author_facet |
Летичевский, А.А. (мл.) |
| author_sort |
Летичевский, А.А. (мл.) |
| title |
Эксперименты с дедуктивным тестированием реактивных систем |
| title_short |
Эксперименты с дедуктивным тестированием реактивных систем |
| title_full |
Эксперименты с дедуктивным тестированием реактивных систем |
| title_fullStr |
Эксперименты с дедуктивным тестированием реактивных систем |
| title_full_unstemmed |
Эксперименты с дедуктивным тестированием реактивных систем |
| title_sort |
эксперименты с дедуктивным тестированием реактивных систем |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| publishDate |
2013 |
| topic_facet |
Обчислювальні системи |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/84268 |
| citation_txt |
Эксперименты с дедуктивным тестированием реактивных систем / А.А. Летичевский (мл.) // Математичні машини і системи. — 2013. — № 4. — С. 20-28. — Бібліогр.: 7 назв. — рос. |
| series |
Математичні машини і системи |
| work_keys_str_mv |
AT letičevskijaaml éksperimentysdeduktivnymtestirovaniemreaktivnyhsistem |
| first_indexed |
2023-10-18T19:28:34Z |
| last_indexed |
2023-10-18T19:28:34Z |
| _version_ |
1796147061106671616 |