Технология разработки программного обеспечения



Pdf көрінісі
бет5/53
Дата28.11.2023
өлшемі1,37 Mb.
#193856
түріКонспект
1   2   3   4   5   6   7   8   9   ...   53
Байланысты:
trpo lections 230100 2014

1.3.
 
Методы проектирования 
Говорят, что Генри Форд совершил революцию в производстве 
автомобилей, когда заметил, что узлы автомобиля можно 
стандартизировать, так что при сборке автомобилей данной модели 
можно будет использовать любой экземпляр требуемого узла. 
Столь же важным в настоящее время признается возможность при 
разработке одних приложений заимствовать идеи, архитектуру, проект и 
исходный код других приложений. Если приложения проектируются 


9
таким образом, что различные их части могут быть использованы 
многократно, то в конечном итоге это приводит к уменьшению 
стоимости разработки приложений. Однако, чтобы это было возможным, 
приложения должны быть модульными. Модульность приложения, 
собственно, и означает, что оно состоит из легко идентифицируемых и 
заменяемых частей. По этой причине при правильном проектировании 
программного продукта особое внимание должно уделяться 
модульности, особенно на стадии разработки архитектуры. 
К формальным методам проектирования относятся те методы, 
которые основаны на математике. Формальные методы помогают решить 
задачи обеспечения надежности программ. Они могут быть применены 
как при анализе требований для обеспечения точности формулировки 
требований, так и в процессе реализации для обеспечения соответствия 
кода программы сформулированным требованиям. Как правило 
формальные методы используют математику в ее логическом аспекте. В 
вычислительном же аспекте математика задействована в связи с 
использованием метрик, которые мы будем рассматривать далее. 
Сегодня существует огромное количество различных процессов для 
создания ПО. Тем не менее, именно технологий, рассматривающих 
полный жизненный цикл проекта разработки ПО, сочетающих в себе 
научный подход, серьезную базу исследований и имеющих историю 
реального использования и адаптации, относительно немного. Из 
методологий и технологий, получивших определенное признание на 
данный момент, можно назвать следующие: Datarun, CMM, Microsoft 
Solution Framework (MSF), Oracle Method, Rational Unified Process (RUP), 
SADT (IDEFx). 
Особое место в этом списке занимает технология компании Rational 
Software. В ее методологии применен наиболее современный процессно-
ориентированный подход: так как разработка ПО является 
производством, то, как и на всяком производстве, при выявлении 
проблем в продукции (симптомов) необходимо корректировать процесс 
(устранять причины). Особенностью этой технологии является то, что в 
ее создании участвуют ведущие методисты в области разработки ПО, 
такие как Г. Буч (ООАП), Дж. Рамбо (ОМТ), А. Джекобсон (Objectory), 
внесшие весомый вклад в теорию и практику разработки современного 
ПО. Кроме того, следует заметить, что эта технология развивалась и 
проходила проверку с участием военного ведомства США [2, 24]. 


Достарыңызбен бөлісу:
1   2   3   4   5   6   7   8   9   ...   53




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет