Logo GenDocs.ru

Поиск по сайту:  

Загрузка...

Шпоры по технологии программирования (Гвоздев) - файл 6.doc


Шпоры по технологии программирования (Гвоздев)
скачать (254.3 kb.)

Доступные файлы (16):

10.doc34kb.27.01.2006 23:07скачать
12-13.doc36kb.27.01.2006 23:13скачать
14.doc44kb.27.01.2006 23:30скачать
16.doc23kb.27.01.2006 23:33скачать
18.doc23kb.27.01.2006 19:24скачать
1.doc43kb.27.01.2006 20:28скачать
20.doc32kb.27.01.2006 23:43скачать
21-22.doc22kb.27.01.2006 22:00скачать
26-27.doc107kb.27.01.2006 19:49скачать
2.doc68kb.27.01.2006 22:25скачать
3.doc82kb.27.01.2006 20:21скачать
4.doc25kb.27.01.2006 20:19скачать
5.doc24kb.27.01.2006 19:51скачать
6.doc27kb.27.01.2006 21:20скачать
7.doc25kb.27.01.2006 20:52скачать
8.doc23kb.27.01.2006 22:49скачать

6.doc

Различают статический и динамический подходы к ручному контролю. При статическом подходе анализируют структуру, управляющие и инфор­мационные связи программы, ее входные и выходные данные. При динами­ческом - выполняют ручное тестирование, т. е. вручную моделируют про­цесс выполнения программы на заданных исходных данных.

Исходными данными для таких проверок являются: техническое зада­ние, спецификации, структурная и функциональная схемы программного продукта, схемы отдельных компонентов и т. д., а для более поздних этапов - алгоритмы и тексты программ, а также тестовые наборы.

Доказано, что ручной контроль способствует существенному увеличе­нию производительности и повышению надежности программ и с его помо­щью можно находить от 30 до 70 % ошибок логического проектирования и кодирования. Следовательно, один или несколько из методов ручного кон­троля обязательно должны использоваться в каждом программном проекте.

Основными методами ручного контроля являются:

  • инспекции исходного текста,

  • сквозные просмотры,

  • проверка за столом,
    ; • оценки программ.

'1


Анализ требований и определение спецификаций. Спецификациями называют точное формализованное описание функций и ограничений разра­батываемого программного обеспечения. Соответственно различают функ­циональные и эксплуатационные спецификации. Совокупность специфика­ций представляет собой общую логическую модель проектируемого про­граммного обеспечения.

Для получения спецификаций выполняют анализ требований техничес­кого задания, формулируют содержательную постановку задачи, выбираю математический аппарат формализации, строят модель предметной области, определяют подзадачи и выбирают или разрабатывают методы их решения. Часть спецификаций может быть определена в процессе предпроектных ис­следований и, соответственно, зафиксирована в техническом задании.

На этом этапе также целесообразно сформировать тесты для поиска ошибок в проектируемом программном обеспечении, обязательно указав ожидаемые результаты.

Спецификация должна содержать перечень и краткое описание назначе­ния всех файлов программного обеспечения, в том числе и файлов докумен­тации на него, и является обязательной для программных систем, а также их компонентов, имеющих самостоятельное применение.

Правильно составленные внешние спецификации — объемистый документ. Чтобы справиться с таким большим документом, лучше всего применить иерархическую организацию.. Первый шаг — обрисовать основные компоненты (или то, что находится на первом уровне), затем— компоненты, затем — внеш­ние функции (функции пользователя) и в конце концов детали всех функций пользователя. Предварительное внешнее проектирование включает три первых шага. Система проектируется до такого уровня, когда уже выделены все функции пользователя, но точные их син­таксис, семантика и выходные результаты остаются еще не определенными. Этим преследуются две цели: во-первых, внутри продол­жительного процесса внешнего проектирования устанавливается контрольная точка для руководства и, во-вторых, становится воз­можной проверка правильности промежуточного уровня проекта и сопоставление его с поставленными целями.


Скачать файл (254.3 kb.)

Поиск по сайту:  

© gendocs.ru
При копировании укажите ссылку.
обратиться к администрации