ає виявлятися незалежно від мінливих обставин (наприклад, від тимчасових співвідношень) - це труднодостижимо для времязавісімих програм, результати яких часто невідтворені.
Тільки на підставі обраного критерію можна визначити той момент часу, коли кінцеве безліч тестів виявиться достатнім для перевірки програми з деякою повнотою (ступінь повноти, втім, визначається експериментально). Використовується два види критеріїв (табл.2):
· функціональні тести складаються виходячи із специфікації програми;
· структурні тести складаються виходячи з тексту програми.
Види критеріїв і їх функціональність
На рис.1, а видно відміну тестування команд (достатній один тест) від С1 (необхідні два тести як мінімум). Малюнок 1, б ілюструє відмінність С1 (достатньо двох тестів, що покривають шляху 1, 4 або 2,3) від С2 (необхідно чотири тести для всіх чотирьох шляхів). С2 недосяжний в реальних програмах через їх циклічності, тому обмежуються трьома шляхами для кожного циклу: 0, 1 і N повторень циклу.
Залишаються проблеми призначення класів вхідних / вихідних даних для функціонального тестування та проектування тестів для структурного тестування. Класи, як правило, призначаються виходячи з семантики розв'язуваної задачі. [2]
Траєкторії обчислень при структурному тестуванні
Створення довідкової системи
Якщо розробник припускає, що програмою будуть користуватися інші, то він обов'язково повинен створити довідкову систему і забезпечити користувачеві зручний доступ до довідкової інформації під час роботи з програмою. У сучасних програмах довідкова інформація представляється у формі СНМ - або HLP-файлів. Крім довідкової інформації, доступ до якої здійснюється з програми під час її роботи, до складу довідкової системи включають інструкцію з встановлення (інсталяції) програми, яку оформляють у вигляді Readme-файлу в одному з форматів: TXT, DOC або НТМ.
Створення настановного диска
Установчий диск або CD-ROM створюються для того, щоб користувач міг самостійно, без допомоги розробника, встановити програму на свій комп'ютер. Зазвичай крім самої програми на установчому диску знаходяться файли довідкової інформації та інструкція з встановлення програми (Readme-файл). Слід розуміти, що сучасні програми, в тому числі розроблені в Borland C + +, в більшості випадків (за винятком найпростіших програм) не можуть бути встановлені на комп'ютер користувача шляхом простого копіювання, так як для своєї роботи вимагають спеціальних бібліотек і компонентів, яких може і же не бути у конкретного користувача. Тому установку програми на комп'ютер користувача повинна виконувати спеціальна програма, яка поміщається на інсталяційний диск. Як правило, установча програма створює окрему папку для встановлюваної програми, копіює в неї необхідні файли і, якщо треба, виконує настройку операційної системи шляхом внесення доповнень і змін до реєстру. [2]
2. Математична частина
Традиційну теорію (звичайних) множин можна розглядати як окремий випадок теорії нечітких підмножин (чому потрібно говорити «нечітке підмножина» а не «нечітке безліч», зрозуміло хоча б з того, що область визн...
