![]() |
|
сделать стартовой | добавить в избранное |
![]() |
Компьютеры, Программирование
Программное обеспечение
Технологии тестирования программного обеспечения |
2.1. Введение. Понятия процесса программирования качественно изменились. Производство программ приобрело массовый характер, существенно увеличились их объем и сложность. Разработка программных комп- лексов потребовала значительных усилий больших коллективов специалистов. Программы перестали быть только вычислительными и начали выполнять важнейшие функции по управлению и обработке информации в различных отраслях. Развитие и применение технологий проектирования комплексов программ приводит к необходимости измерения и сравнения их эф- фективности прежде всего по степени влияния на качество прог- раммного продукта. Обеспечение высокого качества сложных комплексов программ связано со значительными затратами труда разработчиков. Затра- ты на создание программ быстро увеличиваются при возрастании требований, причем для сложных комплексов весьма сложно дос- тичь высокого качества функционирования, и после обеспечения общей работоспособности могут понадобится годы труда для полу- чения необходимых показателей качества. Поэтому уже сегодня требуются методы и средства, которые позволили бы заметно по- высить качество программ программ при относительно невысоких затратах труда. 2.2. Обоснование выбора технологии тестирования. Как известно, при создании типичного программного проекта около 50% общего времени и более 50% общей стоимости расходу- ется на проверку (тестирование) разрабатываемой программы или системы. Кроме того, доля стоимости тестирования в общей стои- мости программ имеет тенденцию возрастать при увеличении слож- ности комплексов программ и повышения требований к их качест- ву. Учитывая это, при отработке технологии тестирования прог- рамм следует четко выделять определенное (по возможности не очень большое) число правил отладки, обеспечивающих высокое качество программного продукта и снижающих затраты на его соз- дание. Тестирование - это процесс исполнения программы с целью обнаружения ошибок. Одним из способов изучения поставленного вопроса является исследование стратегии тестирования, называе- мой стратегией черного ящика, тестированием с управлением по данным, или тестированием с управлением по входу-выходу. При использовании этой стратегии программа рассматривается как черный ящик. Тестовые данные используются только в соответст- вии со спецификацией программы (т.е. без учета знаний о ее внутренней структуре). При таком подходе обнаружение всех ошибок в программе яв- ляется критерием исчерпывающего входного тестирования. Послед- нее может быть достигнуто, если в качестве тестовых наборов использовать все возможные наборы входных данных. Следователь- но, мы приходим к выводу, что для исчерпывающего тестирования программы требуется бесконечное число тестов, а значит постро- ение исчерпывающего входного теста невозможно. Это подтвержда- ется двумя аргументами: во-первых, нельзя создать тест, гаран- тирующий отсутствие ошибок; во-вторых, разработка таких тес- тов противоречит экономическим требованиям. Поскольку исчерпы- вающее тестирование исключается, нашей целью должна стать мак- симизация результативности вложения капиталовложений в тести- рование (максимизация числа ошибок, обнаруживаемых одним тес- том).
Для этого необходимо рассматривать внутреннюю структуру программы и делать некоторые разумные, но, конечно, не облада- ющие полной гарантией достоверности предположения. Стратегия белого ящика, или стратегия тестирования, управ- ляемого логикой программы, позволяет исследовать внутреннюю структуру программы. В этом случае тестирующий получает тесто- вые данные путем анализа логики программы. Сравним способ построения тестов при данной стратегии с исчерпывающим входным тестированием стратегии черного ящика. Неверно предположение, что достаточно построить такой набор тестов, в котором каждый оператор исполняется хотя бы один раз. Исчерпывающему входному тестированию может быть поставле- но в соответствие исчерпывающее тестирование маршрутов. Подра- зумевается, что программа проверена полностью, если с помощью тестов удается осуществить выполнение этой программы по всем возможным маршрутам ее потока (графа) передач управления. Последнее утверждение имеет два слабых пункта: во-первых, число не повторяющих друг друга маршрутов - астрономическое; во-вторых, даже если каждый маршрут может быть проверен, сама программа может содержать ошибки (например, некоторые маршруты пропущены). В результате всех изложенных выше замечаний можно отме- тить, что ни исчерпывающее входное тестирование ни исчерпываю- щее тестирование маршрутов не могут стать полезными стратегия- ми, потому что оба они не реализуемы. Поэтому реальным путем, который позволит создать хорошую, но, конечно не абсолютную стратегию, является сочетание тестирования программы несколь- кими методами. 2.3. Разработка технологического процесса тестирования. Если отказаться от тестирования всех путей, то можно пока- зать, что критерием покрытия является выполнение каждого опе- ратора программы по крайней мере один раз. В качестве примера тестирования возьмем модуль Param. Предназначение модуля - разбирать командную строку с парамет- рами на отдельные параметры. Объектом тестирования изберем правило ParamS r объекта Parame ers. fu c io Parame ers.ParamS r(Param um : by e) : s ri g; begi if Param um = 0 he if Delux he ParamS r:='' else if Lo(DosVersio ) >= 3 he ParamS r:=sys em.ParamS r(0) else ParamS r:='' else ParamS r:=Op io S r(Param um); e d; Схема алгоритма этой функции: --------------------¬ ¦ Начало ¦ L--------- ---------- ¦ / / нет /Param um ----------------¬ = 0 / ¦ / ---------- ---------¬ /да ¦ ParamS r = ¦ ¦ ¦Op io S r(Param um)¦ / L--------- ---------- да / ¦ -&l ;-----------/ Delux ¦ ¦ = rue / ¦ ---------- -------¬ / ¦ ¦ ParamS r = '' ¦ /нет ¦ L--------- -------- ¦ ¦ ¦ / ¦ ¦ / Lo( нет ¦ ¦ /DosVersio --------------¬ L--------¬ ¦ ) >= 3 / ¦ ¦ ¦ / ¦ ¦ ¦ /да ¦ ¦ ¦ ----------- ---------¬ --------- --------¬ ¦ ¦ ¦ ParamS r = Sys em.¦ ¦ ParamS r = '' ¦ ¦ ¦ ¦ ParamS r(0) ¦ L-------- --------- ¦ ¦ L---------- ---------- ¦ ¦ ---------- ---------¬ ¦ Конец ¦ L-------------------- Рис 2.1. Табл. 2.1. ¦ ¦ Входные данные ¦Ожидаемый результат¦Полученный результат¦ ¦ 1 ¦ Param um = 1 ¦ ParamS r = ¦ ParamS r = ¦ ¦ ¦ ¦Op io S r(Param um)¦Op io S r(Param um) ¦ ¦ 2 ¦ Param um = 0 ¦ ParamS r = '' ¦ ParamS r = '' ¦ ¦ ¦ Delux = rue ¦ ¦ ¦ ¦ 3 ¦ Param um = 0 ¦ParamS r = ¦ParamS r = ¦ ¦ ¦ Delux = false ¦ Sys em.P
aramS r(0)¦ Sys em.ParamS r(0) ¦ ¦ ¦ Lo(DosVersio )=3 ¦ ¦ ¦ ¦ 4 ¦ Param um = 0 ¦ParamS r = '' ¦ParamS r = '' ¦ ¦ ¦ Delux = false ¦ ¦ ¦ ¦ ¦ Lo(DosVersio )=2 ¦ ¦ ¦ Данный критерий тестирования хуже, чем кажется на первый взгляд. Например, если условие Lo(DosVersio ) >= 3 будет оши- бочно записано Lo(DosVersio ) > 3. При тестировании по данно- му критерию эта ошибка не будет обнаружена. Более сильный критерий покрытия логики программы известен как покрытие решений, или покрытие переходов. Согласно данно- му критерию должно быть записано достаточное число тестов, та- кое, что каждое решение на этих тестах примет значение истина и ложь по крайней мере один раз. Можно показать, что покрытие решений обычно удовлетворяет критерию покрытия операторов. Поскольку каждый оператор лежит на некотором пути, исходящем из оператора перехода, либо из точки входа программы, при выполнении каждого направления пе- рехода каждый оператор должен быть выполнен. Следовательно, тесты приведенные выше подходят и для этого критерия. Однако существуют исключения, например, оператор case. В этом операторе возможны не двузначные решения. CASE условие OF m1 : оператор1; m2 : оператор2; m3 : оператор3 ELSE m4 : оператор4 E D Критерием для таких случаев является выполнение каждого возможного результата всех решений по крайней мере один раз. Лучшим критерием по сравнению с предыдущим является покры- тие условий. В этом случае записывают число тестов, достаточ- ное для того, чтобы все возможные результаты каждого условия в решении выполнялись по крайней мере один раз. Рассмотрим пример на функции Op io S r. fu c io Parame ers.Op io S r(Param um : by e) : s ri g; var I, Le : By e; begi Le := 0; I := Op Posi io (Param um); if I &l ;> 0 he while (I &l ;= SLe ) a d o (ParS r := ParS r := Char(Le ); e d; Алгоритм этой функции: --------------------¬ ¦ Начало ¦ L--------- ---------- ---------- ---------¬ ¦ Le = 0; ¦ ¦ I = Op Posi io ( ¦ ¦ Param um) ¦ L--------- ---------- / / да / I = 0 ----------------¬ / ¦ / ¦ /нет ¦ ---------------- ¦ ¦ / ¦ ¦ / ¦ ¦ /I &l ;= SLe да ¦ ¦ / и не -------------> ¦ ParS r(I) в / ¦ ¦ Op Delim / ¦ ¦ / ¦ ¦ / нет ¦ ¦ ---------- ---------¬ ¦ ¦ ¦ Le = Le 1; ¦ ¦ ¦ ¦ Op io S r(Le ) = ¦ ¦ ¦ ¦ ParS r(I) ¦ ¦ ¦ L--------- ---------- ¦ L---------------- ¦ ------------------------ ---------- ---------¬ ¦ Конец ¦ L-------------------- Рис 2.2. Функция содержит три условия: I=0, I&l ;=SLe , o (ParS r i Op Delim). Следовательно, требуется достаточное число тестов, такое, чтобы реализовать ситуации, где I=0, I&l ;>0 в первом условии и I&l ;=SLe , I>SLe , (ParS r i Op Delim)=false во втором условии. Тесты, удовлетворяющие критерию покрытия условий пиведены в таблице 2.2. (пусть стока параметров имеет вид: MAI .GRM /Q/P, SLe =13, Param um=1): Табл. 2.2. ¦ ¦ Входные данные ¦Ожидаемый результат¦Полученный результат¦ ¦ 1 ¦ I = 0 ¦ Op io S r(0) = 0 ¦ Op io S r(0) = 0 ¦ ¦ ¦ ¦ ¦ ¦ ¦ 2 ¦ I = 1 ¦ Op io S r(0) = 0 ¦ Op io S r(0) = 0 ¦ ¦ ¦ (ParS r i ¦ ¦ ¦ ¦ ¦ Op Delim) = rue¦ ¦ ¦ ¦ 3 ¦ I = 1 ¦ Op io S r(0) = 8 ¦ Op io S r(0) = 8 ¦ ¦ ¦ (ParS r i ¦ ¦ ¦ ¦ ¦ Op Delim)=false ¦ ¦ ¦ ¦ 4 ¦ I = 11 ¦ Op io S r(0) = 0 ¦ Op io S r(0) = 0 ¦ ¦ ¦ (ParS r i ¦ ¦ ¦ ¦ ¦ Op Delim) = rue¦ ¦ ¦ ¦ 5 ¦ I = 11 ¦ Op io S r(0) = 0 ¦ Op io S r(0) = 0 ¦ ¦ ¦ (ParS r i ¦ ¦ ¦ ¦ ¦ Op Delim)=false ¦ ¦ ¦ Хотя применение критерия покрытия условий на первый взгляд удовлетворяет критерию покрытия решений, это не всегда так.
В практике аудита известны следующие подходы к тестированию КИСП. 1.PПроверка путем имитации учетных данных. Используя программное обеспечение предприятия-клиента, аудитор вводит в КИСП набор тестовых данных, часто намеренно содержащий некоторые «сомнительные» операции. Путем сопоставления полученных отчетных данных с заранее известными аудитору проверяется правильность проведенных в КИСП расчетов и полученных результатов. Тестовые данные специально подготавливаются аудитором в зависимости от специфики отрасли и особенностей хозяйственной деятельности конкретного предприятия. Обычно это определенные мнимые хозяйственные операции, часть которых некорректна. При этом аудитор знает, какой именно результат должна сформировать программа. Существует несколько подходов к тестированию программного обеспечения. В простейшем из них последовательность работы аудитора с тестовыми данными следующая (рис.P5.13). Рис.P5.13. Общий подход к тестированию программного обеспечения Комплексный подход к тестированию (Integrated test facility approach ITF) включает как использование тестовых операций, так и создание определенных мнимых объектов аналитического учета (дебиторов, кредиторов, работников, материальных ценностей и т.Pп.) [31, с. 581]
1. Технологии тестирования программного обеспечения
2. Технология разработки программного обеспечения
5. Авторское право на программное обеспечение
10. Программное обеспечение персональных компьютеров
11. Программное обеспечение удалённого доступа к технической документации
12. Вирусы и антивирусное программное обеспечение
13. Программное обеспечение компьютеров. Архиваторы
14. Обзор современного программного обеспечения управления проектами
15. Продуктовая политика организации (на примере продвижения услуг программного обеспечения)
16. Программное обеспечение сетей ЭВМ
17. Охрана программного обеспечения
19. Программное обеспечение календарного планирования и контроля
20. Виды программного обеспечения, операционной система
25. Развитие программного обеспечения
26. Документирование программного обеспечения
27. Классификация программного обеспечения ЭВМ
28. Постановка, настройка и исследование абонентского программного обеспечения сети Internet
29. Разновидности общесистемного программного обеспечения персональных ЭВМ
30. Системное программное обеспечение
31. Крупнейшие производители операционных систем и программного обеспечения
33. Бухгалтерский и налоговый учет покупаемого программного обеспечения
34. АИС управления серверным программным обеспечением на базе программного комплекса Webmin/Alterator
35. Аппаратура, программное обеспечение и микропрограммы
36. Виды программного обеспечения. Общие требования к программным системам
37. Методика работы с модулем "Реализация и склад" программного обеспечения "ПАРУС"
41. Прикладное программное обеспечение
42. Прикладное программное обеспечение
43. Проблемное и системное программное обеспечение
44. Программное обеспечение "Служба занятости"
45. Программное обеспечение встроенных систем управления на базе однокристальных микропроцессоров (МП)
46. Программное обеспечение системы обработки изображения в реальном времени
47. Программное обеспечение управления автоматизированным комплексом многоканальной связи
48. Программное обеспечение, компьютерные сети
49. Проектирование математического и программного обеспечения
50. Разработка базы данных и прикладного программного обеспечения для автобусного парка
51. Разработка интернет – магазина по продаже программного обеспечения
52. Разработка прикладного программного обеспечения деятельности предприятия в системе клиент-сервер
53. Разработка программного обеспечения для нахождения корней биквадратного уравнения
57. Разработка технического и программного обеспечения автоматизированной системы научных исследований
58. Создание программного обеспечения электронного учебника
59. Анализ прикладного программного обеспечения
61. Анализ прикладного программного обеспечения, используемого для разработки бизнес–плана
63. Революция в программном обеспечении УЧПУ
64. Программное обеспечение базы данный "Экологический мониторинг"
65. Использование Интернет-технологий для обеспечения информативности населения
69. Технология обеспечения сохранности документов
73. Информационные технологии и средства их обеспечения как объекты информационных правоотношений
74. Информационные технологии документационного обеспечения управленческой деятельности
76. Разработка и стандартизация программных средств информационных технологий
77. Программно-аппаратный комплекс для тестирования интегральных микросхем 155 серии
80. Влияние космоса на современные информационные технологии
81. Проблемы обеспечения продовольствием и перенаселение Земли
82. Планирование обеспечения горючим воинской части в мирное время
83. Территориальные особенности обеспеченности хозяйства Украины природными ресурсами (Контрольная)
84. Геодезическое обеспечение при строительстве мостов
85. Некоторые вопросы обеспечения прав обвиняемого на предварительном расследовании
89. Система пенсионного обеспечения населения и пути его реформирования
90. Социальное страхование и обеспечение
91. Организационно-правовое обеспечение деятельности комитета по международным делам ГД ФС РФ
92. Роль ООН в вопросах обеспечения международной безопасности
93. Правовое обеспечение информациооных систем
94. Нормативно - правовая основа социального обеспечения военнослужащих
95. Право социального обеспечения
96. Служба документационного обеспечения управления
97. Разработка технологии по изготовлению книжного издания по искусству
98. Роль техники и технологии в процессе развития культуры
99. Медицинское обеспечение российской армии в период Первой Мировой Войны
100. Ctp-технология, глубокая печать, брошюровочно-переплетные процессы