Эксперименты с дедуктивным тестированием реактивных систем
Применение дедуктивных методов в тестировании возможно при определении соответствия программного обеспечения исходным требованиям. Предполагается, что программный код разрабатывается по требованиям, которые могут быть заданы в некотором формальном языке. Техника дедуктивного тестирования с использов...
Збережено в:
| Опубліковано в: : | Математичні машини і системи |
|---|---|
| Дата: | 2013 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2013
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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| _version_ | 1862679246729641984 |
|---|---|
| author | Летичевский, А.А. (мл.) |
| author_facet | Летичевский, А.А. (мл.) |
| citation_txt | Эксперименты с дедуктивным тестированием реактивных систем / А.А. Летичевский (мл.) // Математичні машини і системи. — 2013. — № 4. — С. 20-28. — Бібліогр.: 7 назв. — рос. |
| collection | DSpace DC |
| container_title | Математичні машини і системи |
| description | Применение дедуктивных методов в тестировании возможно при определении соответствия программного обеспечения исходным требованиям. Предполагается, что программный код разрабатывается по требованиям, которые могут быть заданы в некотором формальном языке. Техника дедуктивного тестирования с использованием символьного выполнения программы позволяет получить наиболее полное покрытие наблюдаемых данных. В данной статье рассматривается пример дедуктивного тестирования реактивной системы.
Застосування дедуктивних методів у тестуванні можливе при визначенні відповідності програмного забезпечення вихідним вимогам. Передбачається, що програмний код розробляється за вимогами, які можуть бути задані в деякій формальній мові. Техніка дедуктивного тестування з використанням символьного виконання програми дозволяє отримати найбільш повне покриття спостережуваних даних. У даній статті розглядається приклад дедуктивного тестування реактивної системи.
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.
|
| first_indexed | 2025-12-07T15:41:52Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-84268 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-12-07T15:41:52Z |
| publishDate | 2013 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Летичевский, А.А. (мл.) 2015-07-05T07:12:48Z 2015-07-05T07:12:48Z 2013 Эксперименты с дедуктивным тестированием реактивных систем / А.А. Летичевский (мл.) // Математичні машини і системи. — 2013. — № 4. — С. 20-28. — Бібліогр.: 7 назв. — рос. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/84268 519.685/519.686 Применение дедуктивных методов в тестировании возможно при определении соответствия программного обеспечения исходным требованиям. Предполагается, что программный код разрабатывается по требованиям, которые могут быть заданы в некотором формальном языке. Техника дедуктивного тестирования с использованием символьного выполнения программы позволяет получить наиболее полное покрытие наблюдаемых данных. В данной статье рассматривается пример дедуктивного тестирования реактивной системы. Застосування дедуктивних методів у тестуванні можливе при визначенні відповідності програмного забезпечення вихідним вимогам. Передбачається, що програмний код розробляється за вимогами, які можуть бути задані в деякій формальній мові. Техніка дедуктивного тестування з використанням символьного виконання програми дозволяє отримати найбільш повне покриття спостережуваних даних. У даній статті розглядається приклад дедуктивного тестування реактивної системи. 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. ru Інститут проблем математичних машин і систем НАН України Математичні машини і системи Обчислювальні системи Эксперименты с дедуктивным тестированием реактивных систем Експерименти з дедуктивним тестуванням реактивних систем Experiments with a deductive testing of reactive systems Article published earlier |
| spellingShingle | Эксперименты с дедуктивным тестированием реактивных систем Летичевский, А.А. (мл.) Обчислювальні системи |
| title | Эксперименты с дедуктивным тестированием реактивных систем |
| title_alt | Експерименти з дедуктивним тестуванням реактивних систем Experiments with a deductive testing of reactive systems |
| title_full | Эксперименты с дедуктивным тестированием реактивных систем |
| title_fullStr | Эксперименты с дедуктивным тестированием реактивных систем |
| title_full_unstemmed | Эксперименты с дедуктивным тестированием реактивных систем |
| title_short | Эксперименты с дедуктивным тестированием реактивных систем |
| title_sort | эксперименты с дедуктивным тестированием реактивных систем |
| topic | Обчислювальні системи |
| topic_facet | Обчислювальні системи |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/84268 |
| work_keys_str_mv | AT letičevskiiaaml éksperimentysdeduktivnymtestirovaniemreaktivnyhsistem AT letičevskiiaaml eksperimentizdeduktivnimtestuvannâmreaktivnihsistem AT letičevskiiaaml experimentswithadeductivetestingofreactivesystems |