Реклама:

1. Система автоматизации тестирования программ должна обеспечивать доступ пользователей в пакетном и терминальном режимах, представление данных в символьном и графическом видах и, в основном, безбумажное проектирование программ.

2. Система должна использовать достаточно развитую базу данных проектирования для накопления данных о разрабатываемых программах, их версиях, планах тестирования, тестовых и эталонных данных, выполненных корректировках и т. д.

3. Система должна позволять автоматически выявлять большинство ошибок, обусловленных нарушениями формализованных правил структурного построения модулей и использования данных.

4. Система должна обеспечивать автоматизированное планирование тестирования и подготовку рекомендаций по систематическому применению методов и стратегий тестирования с целью достижения максимальной корректности и надежности программ в условиях ограниченных ресурсов, выделяемых на тестирование.

5. Система должна позволять проводить автоматизированное тестирование программных модулей, в том числе без деформации исполняемых программ операторами отладки.

6. Система должна позволять оценивать достигнутую корректность программного модуля по выбранным критериям тестирования и определять основные конструктивные показатели качества 1371 (логическую и информационную сложность, сложность связей, длительность счета и т. д.) созданных программ.

7. Система должна осуществлять регистрацию всех выполненных изменении в программах и учет версий программ, в которых проведены те или иные корректировки.

Приведенным требованиям, в основном, соответствует гипо-1 тетическая система автоматизации тестирования, общая схема средств которой приведена на рис. 3.14. На схеме выделены исходные и результирующие данные, а также компоненты, осуществляющие взаимодействие основных средств тестирования с Пользователем. Это взаимодействие обеспечивается средствами управления и подготовки данных для выполнения тестирования, а также средствами редактирования результатов и подготовки их к отображению в текстовой и графической формах.

Всю совокупность средств, применяемых при автоматизированном тестировании программных модулей, можно разделить на: статические — функционирующие без исполнения тестируемых программ и динамические, при использовании которых необходимо исполнение тестируемых программ.

В группу статического тестирования входят средства, автоматизирующие непосредственную формальную проверку корректности модулей и выявление ошибок, а также средства, автоматизирующие получение данных, способствующих без испрлнения программы частичному их контролю и подготавливающих выявление ошибок при последующем применении динамических средств. Непосредственное обнаружение ошибок и выявление компонент программного модуля, где возможны некоторые виды некорректностей, осуществляется средствами контроля структурной корректности программы и средствами контроля записи и чтения переменных. Эти средства обнаруживают нарушения формализованных правил структурного построения модулей и использования в них переменных.


⇐ Предыдущая страница| |Следующая страница ⇒