Методы и средства генерации данных для тестирования встроенного бортового программного обеспечения
Диссертация
Цель диссертационной работы состоит в разработке методов и средств генерации наборов входных данных для тестирования встроенного бортового программного обеспечения-на основе требований для обнаружения дефектов. Объектом анализа является исходный код тестируемой системы, а ограничения строятся либо автоматически, исходя из предположения, что программа должна в процессе выполнения достичь некоторой… Читать ещё >
Содержание
- ГЛАВА 1. МЕТОДЫ РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ. МЕТОДЫ И СРЕДСТВА ВЕРИФИКАЦИИ
- 1. 1. Модели процесса создания программного обеспечения
- 1. 2. Критические системы
- 1. 2. 1. Жизненный цикл разработки встроенного бортового программного обеспечения
- 1. 3. Методы и средства автоматического доказательства корректности программ
- 1. 3. 1. Метод индуктивных утверждений
- 1. 3. 2. Аксиоматический метод доказательства частичной корректности программ
- 1. 4. Методы автоматической генерации тестовых данных
- 1. 4. 1. Проблемы систем генерации тестовых данных
- 1. 4. 2. Применение методов генерации тестовых данных для тестирования встроенного бортового программного обеспечения
- 1. 5. Методы и средства тестирования программного обеспечения
- 1. 5. 1. Статическое тестирование
- 1. 5. 2. Динамическое тестирование
- 1. 5. 3. Методы тестирования программного обеспечения
- 1. 5. 3. 1. Функциональное тестирование
- 1. 5. 3. 2. Тестирование встроенного бортового программного обеспечения
- 1. 6. Обзор существующих систем тестирования
- 1. 6. 1. VectorCAST
- 1. 6. 2. AdaTEST
- 1. 6. 3. LDRA Testbed
- 1. 6. 4. Telelogic TAU Generation
- 1. 6. 5. SOFTWARE TESTWORKS
- 1. 6. 6. UniTesK
- 1. 7. Средства разработки системы генерации тестов
- 1. 8. Проблемы тестирования встроенного бортового программного обеспечения
- 1. 9. Постановка задачи
- 1. 10. Выводы
- 2. 1. Описание метода генерации тестовых данных
- 2. 1. 1. Суть подхода
- 2. 1. 2. Выделение областей эквивалентностей
- 2. 1. 3. Метод решения логических ограничений
- 2. 2. Модификация метода генерации тестовых данных для определения достижимости заданной точки в программе
- 2. 3. Автоматизация процесса тестирования встроенного бортового программного обеспечения
- 2. 4. Метод генерации тестовых данных и «недоопределенная» математика
- 2. 5. Выводы
- 3. 1. Проект системы моделирования и помощи разработки
- 3. 1. 1. Подсистема разбора исходного кода 1{елевого языка
- 3. 1. 2. Подсистема хранения и анализа семантической информации
- 3. 1. 3. Подсистема моделирования исполнения исходного кода.103'
- 3. 1. 4. Интерфейс взаимодействия пользователя с системой
- 3. 1. 5. Подсистема сбора и анализа степени покрытия кода
- 3. 1. 6. Подсистема решения логических уравнений
- 3. 2. Тестирование на основе моделирования
- 3. 3. Выводы
- 4. 1. Анализ и практика применения разработанных методов генерации тестовых данных
- 4. 2. Использование метода генерации тестовых данных в системе генерации тестов
- 4. 3. Выводы
Список литературы
- Александреску, А. Современное проектирование на С++ / А. Александреску — пер. с англ. И. В. Красикова. М.: Издат. дом «Вильяме», 2002. — 336 с.
- Аммерааль, Л. STL для программистов на С++ / Л. Аммерааль — пер. с англ. Ю. А. Баранова, под ред. И. М. Захарова. М.: ДМК, 1999. — 240 с.
- Андерсон, Р. Доказательство правильности программ / Р. Андерсон — пер. с англ. Б. Н. Зобниной, под ред. Д. Б. Подшивалова. М.: Мир, 1982. — 168 с.
- Батаев, A.B. Система символического моделирования АДА-программ / A.B.
- Батаев, C.B. Синицын // Современные технологии в задачах управления, автоматики и обработки информации: труды XIII Международного научно-технического семинара, сентябрь 2004 г., Алушта: в 3 т. М.: Издат. МЭИ, 2004. — Т. 1.-С. 62−64.
- Батаев, A.B. Математические методы доказательства правильности встроенного бортового программного обеспечения / A.B. Батаев, C.B. Синицын // Безопасность информационных технологий. 2007. — № 2. — С.57−60.
- Бейбер, P.JI. Программное обеспечение без ошибок / P.JI. Бейбер — пер. с англ., под ред. Д. И. Правикова. М.: Джон Уайли энд Санз, Радио и связь, 1996.- 176 с.
- Бейзер, Б. Тестирование черного ящика. Технологии функционального тестирования программного обеспечения и систем / Б. Бейзер — пер. с англ. Раздо-барин А. СПб.: Издат. дом «Питер», 2004. — 318 с.
- Бек, К. Экстремальное программирование / К. Бек — пер. с англ. СПб.: Издат. дом «Питер», 2002. — 224 с.
- Брауде, Э.Д. Технология разработки программного обеспечения / Э.Д. Брау-де — пер. с англ. СПб.: Издат. дом «Питер», 2004. — 656 с.
- Браун, С. Операционная система UNIX / С. Браун — пер. с англ. М.: Мир, 1986.-463 с.
- Вендров, A.M. Проектирование программного обеспечения экономических информационных систем: учебник / A.M. Вендров. — 2-е изд., перераб. и доп. -М.: Финансы и статистика, 2000. 352 с.
- Гласс, Р. Руководство по надежному программированию / Р. Гласс — пер. с англ. М.: Финансы и статистика, 1982. — 256 с.
- Грешилов, A.A. Прикладные задачи математического программирования: учебное пособие / Грешилов A.A. 2-е изд, доп. — М.: Логос, 2006. — 288с.
- Гриффите, A. GCC. Полное руководство / А. Гриффите — пер. с англ. К.: Издательство «ДиаСофт», 2004. — 624 с.
- Дастин, Э. Автоматизированное тестирование программного обеспечения: внедрение, управление и эксплуатация / Э. Дастин, Д. Рэшка, Д. Пол — пер. с англ. М.: Изд. «Лори», 2003. — 568 с.
- Дунаев, С. UNIX System V. Release 4.2: Общее руководство / С. Дунаев. -М.: Диалог-МИФИ, 1995. 287 с.
- Епифанов, H.A. Методы реализации регрессионного тестирования по расширенным тестовым наборам: дис.. канд. техн. наук: 05.13.11: защищена 26.02.2004 / H.A. Епифанов- С-Петерб. гос. политехи, ун-т. СПб, 2003. — 149 с.
- Ершов, А.П. Смешанные вычисления // А. П. Ершов. В мире науки, 1984. -№ 6. — С. 28−42.
- Калбертсон, Р. Быстрое тестирование / Р. Калбертсон, К. Браун, Г. Кобб — пер. с англ. М.: Издат. дом «Вильяме», 2002. — 384 с.
- Калянов, Г. Н. CASE-технологии. Консалтинг при автоматизации бизнес-процессов / Г. Н. Калянов. 2-е изд., перераб. и доп. — М.: Горячая линия -Телеком, 2000. — 320 с.
- Калянов, Г. Н. Методы и средства системного структурного анализа и проектирования / Г. Н. Калянов. М.: НИВЦ МГУ, 1995. — 59 с.
- Кознов, Д.В. Апробация технологии тестирования UniTESK / Д. В. Кознов, H.A. Арчак// Системное программирование: сб. ст. СПб.: Изд. С.-Петерб. гос. ун-т, 2004. — С. 335−347.
- Коллинз, Г. Структурные методы разработки систем: от стратегического планирования до тестирования / Г. Коллинз, Д. Блей — пер. с англ. М.: Финансы и статистика, 1986. — 264 с.
- Лавров, С.С. Программирование. Математические основы, средства, теория / С. С. Лавров. СПб.: БХВ-Петербург, 2001. — 320 с.
- Леффингуэлл, Д. Принципы работы с требованиями к программному обеспечению. Унифицированный подход / Д. Леффингуэлл, Д. Уидриг — пер. с англ., ред. Ореховой H.A. М.: Издат. дом «Вильяме», 2002. — 448 с. 6
- Липаев, В.В. Методы обеспечения качества крупномасштабных программных средств / В. В. Липаев. М.: СИНТЕГ, 2003. — 520 с.
- Липаев, В.В. Отладка сложных программ: Методы, средства, технология / В. В. Липаев. М.: Энергоатомиздат, 1993. — 384 с.
- Липаев, В.В. Системное проектирование сложных программных средств для информационных систем / В. В. Липаев. М.: СИНТЕГ, 1999. — 224 с.
- Липаев, В.В. Тестирование программ / В. В. Липаев. М.: Радио и связь, 1986.-296 с.
- Майерс, Г. Д. Искусство тестирования программ / Г. Д. Майерс — пер. с англ. М.: Финансы и статистика, 1982. — 176 с.
- Майерс, Г. Д. Надежность программного обеспечения / Г. Д. Майерс — пер. с англ. М.: Мир, 1980. — 360 с.
- Марка, Д.А. Методология структурного анализа и проектирования (SADT) / Д. А. Марка, К. Мак-Гоуэн — пер. с англ. М.: МетаТехнология, 1993. — 240 с.
- Макгрегор, Д. Тестирование объектно-ориентированного программного обеспечения. Практическое пособие / Д. Макгрегор, Д. Сайке — пер. с англ. К.: ООО «ТИД «ДС», 2002. — 432 с.
- Нариньяни, A.C. Введение в недоопределенность / A.C. Нариньяни. -М.:Российский НИИ Искусственного Интеллекта, 2005. 36 с.
- Нариньяни, A.C. Модель или алгоритм: новая парадигма информационной технологии / A.C. Нариньяни // «Информационные технологии», 1997. № 4. -С. 11−16.
- Орлов, С.А. Технологии разработки программного обеспечения. Разработка сложных программных систем: Учебное пособие / С. А. Орлов. — 2-е изд. — СПб.: Издат. дом «Питер», 2003. 480 с.
- Петренко, А.К. Тестирование на основе формальных спецификаций в процессах разработки программных комплексов: автореф. дис.. д-ра физ.-мат. наук: 05.13.11: защищена 21.02.2003 / А.К. Петренко- Ин-т сист. прогр. РАН. -М., 2003.-36 с.
- Подход UniTesK к разработке тестов / В. В. Кулямин, А. К. Петренко, A.C. Косачев, И. Б. Бурдонов // Программирование, 2003. — № 29(6). С. 25−43.
- Поляк, Б.Т. Введение в оптимизацию / Б. Т. Поляк. М.: Наука, 1983. — 384 с.
- Программирование в ограничениях и недоопределенные модели / A.C. Нариньяни, В. В. Телерман, Д. М. Ушаков, И. Е. Швецов // «Информационные технологии», 1998. № 5. — С. 13−22.
- Саттер, Г. Решение сложных задач на С++ / Г. Саттер — пер. с англ. И. В. Красикова. М.: Издат: дом «Вильяме», 2002. — 400 с.
- Соммервилл, И. Инженерия программного обеспечения / И. Соммервил — пер. с англ. 6-е изд. — М.: Издат. дом «Вильяме», 2002. — 624 с.
- Страуструп, Б. Язык программирования С++, 3-е изд. / Б. Страуструп — пер. с англ. 3-е изд. — СПб.- М.: «Невский Диалект» — «Издательство БИНОМ», 1999.-991 с.
- Хоар, Ч. Взаимодействующие последовательные процессы / Ч. Хоар — пер. с англ. М.: Мир, 1989. — 264 с.
- Чарнецки, К. Порождающее программирование: методы, инструменты, применение. Для профессионалов / К. Чарнецки, У. Айзенекер — пер. с англ. -СПб.: Питер, 2005.-731 с.
- Черноножкин, С.К. Задача автоматического построения тестов и статический анализ / С. К. Черноножкин // Программирование, 2001. № 2. — С. 47−59.
- Шаллоуей, А. Шаблоны проектирования. Новый подход к объектно-ориентированной разработке / А. Шаллоуей, Дж.Р. Тротг — пер. с англ. М.: Издат. дом «Вильяме», 2002. — 288 с.
- Шафер, Д. Управление программными проектами: достижение оптимального качества при минимуме затрат / Д. Шафер, Р. Фатрелл, JI. Шафер — Пер. с англ. М.: Издат. дом «Вильяме», 2003. — 1136 с.
- Шлее, М. Qt. Профессиональное программирование на С++ / М. Шлее — пер. с англ. СПб.: БХВ-Петербург, 2005. — 544 с.
- Штойер, Р. Многокритериальная оптимизация. Теория вычисления и приложения / Р. Штойер — пер. с англ. М.: Радио и Связь, 1992. — 504 с.
- Элджер, Дж. С++: библиотека программиста / Дж. Элджер — пер. с англ. Е. Матвеева. СПб.: Издат. дом «Питер», 2000. — 320 с.
- Элиенс, А. Принципы объектно-ориентированной разработки программ, 2-е изд. / А. Элиенс — пер. с англ. М.: Издат. дом «Вильяме», 2002. — 496 с.
- Юртаев, А.В. Недоопределенные модели нетрадиционный подход к математическим исследованиям экономики / А. В. Юртаев // «Информационные технологии», 1999. — № 4. — С. 36−41.
- Якобсон, А. Унифицированный процесс разработки программного обеспечения / А. Якобсон, Г. Буч, Дж. Рамбо — пер. с англ. В. Горбункова. СПб.: Издат. дом «Питер», 2002. — 496 с.
- A practical tutorial on Modified Condition / Decision Coverage: Technical Memorandum / K.J. Hayhurst, D.S. Veerhusen, J.J. Chilenski, L.K. Rierson. -NASA, 2001.-85 p.
- Ada Semantic Interface Specification Electronic resource. / ASIS Working Group. Electronic data. — ASIS Workgroup (ASISWG), 2005-. — Режим доступа: http://www.sigada.org/wg/asiswg/, свободный. — Загл. с домашней страницы Интернета.
- Aspect Oriented Programming / К. Mens, С. Lopes, В. Tekinerdogan, G. Kiczales // Proceedings of the ECOOP'97 Workshop on Aspect-Oriented Programming, 1997.-P. 220−242.
- Bauer, R.J. Genetic Algorithms and Investment Strategies / R.J. Bauer. Wiley Finance, 1994.-318 p.
- Basili, V. The Experience Factory / V. Basili, G. Caldiera, D. Rombach // Encyclopedia of Software Engeeniring. John Wiley & Sons, Inc., NY, 1994. — Vol. 2. -P. 469−476.
- Beizer, B. Software Testing Techniques / B. Beizer. 2nd edition. — Van Nos-trand Reinhold Company, Inc., 1990. — 503 p.
- Binder, R.V. Testing Object-Oriented Systems: Models, Patterns and Tools / R.V. Binder. Addison-Wesley, 1999. — 1248 p.
- Blanchette, J. C++ GUI Programming with Qt 3 / J. Blanchette, M. Summerfield. Prentice Hall PTR, 2004. — 464 p.
- Boehm, B.W. A spiral model of software development and enhancement / B.W. Boehm // IEEE Computer, 1988. -№ 21(5). P. 61−133.
- Chiba, S. A Metaobject Protocol for C++ / S. Chiba // Proceedings of the 10th Annual Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA'95), ACM SIGPLAN Notices, 1995. № 30(10). — P. 285−299.
- Chilenski, J.J. An investigation of three forms of the Modified Condition Decision Coverage (MCDC) Criterion: Final Report / J. J Chilenski. -DOT/FAA/AR-Ol/18,2001. 214 p. .
- Cleanroom Software Engineering: Technology and Process / S.J. Prowell, C.J. Trammel, R.C. Linger, J.H. Poore. Reading, MA: Addison-Wesley Longman, 1999.-416 p.
- Cordy, J. Practical Metaprogramming / J. Cordy, M. Shukla // Proceedings of CASCON'92, IBM Center for Advanced Studies Conference, 1992. Vol. 1. — P. 215−224.
- Clarke, L.A. J. Applications of symbolic evaluations / L.A. Clarke, D. Richardson // The Journal of Systems and Software, 1985. № 5(1). — P. 15−35.
- DeMillo, R.A. Constraint-based automatic test data generation / R.A. DeMillo, A.J. Offut // IEEE Transactions on Software Engineering, 1991. № 17(9). — P. 900−910.
- Domain-specific software architectures for guidance, navigation and control / P. Binns, M. Englehart, M. Jackson, S. Vestal // International Journal of Software Engineering and Knowledge Engineering, 1996. № 6(2). — P. 201−227.
- Donnelly, C. Bison. The YACC-compatible Parser Generator / C. Donnelly, R. Stallman. Free Software Foundation, Cambridge, 1992. — 132 p.
- El-Far, I.K. A. Model-Based Software Testing / I.K. El-Far, J.A. Whittaker // Encyclopedia of Software Engineering. Wiley, 2001. — Vol. 1. — P. 825−837.
- Ferguson, R. The chaining approach for software test data generation / R. Ferguson, B. Korel // IEEE Transactions on Software Engineering, 1996. № 5(1). — P. 63−86.
- Frankl, P.G. ASSET: A system to select and evaluate tests / P.G. Frankl, S.N. Weiss, E.J. Weyuker // Proceedings of the Conference on Software Tools, 1985. P. 72−79.
- Frohlich, P. Automated Test Case Generation from Dynamic Models / P. Frohlich, J. Link // Proceedings of the 14th European Conference on Object-Oriented Programming, 2000. P. 472−492.
- Generating Test Data From State-based Specifications / J. Offutt, S. Liu, A. Ab-durazik, P. Ammann // The Journal of Software Testing, Verification and Reliability, 2003.-Vol. 13(1).-P. 25−53.
- Generative Programming and Active Libraries / K. Czarnecki, U.W. Eisenecker, R. Gluck, D. Vandervoorde, T. Veldhuizen // Proceedings of the Dagstul Seminar 98 171 on Generic Programming, 1998.-P. 17−24.
- Hagar, J. D. Testing Critical Software: Practical Experiences / J.D. Hagar, G. Green // Safety and Reliability in Emerging Control Technologies, 1996. P.134.142.
- Hoare, C.H.R. An axiomatic basis for computer programming / C.H.R. Hoare // Comm. ACM, 1969. № 12(10). — P. 576−583.
- Horgan, J.R. ATAC: A data flow coverage testing tool for С / J.R. Horgan, S. London // Proceedings of the Symposium of Quality Development Tools, 1992. P. 2−10.
- IEC 61 508. Functional safety of electrical/electronic/programmable electronic safety-related systems. International Electrotechnical Commission: Draft Standard. -Geneva, 1998. 143 p.
- Information Processing Ltd. AdaTEST 95 2.0 Electronic resource.: Technical Brief / IPL Software Products Group. Electronic text data. — IPL, 2007. — 2 p. -Режим доступа: http://www.ipl.com/pdf/p00Q7.uk.pdf, свободный. — Загл. с экрана.
- Ingber, L. Genetic Algorithms and Very Fast Simulated Reannealing: A Comparison / L. Ingber, B. Rosen // Mathematical and Computer Modelling, 1992. № 16(11).-P. 87−100.
- Ingber, L. Adaptive Simulated Annealing: Lessons learned / L. Ingber // Control and Cybernetics, 1996. № 25(1). — P. 33−54.
- Korel, B. Automated software test data generation / B. Korel // IEEE Transactions on Software Engineering, 1990. № 16(8). — P. 870−879.
- Korel, B. Assertion-oriented automated test data generation / B. Korel, A.M. Al-Yami // IEEE Transactions on Software Engineering, 1996. № 16(8). — P. 71−80.
- LDRA Technical Description Electronic resource. / LDRA Ltd. Electronic data. — LDRA Group of companies, 2008-. — Режим доступа: http://www.ldra.co.uk/downloadsliterature.asp, свободный. — Загл. с домашней страницы Интернета.
- Model-Based Testing in Practice / S.R. Dalai, A. Jain, N. Karunanithi, J.M. Leaton, C.M. Lott, G.C. Patton, B.M. Horowitz // Proceedings of the 21st international conference on Software engineering, 1999. P. 285−294.
- Multiplatform ANSI С++ Standard Library implementation STLport Electronic resource. / STLport Electronic data. — STLport Consulting, 2005-. -Режим доступа: http://stlport.com/doc/index.html, свободный. — Загл. с домашней страницы Интернета.
- Sy, N.T. Automatic Test Data Generation for Programs with Integer and Float Variables / N.T. Sy, Y. Deville // Proceedings of the 16th IEEE international conference on Automated software engineering, 2001. P. 13.
- Offut, A. J. A semantic model of program faults / A.J. Offut, J. Hayes // International Symposium on Software Testing and Analysis (ISSTA 96), ACM Press, 1996.-P. 195−200.
- Offut, A.J. The dynamic domain reduction procedure for test data generation / A. J Offtit, Z. Jin, J. Pan // Software Practice and Experience, 1997. № 29(2). — P. 167−193.
- Paradkar, A. A New Solution to Test Generation for Boolean Expression / A. Paradkar // Proceedings of the conference of the Centre for Advanced Studies on Collaborative research, 1995. P. 48.
- Petkovic, M. Complex Interval Arithmetic and Its Applications / M. Petkovic, L. Petkovic. Wiley and Sons, 1998. — 284 p.
- Pritchett, W. A Static Analysis Tool for High-Integrity Systems: Phase 1 Final Report / W. Pritchett, J. Riley. DCS Corporation, 1998. — 53 p.
- Ramamoorthy, С. V. On the automated generation of program test data / C.V. Ramamoorthy, S.F. Ho, W.T. Chen // IEEE Transactions on Software Engineering, 1976. № SE-2(4). — P. 293 — 300.
- Redmill, F. IEC 61 508: Principles and use in the management of safety / F. Redmill // IEE Computing and Control Engineering Journal, 1998. № 9(10). — P. 205−218.
- Royce, W.W. Managing the development of large software systems: conceptsand techniques / W.W. Royce // Proceedings of the 9th international conference on Software Engineering, 1987. P. 328−338.
- RTCA/DO-178B. Software considerations in airborne systems and equipment certification. RTCA, Inc., Washington, DC, 1992. — 112 p.
- RTCA/DO-248B. Final report for clarification of DO-178B «Software considerations in airborne systems and equipment certification». RTCA, Inc., Washington, DC, 2001.- 154 p.
- Smart, J. Cross-Platform GUI Programming with wxWidgets / J. Smart, K. Hock, S. Csomor. Prentice Hall, 2005. — 744 p.
- Springl, М. Software Testing / М. Springl. SENG 621, Software Process Management, 2001. — 1 Op.
- Sthamer, H.-H. The Automatic Generation of Software Test Data Using Genetic Algorithms / H.-H. Sthamer. University of Glamorgan, 1995 — 205 p.
- Steindl, C. Program Slicing for Large Systems / C. Steindl // ReTIS'97, 1997. -P. 131−143.
- Tel Developer Xchange. Tcl/Tk graphical user interface toolkit. Practical Programming in Tel and Tk / Tel Developer Xchange. — Prentice Hall, 2003. — 960 p.
- Telelogic AB. Telelogic TAU Generation2 Electronic document. / Telelogic AB. Electronic data. — Telelogic AB, 2005. — Режим доступа: http:// www. telelogi с. com/ corp/products/tau/g2/o verview. cfm. — Загл. с домашней страницы Интернета.
- Telelogic AB. Telelogic TAU SDL Suite Electronic document. / Telelogic AB.- Electronic data. Telelogic AB, 2005. — Режим доступа: http://www.telelogic.-сот/соф/products/tau/sdl/overview.cfin. — Загл. с домашней страницы Интернета.
- The С++ Standard Template Library / P.J. Plauger, A.A. Stepanov, L. Meng, D.R. Musser. Prentice Hall PTR, 2001. — 485 p.
- The management of software engineering / H.D. Mills, D. O’Neill, R.C. Linger, M. Dyer, R.E. Quinnan // IBM System Journal, 1980. № 24(2). — P. 414 — 477.
- Tip, F. A survey of program slicing techniques: Technical report CS-R-9438 / F. Tip. Computer Science/Department of Software Technology, 1994. — 68 p.
- UniTesK: Model Based Testing in Industrial Practice / V.V. Kuliamin, A.K. Petrenko, A.S. Kossatchev, I.B. Bourdonov // Proc. of the 1st European Conference on Model-Driven Software Engineering, 2003. P. 55−63.
- Vector Software, Inc. VectorCAST Product Overview Electronic resource. / Vector Software. Electronic data. — Vector Software Inc., 2004-. — Режим доступа: http://www.vectors.com/downloadlit.htm. — Загл. с домашней страницы Интернета.
- Watson, А.Н. Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric / A.H. Watson, T.J. McCabe, D.R. Wallace National Institute of Standards and Technology, 1996. — 123 p.
- Leow, W.K. Automated Generation of Test Programs From Closed Specifications of Classes and Test Cases / W.K. Leow, S.C. Khoo, Y. Sun // Proceedings of the 26th International Conference on Software Engineering, 2004. P. 96−105.
- Weyuker, E. J. Automatically Generating Test Data from a Boolean Specification / E.J. Weyuker, T. Goradia, A. Singh // IEEE Transactions on Software Engineering, 1994. Vol. 20(5). — P. 353−363.