Safe simulation testing of systems with refusals and destructions
The paper deals with conformance testing based on formal specications. The con- cept of safe testing was earlier proposed by the authors for trace based conformance. This concept is propagated on the case of (weak) simulation based on a relation between specication and implementation states. The the...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Yaroslavl State University
2010-12-01
|
Series: | Моделирование и анализ информационных систем |
Subjects: | |
Online Access: | https://www.mais-journal.ru/jour/article/view/1049 |
_version_ | 1797877979402993664 |
---|---|
author | I. B. Burdonov A. S. Kosachev |
author_facet | I. B. Burdonov A. S. Kosachev |
author_sort | I. B. Burdonov |
collection | DOAJ |
description | The paper deals with conformance testing based on formal specications. The con- cept of safe testing was earlier proposed by the authors for trace based conformance. This concept is propagated on the case of (weak) simulation based on a relation between specication and implementation states. The theory of safe simulation of systems with refusals and destructions is proposed. The problems of complete testing and sucient conditions for the existense of complete test suite are discussed. The practical algo- rithm of complete testing for restricted classes of specications and implementations is described. |
first_indexed | 2024-04-10T02:25:26Z |
format | Article |
id | doaj.art-de662c46ebbd4990b2ebc7bd761919d7 |
institution | Directory Open Access Journal |
issn | 1818-1015 2313-5417 |
language | English |
last_indexed | 2024-04-10T02:25:26Z |
publishDate | 2010-12-01 |
publisher | Yaroslavl State University |
record_format | Article |
series | Моделирование и анализ информационных систем |
spelling | doaj.art-de662c46ebbd4990b2ebc7bd761919d72023-03-13T08:07:31ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172010-12-011742740790Safe simulation testing of systems with refusals and destructionsI. B. Burdonov0A. S. Kosachev1Институт системного программирования РАНИнститут системного программирования РАНThe paper deals with conformance testing based on formal specications. The con- cept of safe testing was earlier proposed by the authors for trace based conformance. This concept is propagated on the case of (weak) simulation based on a relation between specication and implementation states. The theory of safe simulation of systems with refusals and destructions is proposed. The problems of complete testing and sucient conditions for the existense of complete test suite are discussed. The practical algo- rithm of complete testing for restricted classes of specications and implementations is described.https://www.mais-journal.ru/jour/article/view/1049формальные моделитестирование по формальным моделямполное тестированиесимуляциясистемы с отказами и разрушением |
spellingShingle | I. B. Burdonov A. S. Kosachev Safe simulation testing of systems with refusals and destructions Моделирование и анализ информационных систем формальные модели тестирование по формальным моделям полное тестирование симуляция системы с отказами и разрушением |
title | Safe simulation testing of systems with refusals and destructions |
title_full | Safe simulation testing of systems with refusals and destructions |
title_fullStr | Safe simulation testing of systems with refusals and destructions |
title_full_unstemmed | Safe simulation testing of systems with refusals and destructions |
title_short | Safe simulation testing of systems with refusals and destructions |
title_sort | safe simulation testing of systems with refusals and destructions |
topic | формальные модели тестирование по формальным моделям полное тестирование симуляция системы с отказами и разрушением |
url | https://www.mais-journal.ru/jour/article/view/1049 |
work_keys_str_mv | AT ibburdonov safesimulationtestingofsystemswithrefusalsanddestructions AT askosachev safesimulationtestingofsystemswithrefusalsanddestructions |