— проверки модели независимо от выбора языка генерации кода;
— создания компонентов для реализации классов;
— отображения классов на компоненты;
— установки свойств генерации программного кода;
— выбора класса, компонента или пакета;
— генерации программного кода.
ВЫВОДЫ
• CASE-средства позволяют в автоматизированном режиме реализовать проектные модели.
• Реализованные проектные модели должны быть полными, отражать как функциональные, так и информационные аспекты проектируемых автоматизированных систем.
• CASE-средства включают набор инструментальных средств, позволяющих в наглядной форме моделировать предметную область, анализировать эту модель на всех этапах разработки и сопровождения программного проекта и разрабатывать приложения в соответствии с информационными потребностями "пользователей.
• Большинство существующих CASE-средств основано на методологиях структурного (в основном) или объектно-ориентированного анализа и проектирования, использующих спецификации в виде диаграмм или текстов для описания внешних требований, связей между моделями системы, динамики поведения системы и архитектуры программных средств.
• Передовые CASE-средства способны не только составлять спецификации, но и их проверять, а также генерировать исходный код программ.
• CASE-средства производятся множеством производителей и только наиболее удачные из них проходят проверку практикой.
• CASE-средство Rational Rose фирмы "Software Corporation" (США) предназначено для автоматизации этапов анализа и проектирования ПО, а также для генерации кодов на различных языках и выпуска проектной документации. Rational Rose использует объединенную методологию объектно-ориентированного анализа и проектирования, основанную на подходах трех ведущих специалистов в данной области: Буча, Рамбо и Джекобсона.
• Язык UML CASE-средства Rational Rose позволяет создавать несколько типов визуальных диаграмм:
— диаграммы вариантов использования;
— диаграммы последовательности;
— кооперативные диаграммы;
— диаграммы классов;
— диаграммы состояний;
— диаграммы компонент;
— диаграммы размещения.
Контрольные вопросы
1. Что такое CASE-средства?
2. Зачем необходимы CASE-средства?
3. В чем заключается сущность визуального моделирования?
4. Что отображают диаграммы вариантов использования?
5. Что отображают диаграммы последовательности?
6. Что отображают кооперативные диаграммы?
7. Что отображают диаграммы классов?
8. Что отображают диаграммы состояний?
9. Что отображают диаграммы компонент?
10. Что отображают диаграммы размещения?
11. В чем состоит суть модели разработки программного обеспечения "водопад", ее особенности и недостатки?
12. Изложите шаги методики разработки приложений с использованием Rational Rose.
Глава 11
ТЕСТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
11.1. ОСНОВНЫЕ СВЕДЕНИЯ
Любой заказчик хочет получить надежное программное изделие, которое полностью удовлетворяет его потребности. Различные уровни надежности обеспечиваются разными инженерными подходами к тестированию. Другими словами, за достаточные средства можно достичь уровня надежности как у такой-то фирмы или даже уровня, необходимого для атомной энергетики или космических исследований.
Итак, уровень надежности программных изделий определяется инженерией тестирования. Как достичь высочайшего уровня надежности? Ясно, что тексты программ, написанные в одной организации, можно заново инспектировать, тестировать автономно и в составе ядра в иной организации. В самой программе можно одновременно производить расчеты по разным алгоритмам с использованием разных вычислительных методов и сличать результаты в контрольных точках, использовать подстановки рассчитанных результатов в исходные уравнения и тем самым контролировать результаты решения. Из изложенного видно, что уровень надежности программных изделий напрямую связан с затратами как денежных средств, так и времени проекта.
Как известно, при создании типичного программного проекта около 50 % общего времени и более 50–60 % общей стоимости расходуется на проверку (тестирование) разрабатываемой программы или системы. Кроме того, доля стоимости тестирования в общей стоимости программ имеет тенденцию возрастать при увеличении сложности программных изделий и повышении требований к их качеству.
Учитывая это, при выборе способа тестирования программ следует четко выделять определенное (по возможности не очень большое) число правил отладки, обеспечивающих высокое качество программного продукта и снижающих затраты на его создание.
Тестирование осуществляется путем исполнения тестов. Смысл теста программ показан на рис. 11.1.
Аксиомы тестирования, выдвинутые ведущими программистами:
— хорош тот тест, для которого высока вероятность обнаружения ошибки;
— главная проблема тестирования — решить, когда закончить (обычно решается просто — кончаются деньги);
— невозможно тестировать свою собственную программу;
— необходимая часть тестов — описание выходных результатов;
— избегайте невоспроизводимых тестов;
— готовьте тесты как для правильных, так и для неправильных данных;
— не тестируйте "с лету";
— детально изучайте результаты каждого теста;
— по мере обнаружения все большего числа ошибок в некотором модуле или программе, растет вероятность обнаружения в ней еще большего числа ошибок;
— тестируют программы лучшие умы;
— считают тестируемость главной задачей разработчиков программы;
— не изменяй программу, чтобы облегчить тестирование;
— тестирование должно начинаться с постановки целей.
Если в программе ставят комментарии на месте вызова модуля вместо использования заглушки, то исключают возможность проверки типов данных, а также часто забывают снимать комментарии. Для поиска "забытых" комментариев необходима трудоемкая отладка.
Среди приемов тестирования стоит выделить также так называемую отладочную печать. Если отладочные печати изымаются из текста, то утяжеляется сопровождение. Вывод: никогда не изымай отладочные печати даже с использованием препроцессора:
{$IFDEF DEBUG THEN}
…
{$ELSE}
…
{$ENDIF}
Рис. 11.1. Смысл теста программ
Лучше опишите глобальную переменную DebugLevel и программируйте условные отладочные печати:
var
DebugLeveclass="underline" word; {0-нет ни одной отладочной печати, чем больше значение, тем подробнее отладочная печать}
DebugFile: text; {файл отладочной печати}
DebugLeveclass="underline" = 4; {задание уровня отладки}
if DebugLevel >= 3 then
WriteLn(DebugFile, 'Модуль:', 'MyModule, 'результат:');
11.2. СВОЙСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Следует выделить следующие свойства программного обеспечения.
Корректность программного обеспечения — свойство безошибочной реализации требуемого алгоритма при отсутствии таких мешающих факторов, как ошибки входных данных, ошибки операторов ЭВМ (людей), сбои и отказы ЭВМ.
В интуитивном смысле под корректностью понимают свойства программы, свидетельствующие об отсутствии в ней ошибок, допущенных разработчиком на различных этапах проектирования (спецификации, проектирования алгоритма и структур данных, кодировании). Корректность самой программы понимают по отношению к целям, поставленным перед ее разработкой (т. е. это относительное свойство).