Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов
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
Послать статью по эл. почте 