Обзор компьютерных программ, предназначенных для тестирования ПО
Автор: Канаматова А.А.
Журнал: Мировая наука @science-j
Рубрика: Естественные и технические науки
Статья в выпуске: 9 (9), 2017 года.
Бесплатный доступ
Компьютерная программа - это набор инструкций, выполняемых вычислительной техникой (компьютерами). В большинстве случаев программы могут быть представлены в виде объектного (бинарного) и исходного кода. Данная статья представляет собой обзор компьютерных программ, потенциально пригодных для тестирования программного обеспечения.
Динамический анализ, программное обеспечение
Короткий адрес: https://sciup.org/140262981
IDR: 140262981
Список литературы Обзор компьютерных программ, предназначенных для тестирования ПО
- QEMU - Open Source Processor Emulator [Электронный ресурс]. - Режим доступа: http://wiki.qemu.org/Main_ Page.
- Nicolas Nethercote, Julina Seward. Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation. Proceedings of ACM SIGPLAN 2007 Conference on Programming Languages Design and Implementation, 2007.
- C. Cadar, D. Dunbar, and D. R. Engler. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In OSDI, 2008.
- Компиляторная инфраструктура LLVM [Электронный ресурс]. - Режим доступа: http://llvm.org.
- Инструмент STP [Электронный ресурс]. - Режим доступа: https://sites.google.com/ site/stpfastprover/STP-FastProver.
- Инструмент S2E [Электронный ресурс]. - Режим доступа: https://sites.google.com/ site/dslabepfl /proj/s2e.
- Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert, David Brumley, Unleashing Mayhem on Binary Code, Proceedings of the 2012 IEEE Symposium on Security and Privacy, p.380- 394, May 20-25, 2012.
- C.-K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazelwood. Pin: Building customized program analysis tools with dynamic instrumentation. In Proc. of the ACM Conference on Programming Language Design and Implementation, Jun. 2005.
- I. Jager, T. Avgerinos, E. J. Schwartz, and D. Brumley. BAP: A binary analysis platform. In Proc. of the Conference on Computer Aided Verifi cation, 2011. 28. L. M. de Moura and N. Bjоrner. "Z3: An effi cient smt solver". In TACAS, 2008, pp. 337-340.
Статья научная
