39;язків між об'єктами при їх переміщенні і зміні розмірів,
В· автоматичний контроль помилок та ін
Реалізація подібних можливостей дозволяє користувачеві цілком зосередитися на власне проектуванні, не відволікаючись на вирішення другорядних просівши, пов'язаних з розміщенням елементів діаграм, їх компонуванням і т.п.
Отримані діаграми дають ясне розуміння і вирішення проблеми, дозволяють проаналізувати функціонування створюваного ПЗ, фіксують за в'язі між розробниками, користувачами і керівниками, забезпечують стандартизацію представлення структури програми і даних.
Контроль помилок
Важливість контролю помилок на етапах аналізу вимог і проектування специфікацій обумовлюється можливістю їхнього автоматичного виявлення на ранніх етапах ЖЦ. CASE забезпечує автоматичну верифікацію і контроль проекту на повноту і спроможність на ранніх етапах ЖЦ, що впливає на успіх розробки в цілому. На підтвердження цього можна навести такі статистичні дані, засновані на звітах фірми TRW з аналізу 5 великих проектів-:
В· при традиційній організації робіт помилки проектування та кодування складають, відповідно, 64% і 32% від загального числа помилок;
В· помилки проектування в 100 разів важче виявити на етапі супроводу ПЗ, ніж на етапах аналізу вимог і проектування специфікацій.
У CASE діаграммери і верифікатори здатні здійснювати такі типи контролю:
1. Контроль синтаксису діаграм і типів їх елементів. Зазвичай такий контроль здійснюється при введенні і редагуванні елементів діаграм.
Приклади контрольованих ситуацій:
В· по синтаксису: будь-який функціональний елемент діаграми повинен мати принаймні один вхідний і один вихідний потік, два елементи даних не можуть бути безпосередньо пов'язані;
В· за типами функціональний елемент повинен завжди використовуватися для представлення процедурного компонента; потік даних завжди повинен бути представлений компонентом даних.
2. Контроль повноти та спроможності діаграм всі елементи діаграм мають бути ідентифіковані і відображені в репозитарії. Наприклад для DFD контролюються неіменовані або незв'язані потоки даних, процеси і сховища даних, джерела і стоки даних (зовнішні сутності) поза контекстної діаграми, сховища даних на контекстній діаграмі і т.д. При аналізі словника даних необхідно виявляти циклічні визначення, еквівалентні визначення, невизначені об'єкти.
3. Контроль декомпозиції функцій включає оцінку якості на основі різних метрик ПЗ і частковий семантичний контроль.
4. Наскрізний контроль діаграм одного або різних типів на предмет їх спроможності за рівнями - вертикальне і горизонтальне балансування діаграм. При вертикальному балансуванні (діаграми одного типу) виявляються незбалансовані потоки даних між деталізіруемая і деталізуючою діаграмами. Горизонтальне балансування визначає некоректності між DFD, ERD, STD, словниками даних і миниспецификации процесів. Так при балансуванні DFD-ERD контролюється відповідність кожного сховища даних на DFD сутності або відношенню на ERD. Контроль DED-STD здійснюється за такими правилами: кожен керуючий процес на DFD деталізується специфікацією управління STD, і навпаки, кожній STD повинен відповідати керуючий процес, кожна умова (дія) в STD має відповідати вхідному (вихідному) керуючому потоку на DFD, і навпаки, кожному керуючому потоку залежно від його спрямованості має відповідати умова/дія на STD. При балансуванні DFD-словник даних - Мініспеціфікація повинні перевірятися наступні правила:
В· кожен потік і сховище даних повинні бути визначені в словнику даних (контроль невизначених значень), і навпаки, кожне визначення в словнику має бути відображено на діаграмі, в миниспецификации або іншому визначенні (контроль невикористовуваних значень),
В· кожен процес на DFD повинен деталізуватися за допомогою DFD або миниспецификации (але не тим і іншим одночасно), і навпаки, кожна міннспеціфікація повинна відповідати єдиному процесу;
В· посилання до даних у миниспецификации повинні відповідати об'єктам на діаграмах і в словнику даних;
В· по можливості повинна контролюватися семантика миниспецификации: наприклад, якщо вхідні та/або вихідні потоки пов'язані з сховищем даних то це має бути відображено в миниспецификации (операторами READ, GET, WRITE, PUT і т.п.). br/>
Організація та підтримка репозитарія.
Основні функції засобів організації та підтримки репозитарія - зберігання, доступ, оновлення, аналіз і візуалізація всій інформації по проекту ПЗ. Вміст репозитарія включає не тільки інформаційні об'єкти різних типів, але і відносини між їх компонентами, а також правила використання або обробки цих компонентів (рис. 1.3). Репозитарій може зберігати понад 100 типів об'єктів, прикладами яких є структурні діаграми, визначення е...
