Preview

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

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

Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей

Аннотация

UniTESK - технология тестирования, основанная на формальных моделях (или спецификациях) требований к поведения программных или аппаратных компонентов. В статье описываются наиболее значимые применения технологии UniTESK в промышленных проектах, суммируется их опыт и оцениваются перспективные направления развития компонентных технологий тестирования на основе моделей.

Об авторах

В. П. Иванников
ИСП РАН
Россия


А. К. Петренко
ИСП РАН
Россия


В. В. Кулямин
ИСП РАН
Россия


А. В. Максимов
ИСП РАН
Россия


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

1. Bourdonov, I.B., Kossatchev, A.S., Kuliamin, V.V., Petrenko, A.K.: UniTesK Test Suite Architecture. In: FME 2002. LNCS, vol. 2391, pp. 77-88. Springer-Verlag (2002)

2. Кулямин, В.В., Петренко, А.К., Косачев, А.С., Бурдонов, И.Б.: Подход UniTesK к разработке тестов. Программирование, 29(6), 25-43 (2003)

3. Bourdonov, I.B, Kossatchev, A.S., Petrenko, A.K., Galter. D.: KVEST: Automated Generation of Test Suites from Formal Specifications. In: Proceedings of Formal Method Congress, Toulouse, France, 1999. LNCS, vol. 1708, pp. 608-621 (1999)

4. Peleska, J.: Industrial-Strength Model-Based Testing – State of the Art and Current Challenges. Invited Talk. In: Petrenko, A.K., Schlingloff, H. (eds.) Proceedings Eighth Workshop on Model-Based Testing (MBT 2013), Rome, Italy, 17th March 2013. Electronic Proceedings in Theoretical Computer Science, 111, pp. 3–28. DOI: 10.4204/EPTCS.111.1 (2013)

5. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag (2003)

6. UniTESK technology, http://unitesk.ispras.ru

7. OLVER project, http://linuxtesting.org

8. Microsoft Interoperability Initiative, http://www.microsoft.com/openspecifications

9. Пакулин, Н.В., Хорошилов, А.В.: Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов. Программирование, 33 (6), 26-55 (2007)

10. Хорошилов, А.В.: Спецификация и тестирование компонентов с асинхронными интерфесами. Диссертация на степень к.ф.-м.н., Москва (2006)

11. Kuliamin, V.V., Petrenko, A.K., Pakulin, N.V.: Extended Design-by-Contract Approach to Specification and Conformance Testing of Distributed Software. In: Proceedings of WMSCI'2005, Orlando, USA, July 10-13, 2005. Model Based Development and Testing, v. VII, pp. 65-70 (2005)

12. Bourdonov, I.B., Demakov A.V., Jarov, A.A., Kossatchev, A.S., Kuliamin, V.V., Petrenko, A.K., Zelenov, S.V.: Java Specification Extension for Automated Test Development. In: Proceedings of PSI'01. LNCS, vol. 2244, pp. 301-307. Springer-Verlag (2001)

13. The Linux Foundation consortium. LSB certification test suite, http://ispras.linuxbase.org/index.php/LSB_Certification_System

14. Maksimov, A.V.: Requirements-based conformance testing of ARINC 653 real-time operating systems. In: Proceedings of the Data Systems In Aerospace (DASIA 2010) conference, 2010. ESA SP-682, ISBN 978-92-9221-246-9 (2010)

15. Иванников, В.П., Камкин, А.С., Косачев, А.С., Кулямин, В.В., Петренко, А.К.: Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры. Программирование, 33(5), 47-61 (2007).

16. Chupilko, M.M.: Developing Test Systems of Multi-Modules Hardware Designs. ISSN 0361-7688, Programming and Computer Software, 2012, Vol. 38, No. 1, pp. 34-42. Pleiades Publishing, Ltd. (2012)

17. Zelenov, S.V., Zelenova, S.A.: Model-Based Testing of Optimizing Compilers. In: Proc. of the 19th IFIP TC6/WG6.1 International Conference on Testing of Software and Communicating Systems – 7th International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2007). LNCS, vol. 4581, pp. 365-377. Springer-Verlag, Berlin (2007)

18. Zelenov, S.V., Silakov, D.V., Petrenko, A.K., Conrad, M., Fey I.: Automatic Test Generation for Model-Based code Generators. In: IEEE ISoLA 2006 Second Intern. Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Paphos, Cyprus, pp. 68-75 (2006)

19. Камкин, А.С.: Метод автоматизации имитационного тестирования микропроцессоров конвейерной архитектуры на основе формальных спецификаций. Диссертация на степень к.ф.-м.н., Москва (2009)

20. Корныхин, Е.В.: Метод автоматизации генерации тестовых программ для верификации MMU. Диссертация на степень к.ф.-м.н., Москва (2010)

21. Kamkin, A.S., Tatarnikov, A.: MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors. In: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2012), May 30-31, 2012, Perm, Russia (2012)

22. MBT survey, http://www.robertvbinder.com/docs/arts/MBT-User-Survey.pdf

23. Grieskamp, W.: Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing. In: Testing – Practice and Research Techniques. Lecture Notes in Computer Science, vol. 6303, p. 7 (2010)

24. Adams, C.: Safety-critical software for mission-critical applications to get boost with release of DO-178C. Military & Aerospace Electronics, 10 (2010)

25. Common Criteria, http://www.commoncriteriaportal.org

26. SpecExplorer, http://research.microsoft.com/en-us/projects/specexplorer

27. The Java Modelling Language (JML), http://www.eecs.ucf.edu/~leavens/JML/index.shtml

28. Pakulin, N.V.: Integrated Modular Avionics: New Challenges for MBT. In: ETSI TTCN-3 User Conference and Model Based Testing Workshop, Bangalore, India, 11-14 June 2012 (2012)

29. Code Contracts, http://research.microsoft.com/en-us/projects/contracts

30. C++TESK, http://forge.ispras.ru/projects/cpptesk-toolkit

31. Кулямин, В.В.: Компонентная архитектура среды для тестирования на основе моделей. программирование, 36(5), 54-75 (2010)

32. Kuliamin, V.V.: Multi-paradigm Models as Source for Automated Test Construction. In: Proceedings of the 1-st Workshop on Model Based Testing (MBT'2004, in ETAPS'2004), Barcelona, Spain, March 27-38, 2004, Electronic Notes in Theoretical Computer Science, 111:137-160, Elseveir, (2005)

33. ReQuality tool, http://requality.org/en/doc.en.html

34. Khoroshilov, A.V., Albitskiy, D., Koverninskiy, I.V., Olshanskiy, M.Yu., Petrenko, A.K., Ugnenko, A.A.: AADL-Based Toolset for IMA System Design and Integration. SAE Int. J. Aerosp. 5(2), DOI:10.4271/2012-01-2146 (2012)

35. Systems Modeling Language (SysML), http://www.sysml.org

36. Petrenko, A.K., Kuliamin, V.V., Maksimov A.V.: UniTESK: Component Model Based Testing. Proceedings of ICTERI 2013.


Рецензия

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


Иванников В.П., Петренко А.К., Кулямин В.В., Максимов А.В. Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей. Труды Института системного программирования РАН. 2013;24.

For citation:


Ivannikov V.P., Petrenko A.K., Kuliamin V.V., Maksimov A.V. How the story of UniTESK technology applications mirrors development of model based testing. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2013;24. (In Russ.)



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


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