скачать (254.3 kb.)
Доступные файлы (16):
10.doc | 34kb. | 27.01.2006 23:07 | ![]() |
12-13.doc | 36kb. | 27.01.2006 23:13 | ![]() |
14.doc | 44kb. | 27.01.2006 23:30 | ![]() |
16.doc | 23kb. | 27.01.2006 23:33 | ![]() |
18.doc | 23kb. | 27.01.2006 19:24 | ![]() |
1.doc | 43kb. | 27.01.2006 20:28 | ![]() |
20.doc | 32kb. | 27.01.2006 23:43 | ![]() |
21-22.doc | 22kb. | 27.01.2006 22:00 | ![]() |
26-27.doc | 107kb. | 27.01.2006 19:49 | ![]() |
2.doc | 68kb. | 27.01.2006 22:25 | ![]() |
3.doc | 82kb. | 27.01.2006 20:21 | ![]() |
4.doc | 25kb. | 27.01.2006 20:19 | ![]() |
5.doc | 24kb. | 27.01.2006 19:51 | ![]() |
6.doc | 27kb. | 27.01.2006 21:20 | ![]() |
7.doc | 25kb. | 27.01.2006 20:52 | ![]() |
8.doc | 23kb. | 27.01.2006 22:49 | ![]() |
6.doc

Исходными данными для таких проверок являются: техническое задание, спецификации, структурная и функциональная схемы программного продукта, схемы отдельных компонентов и т. д., а для более поздних этапов - алгоритмы и тексты программ, а также тестовые наборы.
Доказано, что ручной контроль способствует существенному увеличению производительности и повышению надежности программ и с его помощью можно находить от 30 до 70 % ошибок логического проектирования и кодирования. Следовательно, один или несколько из методов ручного контроля обязательно должны использоваться в каждом программном проекте.
Основными методами ручного контроля являются:
инспекции исходного текста,
сквозные просмотры,
проверка за столом,
; • оценки программ.
'1
Анализ требований и определение спецификаций. Спецификациями называют точное формализованное описание функций и ограничений разрабатываемого программного обеспечения. Соответственно различают функциональные и эксплуатационные спецификации. Совокупность спецификаций представляет собой общую логическую модель проектируемого программного обеспечения.
Для получения спецификаций выполняют анализ требований технического задания, формулируют содержательную постановку задачи, выбираю математический аппарат формализации, строят модель предметной области, определяют подзадачи и выбирают или разрабатывают методы их решения. Часть спецификаций может быть определена в процессе предпроектных исследований и, соответственно, зафиксирована в техническом задании.
На этом этапе также целесообразно сформировать тесты для поиска ошибок в проектируемом программном обеспечении, обязательно указав ожидаемые результаты.
Спецификация должна содержать перечень и краткое описание назначения всех файлов программного обеспечения, в том числе и файлов документации на него, и является обязательной для программных систем, а также их компонентов, имеющих самостоятельное применение.
Правильно составленные внешние спецификации — объемистый документ. Чтобы справиться с таким большим документом, лучше всего применить иерархическую организацию.. Первый шаг — обрисовать основные компоненты (или то, что находится на первом уровне), затем— компоненты, затем — внешние функции (функции пользователя) и в конце концов детали всех функций пользователя. Предварительное внешнее проектирование включает три первых шага. Система проектируется до такого уровня, когда уже выделены все функции пользователя, но точные их синтаксис, семантика и выходные результаты остаются еще не определенными. Этим преследуются две цели: во-первых, внутри продолжительного процесса внешнего проектирования устанавливается контрольная точка для руководства и, во-вторых, становится возможной проверка правильности промежуточного уровня проекта и сопоставление его с поставленными целями.
Скачать файл (254.3 kb.)