Page 62 - 4592
P. 62

частини         функціональності              тестованого          компонента,

                      пов'язаної          із       структурними             та       поведінковими
                      властивостями,  опис  яких  не  зосереджена  в  окремих
                      функціях (тобто опис розосереджено по компоненту).
                      Критерій тестування функцій об'єднує почасти особливості

               структурних  та  функціональних  критеріїв.  Він  базується  на
               моделі «напівпрозорого ящика», де явно вказані не тільки входи і
               виходи  тестованого  компонента,  але  також  склад  і  структура

               використовуваних методів (функцій, процедур) і класів.
                      Комбіновані  критерії  для  програм  і  специфікацій  -  набір
               тестів  в  сукупності  має  забезпечити  перевірку  всіх  комбінацій

               несуперечливих  умов  програм  і  специфікацій  не  менше  одного
               разу.  При  цьому  всі  комбінації  несуперечливих  умов  треба
               підтвердити, а умови протиріч слід виявити і ліквідувати.

                      Стохастичне  тестування  застосовується  при  тестуванні
               складних  програмних  комплексів  -  коли  набір  детермінованих
               тестів  (X,  Y)  має  величезну  потужність.  У  випадках,  коли
               подібний  набір  неможливо  розробити  і  виконати  на  фазі

               тестування, можна застосувати таку методику.
                     Розробити  програми-імітатори  випадкових  послідовних
                      вхідних сигналів {x}.

                     Обчислити  незалежним  способом  значення  {y}  для
                      відповідних вхідних сигналів {y} і одержати тестовий набір
                      {X, Y}.
                     Протестувати  додаток  на  тестовому  наборі  {X,  Y},

                      використовуючи два способи контролю результатів:
                   1. Детермінований  контроль                   -  перевірка          відповідності
                      обчисленого значення значенням y, отриманому в результаті

                      прогону  тесту  на  наборі  {x}  -  випадкової  послідовності
                      вхідних сигналів, згенерованої імітатором.
                   2. Стохастичний контроль - перевірка відповідності багатьох {

                      y}, отриманих в результаті прогону тестів на наборі значень
                      {x}, при заздалегідь відомому розподілі результатів F(y). У
                      цьому  випадку  y  невідомо  (його  обчислення  неможливо),

                      але відомий закон розподілу даної множини.
                      Критерії стохастичного тестування:



                                                           62
   57   58   59   60   61   62   63   64   65   66   67