Эксперименты с дедуктивным тестированием реактивных систем
Применение дедуктивных методов в тестировании возможно при определении соответствия программного обеспечения исходным требованиям. Предполагается, что программный код разрабатывается по требованиям, которые могут быть заданы в некотором формальном языке. Техника дедуктивного тестирования с использов...
Saved in:
| Published in: | Математичні машини і системи |
|---|---|
| Date: | 2013 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/84268 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Эксперименты с дедуктивным тестированием реактивных систем / А.А. Летичевский (мл.) // Математичні машини і системи. — 2013. — № 4. — С. 20-28. — Бібліогр.: 7 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-84268 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Эксперименты с дедуктивным тестированием реактивных систем |
| spellingShingle |
Эксперименты с дедуктивным тестированием реактивных систем Летичевский, А.А. (мл.) Обчислювальні системи |
| title_short |
Эксперименты с дедуктивным тестированием реактивных систем |
| title_full |
Эксперименты с дедуктивным тестированием реактивных систем |
| title_fullStr |
Эксперименты с дедуктивным тестированием реактивных систем |
| title_full_unstemmed |
Эксперименты с дедуктивным тестированием реактивных систем |
| title_sort |
эксперименты с дедуктивным тестированием реактивных систем |
| author |
Летичевский, А.А. (мл.) |
| author_facet |
Летичевский, А.А. (мл.) |
| topic |
Обчислювальні системи |
| topic_facet |
Обчислювальні системи |
| publishDate |
2013 |
| language |
Russian |
| container_title |
Математичні машини і системи |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| format |
Article |
| title_alt |
Експерименти з дедуктивним тестуванням реактивних систем Experiments with a deductive testing of reactive systems |
| 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.
|
| issn |
1028-9763 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/84268 |
| citation_txt |
Эксперименты с дедуктивным тестированием реактивных систем / А.А. Летичевский (мл.) // Математичні машини і системи. — 2013. — № 4. — С. 20-28. — Бібліогр.: 7 назв. — рос. |
| work_keys_str_mv |
AT letičevskiiaaml éksperimentysdeduktivnymtestirovaniemreaktivnyhsistem AT letičevskiiaaml eksperimentizdeduktivnimtestuvannâmreaktivnihsistem AT letičevskiiaaml experimentswithadeductivetestingofreactivesystems |
| first_indexed |
2025-12-07T15:41:52Z |
| last_indexed |
2025-12-07T15:41:52Z |
| _version_ |
1850864684257771520 |