Semantics of interactions with refusals, divergence and destruction. 2. Conditions of the final full testing
Methods of practical testing of conformance for the specification system are investigated.Practically acceptable restrictions on semantics, realization and specification are studied. Additionaltest possibilities allowing to perform a complete testing for finite time are studied as well.The specifications on the size realization, possibility of observation of the current realization stateduring the testing process and restrictions on nondeterminism of realization can be taken into account.
Download file
Counter downloads: 308
Keywords
тестирование, конформность, трассы, отказы, недетерминизм, LTS, Testing, conformance, traces, faults, nondeterminism, LTSAuthors
| Name | Organization | |
| Kosachev Alexander S. | Institute for System Programming of the RussianAcademy of Sciences. Moscow | kos@ispras.ru |
| Burdonov Igor B. | Institute for System Programming of the RussianAcademy of Sciences. Moscow | igor@ispras.ru |
References
Кулямин В.В. Технологии программирования. Компонентный подход. М.: Интернет- Университет Информационных технологий; БИНОМ. Лаборатория знаний, 2007. 463 с.
Бурдонов И.Б. Теория конформности для функционального тестирования программных систем на основе формальных моделей: дис. ... д.ф.-м.н. М., 2008. 596 с. URL: http://www.ispras.ru/~RedVerst/RedVerst/Publications/TR-01-2007.pdf
Бурдонов И.Б., Косачев А.С. Полное тестирование с открытым состоянием ограниченно недетерминированных систем // Программирование. 2009. № 6. С. 3−18.
Бурдонов И.Б., Косачев А.С., Кулямин В.В. Формализация тестового эксперимента // Программирование. 2007. № 5. С. 3−32.
Van Glabbeek R.J. The linear time-branching time spectrum II; the semantics of sequential processes with silent moves // Proc. CONCUR '93, Hildesheim, Germany, August 1993 (E. Best, ed.), LNCS 715. Springer-Verlag, 1993. P. 66−81.
Бурдонов И.Б., Косачев А.С. Семантики взаимодействия с отказами, дивергенцией и разрушением. 1. Гипотеза о безопасности и безопасная конформность // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2010. № 4(13). С. 124−133.
