Ленивое систематическое модульное тестирование

Ленивое систематическое модульное тестирование ^{[ 1 ]} программного обеспечения — это метод модульного тестирования , основанный на двух понятиях: ленивая спецификация , способность делать выводы о меняющейся спецификации модуля на лету посредством динамического анализа, и систематическое тестирование , способность исследовать и тщательно тестировать пространство состояний модуля, чтобы ограниченные глубины. существует набор инструментов тестирования JWalk Для поддержки ленивого систематического модульного тестирования на языке программирования Java . ^{[ 2 ]}

Ленивая спецификация

Ленивая спецификация относится к гибкому подходу к спецификации программного обеспечения , при котором спецификация быстро развивается параллельно с часто изменяемым кодом. ^{[ 1 ]} Спецификация выводится на основе полуавтоматического анализа прототипа программного модуля. Это может включать статический анализ (интерфейса устройства) и динамический анализ (поведения устройства). Динамический анализ обычно дополняется ограниченным взаимодействием с программистом.

Термин «ленивая спецификация» придуман по аналогии с ленивым вычислением в функциональном программировании . Последний описывает отложенную оценку подвыражений, которые оцениваются только по требованию. Аналогия проводится с поздней стабилизацией спецификации, которая развивается параллельно с изменением кода, пока она не будет признана стабильной.

Систематическое тестирование

Систематическое тестирование относится к комплексному тестированию на соответствие подходу к тестированию программного обеспечения , при котором тестируемый модуль полностью соответствует спецификации, вплоть до допущений тестирования. ^{[ 3 ]} Это контрастирует с исследовательскими, неполными или случайными формами тестирования. Цель состоит в том, чтобы предоставить повторяемые гарантии правильности после завершения тестирования.

Примеры методов систематического тестирования включают Stream X-Machine. метод тестирования ^{[ 4 ]} и раздела эквивалентности тестирование с полным анализом граничных значений .

Ссылки

^ Jump up to: ^а ^б AJH Simons, JWalk: Ленивое систематическое модульное тестирование классов Java путем самоанализа дизайна и взаимодействия с пользователем, Automated Software Engineering, 14 (4), декабрь , изд. Б. Нусейбе (Бостон: Springer, 2007), 369–418.
^ Домашняя страница JWalk , http://www.dcs.shef.ac.uk/~ajhs/jwalk/
^ AJH Simons, Теория регрессионного тестирования для поведенчески совместимых типов объектов, Тестирование программного обеспечения, проверка и надежность, 16 (3), Специальный выпуск UKTest 2005, сентябрь, ред. М. Вудворд, П. МакМинн, М. Холкомб и Р. Хиеронс (Чичестер: Джон Уайли, 2006), 133–156.
^ F Ипат и WML Холкомб, Спецификация и тестирование с использованием обобщенных машин: презентация и тематическое исследование, Тестирование программного обеспечения, проверка и надежность, 8 (2), (Чичестер: Джон Уайли, 1998), 61-81.

[ASE-1] Jump up to: ^а ^б AJH Simons, JWalk: Ленивое систематическое модульное тестирование классов Java путем самоанализа дизайна и взаимодействия с пользователем, Automated Software Engineering, 14 (4), декабрь , изд. Б. Нусейбе (Бостон: Springer, 2007), 369–418.

[jwalk-2] Домашняя страница JWalk , http://www.dcs.shef.ac.uk/~ajhs/jwalk/

[STVR-3] AJH Simons, Теория регрессионного тестирования для поведенчески совместимых типов объектов, Тестирование программного обеспечения, проверка и надежность, 16 (3), Специальный выпуск UKTest 2005, сентябрь, ред. М. Вудворд, П. МакМинн, М. Холкомб и Р. Хиеронс (Чичестер: Джон Уайли, 2006), 133–156.

[XM-4] F Ипат и WML Холкомб, Спецификация и тестирование с использованием обобщенных машин: презентация и тематическое исследование, Тестирование программного обеспечения, проверка и надежность, 8 (2), (Чичестер: Джон Уайли, 1998), 61-81.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]