Системы обработки информации
Системы управления
Навигационные системы
Компьютерные сети и коммуникации
Проектирование электронной аппаратуры
Математическое моделирование
Защита информации
Программная инженерия
Искусственный интеллект
Информатика и вычислительная техника

Робототехника и комплексная автоматизация

Биомедицинская техника

Инженерный бизнес и маркетинг

Вооружение и военная техника

Ключевые слова
Аннотации
Архив рубрик

Прием заявок

Другие журналы

электронный журнал

МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Издатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609

Обзор подходов и методов к генерации регрессионных модульных тестов

Молодежный научно-технический вестник # 04, апрель 2014
УДК: 004.4'23

Файл статьи:

Дерягин Д.А..pdf (164.12Кб)

автор: Дерягин Д. А.

1. Myers G.J., Sandler C., Badget T. The Art of Software Testing. 3rd ed. New Jersey: Wiley, 2011. 240 p.

2. Feathers M. Working Effectively with Legacy Code. 1st ed. New Jersey: Prentice Hall, 2004. 456 p.

3. Спецификация // Википедия. Режим доступа: http://ru.wikipedia.org/wiki/%25D0%25A1%25D0%25BF%25D0%25B5%25D1%2586%25D0%25B8%25D1%2584%25D0%25B8%25D0%25BA%25D0%25B0%25D1%2586%25D0%25B8%25D1%258F (дата обращения: 15.04.2014).

4. Фаулер М., Бек К. Рефакторинг. Улучшение существующего кода. СПб: Символ-Плюс, 2008. 432 с.

5. FindBugs - Find Bugs in Java Programs. Available at: http://findbugs.sourceforge.net/, accessed 15.04.2014.

6. VisualVM. Available at: http://visualvm.java.net/, accessed 15.04.2014.

7. Valgrind. Available at: http://valgrind.org/, accessed 15.04.2014.

8. Карпов Ю. Model Checking. Верификация параллельных и распределенных программных систем. СПб: БХВ-Петербург, 2010. 552 с.

9. Кулямин В.В. Методы верификации программного обеспечения. Режим доступа: http://www.ict.edu.ru/ft/005645/62322e1-st09.pdf (дата обращения 11.04.2014).

10. Пелед Д., Грамберг О., Кларк Э.М. Верификация моделей программ. Model Checking. Москва: МЦНМО, 2002. 416 с.

11. Spin - Formal Verification. Available at: http://spinroot.com/spin/whatispin.html, accessed 15.04.2014.

12. NModel. Available at: http://nmodel.codeplex.com, accessed 15.04.2014.

13. The ModelJUnit test generation tool. Available at: http://www.cs.waikato.ac.nz/~marku/mbt/modeljunit/, accessed 15.04.2014.

14. Visser W., Pasareanu C.S., Khurshid S. Test Input Generation with Java PathFinder. Режим доступа: https://users.ece.utexas.edu/~khurshid/papers/JPF-issta04.pdf

15. Symbolic Execution. Available at: http://javapathfinder.sourceforge.net/extensions/symbc/doc/, accessed 14.04.2014.

16. Решатель. Режим доступа: http://ru.wikipedia.org/wiki/%25D0%25A0%25D0%25B5%25D1%2588%25D0%25B0%25D1%2582%25D0%25B5%25D0%25BB%25D1%258C (дата обращения: 15.04.2014).

17. Баранцев А.В., Бурдонов И.Б., Демаков А.В. Подход UniTesK к разработке тестов: достижения и перспективы Режим доступа: http://citforum.ru/SE/testing/unitesk/ (дата обращения: 11.04.2014).

18. Петренко А., Бритвина Е., Грошев С., Монахов А., Петренко О. Тестирование на основе моделей. Режим доступа: http://www.osp.ru/os/2003/09/183388/ (дата обращения: 15.04.2014).

19. JavaTESK: первое знакомство. Режим доступа: http://www.unitesk.ru/download/tools/javatesk/JavaTESKGettingStarte d2.0.rus.pdf (дата обращения: 15.04.2014).