maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State Universitymais-1049Research ArticleОригинальные статьиArticlesБезопасное тестирование симуляции систем с отказами и разрушениемSafe simulation testing of systems with refusals and destructionsБурдоновИ. Б.BurdonovI. B.igor@ispras.ruКосачевА. С.KosachevA. S.kos@ispras.ruИнститут системного программирования РАНRussian Federation2010201220101742740Copyright © Бурдонов И.Б., Косачев А.С., 20102010Бурдонов И.Б., Косачев А.С.Burdonov I.B., Kosachev A.S.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.mais-journal.ru/jour/article/view/1049

Статья посвящена тестированию соответствия (конформности) реализации требованиям спецификации. Идея безопасного тестирования предложена авторами для конформности, основанной на трассах наблюдений. Эта идея распространяется на случай (слабой) симуляции, основанной на соответствии состояний реализации и спецификации. Предлагается теория безопасной симуляции для систем с отказами и разрушением. Обсуждаются вопросы полноты тестирования и достаточные условия существования полного набора тестов. Предлагается алгоритм полного тестирования для практического применения, опирающийся на некоторые ограничения на реализацию и спецификацию.

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.

формальные моделитестирование по формальным моделямполное тестированиесимуляциясистемы с отказами и разрушениемformal modelmodel based testingcomplete testingsimulationsystem with refusals and distructionsReferencesБурдонов И.Б., Косачев А.С., Кулямин В.В. Формализация тестового эксперимента // Программирование. 2007. № 5.Бурдонов И.Б., Косачев А.С., Кулямин В.В. Формализация тестового эксперимента // Программирование. 2007. № 5.Бурдонов И.Б. Теория конформности для функционального тестирования программных систем на основе формальных моделей: Дис. ... д-ра физ.-мат. наук. М., 2008. http://www.ispras.ru/ RedVerst/RedVerst/Publications/TR-01-2007.pdfБурдонов И.Б. Теория конформности для функционального тестирования программных систем на основе формальных моделей: Дис. ... д-ра физ.-мат. наук. М., 2008. http://www.ispras.ru/ RedVerst/RedVerst/Publications/TR-01-2007.pdfБурдонов И.Б., Косачев А.С. Полное тестирование с открытым состоянием ограниченно недетерминированных систем // Программирование. 2009. № 6.Бурдонов И.Б., Косачев А.С. Полное тестирование с открытым состоянием ограниченно недетерминированных систем // Программирование. 2009. № 6.Bernot G. Testing against formal specifications: A theoretical view // S. Abramsky and T.S.E. Maibaum, editors, TAPSOFT'91. Lecture Notes in Computer Science 494, Springer-Verlag, 1991. Volume 2. P. 99-119.Bernot G. Testing against formal specifications: A theoretical view // S. Abramsky and T.S.E. Maibaum, editors, TAPSOFT'91. Lecture Notes in Computer Science 494, Springer-Verlag, 1991. Volume 2. P. 99-119.van Glabbeek R.J. The linear time - branching time spectrum II; the semantics of sequential processes with silent moves. Proceedings CONCUR '93, Hildesheim, Germany, August 1993 (E. Best, ed.), LNCS 715, Springer-Verlag, 1993. P. 66-81.van Glabbeek R.J. The linear time - branching time spectrum II; the semantics of sequential processes with silent moves. Proceedings CONCUR '93, Hildesheim, Germany, August 1993 (E. Best, ed.), LNCS 715, Springer-Verlag, 1993. P. 66-81.Milner R. Lectures on a calculus for communicating systems. Seminar on Concurrency, LNCS 197, Springer-Verlag. P. 197-220.Milner R. Lectures on a calculus for communicating systems. Seminar on Concurrency, LNCS 197, Springer-Verlag. P. 197-220.Milner R.. Communication and Concurrency, Prentice-Hall International, Englewood Cliffs, 1989.Milner R.. Communication and Concurrency, Prentice-Hall International, Englewood Cliffs, 1989.

The authors declare that there are no conflicts of interest present.