Лекции по предмету «Программное обеспечение информационно-измерительных процессов» для студентов специальности 5B071600 «Приборостроение»
жүктеу/скачать 0,67 Mb.
|
Конспект лекции-ПО ИИП 2014Ru
- Бұл бет үшін навигация:
- Разработка спецификаций ПС
| Прототипирование ПС является необязательным этапом жизненного цикла ПС при компьютерной технологии, что на рис. показано пунктирной стрелкой. Однако использование этого этапа во многих случаях и соответствующая компьютерная поддержка этого этапа является характерной для компьютерной технологии. В некоторых случаях прототипирование делается после (или в процессе) разработки спецификаций ПС, например, в случае прототипирования пользовательского интерфейса. Это показано на рис. пунктирной возвратной стрелкой. Хотя возврат к предыдущим этапам допускается на любом этапе, но здесь это показано явно, так как прототипирование является особым подходом к разработке ПС. Прототипирование пользовательского интерфейса позволяет заменить косвенное описание взаимодействия между пользователем и ПС при ручной технологии (при разработке внешнего описания ПС) прямым выбором пользователем способа и стиля этого взаимодействия с фиксацией всех необходимых деталей. По существу, на этом этапе производится точное описание пользовательского интерфейса, понятное программной поддержке компьютерной технологии, причем с ответственным участием пользователя. Всё это базируется на использовании для ПС настраиваемой оболочки с обширной библиотекой заготовок различных фрагментов и деталей экрана.
Разработка спецификаций ПС состоит из нескольких разных процессов. Если исключить начальный этап разработки спецификаций (определение требований), то в этих процессах используются методы, приводящие к созданию формализованных документов, т. е. используются формализованные языки спецификаций. При этом широко используются графические методы спецификаций, приводящие к созданию различных схем и диаграмм, которые определяют структуру информационной среды и структуру управления ПС. К таким структурам привязываются фрагменты описания данных и программ, представленные на алгебраических языках спецификаций, или на логических языках спецификаций. Такие спецификации позволяют в значительной степени или полностью автоматически генерировать программы. Существенной частью разработки спецификаций является создание словаря именованных сущностей, используемых в спецификациях. жүктеу/скачать 0,67 Mb. Достарыңызбен бөлісу:
|