Verifiable Coverage Criteria for Automated Testing

Incremental approach to the technology of test design for industrial projects

“…Если зафиксировать некоторое начальное состояние системы S 0 , которое включа-ет состояние среды и состояния всех погруженных в нее агентов [14], тогда можно получить все возможные трассы (сценарии функционирования системы) как после-довательности вида: …”

Approach to behavior scenarios debugging

“…Подмножество полного множества конечных трасс, удовлетворяющее некоторо-му критерию покрытия [5], можно рассматривать как набор сценариев, пригодных для генерации тестов, удовлетворяющих тому же критерию покрытия.…”

“…Генерация поведенческих трасс по методу гидов гарантирует, что поведенческие критерии покрытия ветвей или частичного покрытия путей [5] будут выполнены. Критерий ветвей основан на оценке покрытия всех ветвей программы, при этом ветвь рассматривается как линейный участок кода.…”

The Guide-based Automatic Creation of Verified Test Scenarious

“…В силу того факта, что UCM диаграмма содержит информацию о структуре разрабатываемого программного обеспечения, для обеспечения покрытия удобно использовать структурные критерии. Наиболее известными из них являются критерий покрытия по ветвям, который определяет необходимость покрытия каждой ветви поведения системы хотя бы одним из те-стов, и критерий покрытия по путям, который определяет необходимость покрытия каждого пути поведения системы хотя бы одним тестом [8]. Рассмотрим критерий покрытия по ветвям.…”