| ||||||||||||||||||||||||
электронный журнал
МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК
Издатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609
Молодежный научно-технический вестник # 11, ноябрь 2014
УДК: 004.05
Ромащенко Н.С..pdf
(246.34Кб)
1. Сачков В. Н. Комбинаторные методы дискретной математики. М.: Наука, 1977. С. 241. 319 с.
2. Erik van Veenendaal. Standard glossary of terms used in Software Testing. International Software Testing Qualifications Board, 2007.
3. Static Analysis with Polyspace Products. Available at: http://www.mathworks.com/products/polyspace, accessed 15.05.2014.
4. Coverity. Available at: http://www.coverity.com/html/prod_prevent.html, accessed 15.05.2014.
5. Klocwork: Source Code Analysis Tools for Software Security & Reliability. Available at: http://www.iplbath.com/pdf/klocwork/KlocworkEmbeddedSystems.pdf,accessed 15.05.2014.
6. Emanuelsson and Ulf Nilsson. A Comparative Study of Industrial Static Analysis Tools. Electron. Notes Theor y Computer Sci ence . 217. 2008. P. 5-21.
Публикации с ключевыми словами: статический анализ, гидродинамический анализ, символьное выполнение
Публикации со словами: статический анализ, гидродинамический анализ, символьное выполнение
Смотри также:
- Реализация межмодульного анализа для языков C и C++ в статическом анализаторе, использующем для анализа исходный код программы
- Новая модификация метода анализа кодов программ на основе резюме для тестирования сложных программных комплексов
- Применение систем переписывания термов для анализа на останов программ с переполняющей арифметикой
Тематические рубрики:
| Авторы |
| Пресс-релизы |
| Библиотека |
| Конференции |
| Выставки |
| О проекте |
| Телефон: +7 (499) 263-61-98 |
|
 |
|||
| © 2003-2024 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98 | |||||
