Preview

Труды Института системного программирования РАН

Расширенный поиск

Локализация неисправной компоненты в композиции расширенных автоматов

https://doi.org/10.15514/ISPRAS-2014-26(6)-3

Полный текст:

Аннотация

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

Об авторе

Светлана Прокопенко
НИ ТГУ
Россия


Список литературы

1. T. Villa, N. Yevtushenko, A. Mishenko, R. K.Brayton, A. Petrenko, A. Sangiovanni-Vincentelli The unknown component problem: theory and applications. - Berlin: Springer, 2012. 311 p.

2. A. Petrenko, S. Boroday, and R. Groz. Confirming Configurations in EFSM Testing, IEEE Trans. Software Eng. 30(1), 2004. pp. 29-42.

3. V. Karibskiy, P. Parhomenko, E. Sogomonyan, V. Halchev. Basics of technical diagnostics, M.: Energya, 1976 (in Russian).

4. N. Kushik, N. Yevtushenko, A. Cavalli. On testing against partial non-observable specifications. QUATIC 2014 : 9th International Conference on Quality of Information and Communication Technology, Sept. 23-26, 2014, Portugal.

5. R. Alur, C. Courcoubetis, M. Yannakakis. Distinguishing tests for nondeterministic and probabilistic machines. In Proc. of the 27th ACM Symposium on Theory of Computing, 1995. pp. 363-372.

6. A. Petrenko, N. Yevtushenko, G. v. Bochmann. Testing Deterministic Implementations from their Nondeterministic Specifications. In Proc. of the IFIP Ninth International Workshop on Testing of Communicating Systems, 1996. pp. 125-140.

7. N. Kushik, K. El-Fakih, N. Yevtushenko, A. R. Cavalli: On adaptive experiments for nondeterministic finite state machines. Software Tools for Technology Transfer, Springer, DOI 10.1007/s10009-014-0357-7 (2014) (in press).

8. Fedoseev A.O. Kompozicija rasshirennyx avtomatov [Composition of Extended Finite State Machines]. Diplomnaja rabota [Diploma project], Tomsk, 2005 (in Russian).

9. Kolomeets A.V. Algoritmy sinteza proverjajuwix testov dlja upravljajuwix sistem na osnove rasshirennyx avtomatov [Diagnostic test derivation methods for telecommunication systems based on an EFSM model]. Dissertacija na soiskanie uchenoj stepeni kandidata texnicheskix nauk [PhD thesis], Tomsk, 2010. 129 p.

10. N. Kushik, M. Forostyanova, S. Prokopenko, and N. Yevtushenko. Studying the optimal height of the EFSM equivalent for testing telecommunication protocols, Proc. of the Second Intl. Conf. on Advances In Computing, Communication and Information Technology- CCIT 2014. pp. 159-163, ISBN: 978-1-63248-051-4, DOI 10.15224/ 978-1-63248-051-4-94.


Для цитирования:


Прокопенко С. Локализация неисправной компоненты в композиции расширенных автоматов. Труды Института системного программирования РАН. 2014;26(6):47-56. https://doi.org/10.15514/ISPRAS-2014-26(6)-3

For citation:


Prokopenko S. Locating a faulty component of an EFSM composition. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2014;26(6):47-56. (In Russ.) https://doi.org/10.15514/ISPRAS-2014-26(6)-3

Просмотров: 25


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)