Preview

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

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

Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов

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

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

Аннотация

В статье предложен подход к тестированию программных реализаций телекоммуникационных протоколов на основе древовидных автоматов. Эффективность предложенного подхода иллюстрируется на примере протокола TCP (Windows).

Об авторе

М. С. Форостьянова
Томский государственный университет
Россия


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

1. А. Гилл, Введение в теорию конечных автоматов. М., Наука. 1966, 272 с.

2. А.В. Коломеец, Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов: дис. … канд. техн. наук. Томский гос. ун-т. Томск, 2010, 129 с.

3. T. S. Chow. Testing software design modelled by finite state machines. IEEE Transactions on Software Engineering. 1978, pp. 178-187.

4. М.П Василевский. О распознавании неисправностей автоматов. Кибернетика, 9(4). 1973, c. 93-108.

5. R. Dorofeeva, K. El-Fakih, S. Maag, A.R. Cavalli, N. Yevtushenko. Experimental evaluation of FSM-based testing methods. In Proc. of the IEEE International Conference on Software Engineering and Formal Methods (SEFM05). 2005, pp. 23-32.

6. K. El-Fakih, S. Prokopenko, N. Yevtushenko, G. Bochmann. Fault Diagnosis in Extended Finite State Machines. Lecture Notes in Computer Science, V. 2644. 2003, pp. 197-210.

7. А. В. Коломеец, С. А. Прокопенко. Метод синтеза диагностических тестов для расширенных конечных автоматов. Вестник ТГУ. Приложение №6.2003, с. 174-177.

8. El-Fakih, A. Kolomeez, S. Prokopenko, N. Yevtushenko. Extended Finite State Machine Based Test Derivation Driving By User Defined Faults. International Conference ICST. 2008, pp.308-317.

9. H.Ural. Test sequence selection based on static data flow analysis. Computer communications, V. 10, № 5. 1987, pp. 234 - 242.

10. H. Chen. Test sequence generation from the protocol data portion based on the selecting Chinese Postman algorithm. W.- Information Processing Letters, V. 65. 1998, pp. 261-268.

11. A. Cavalli, D. Lee, C. Rinderknecht, F. Zaidi. Hit-or-Jump: An algorithm for embedded testing with applications to IN services. FORTE XII and PSTV XIX, China,1999, pp. 41-58.

12. N. Kushik, M. Forostyanova, S. Prokopenko, 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.

13. И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин Неизбыточные алгоритмы обхода ориентированных графов. Детерминированный случай. Программирование, № 5, 2003, с 59-69.

14. К. Хант. TCP/IP - Сетевое администрирование. Изд-во Cumbo. 2008, 816 c.

15. ППП. Cвид-во о государственной регистрации программы для ЭВМ № 2014661807 "Программа синтеза тестов конечно-автоматными методами", Национальный исследовательский государственный университет.

16. A. J. Offutt, R. H. Untch. Mutation 2000: Uniting the Orthogonal. In Proceedings of the 1st Workshop on Mutation Analysis (MUTATION’00). Mutation Testing for the New Century. California, 2001, pp. 34-44.


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


Форостьянова М.С. Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов. Труды Института системного программирования РАН. 2014;26(6):67-76. https://doi.org/10.15514/ISPRAS-2014-26(6)-6

For citation:


Forostyanova M. Test derivation based on tree FSMs and tree automata. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2014;26(6):67-76. (In Russ.) https://doi.org/10.15514/ISPRAS-2014-26(6)-6

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


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


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