Принципы и методы создания надежного программного обеспечения АСУТП
Цель настоящего пособия – дать базовые навыки, необходимые для разработки надежного программного обеспечения (ПО), построить «мост» между зачастую незаслуженно забытыми трудами «патриархов» и современной практикой программирования. Показана актуальность проблемы повышения надежности создаваемого ПО. Приведены основные определения, факторы, влияющие на надежность ПО, рассмотрены принципы и методы построения надежного ПО. Даны практические рекомендации и методики, направленные на повышение надежности разрабатываемого ПО. Пособие иллюстрируется примерами из области ПО АСУТП АЭС, приведены детализированные требования, рекомендации и методика по проектированию и реализации ПО.Пособие предназначено для специалистов, занимающимся разработкой ПО для оснащения критически важных объектов (КВО). Оно также может быть полезно студентам соответствующих специальностей в качестве методического материала.
Содержание
Содержание книги "Принципы и методы создания надежного программного обеспечения АСУТП "
Отрывок из книги
Принципы и методы создания надежного программного обеспечения АСУ ТПМякишев Д.В. 20человеку, участвующему в ее решении, легче написать, понять и прочесть, чем программу.Средства спецификации – это любые средства по-лучения и построения таких описаний, а язык специфи-кации – рационально организованный и синтаксически оформленный набор таких средств, язык более высоко-го уровня, чем язык, на котором написана программа. Язык спецификаций – средство общения круга лиц, вовлеченных в разработку ПО. Одним из наиболее существенных вопросов, реша-емых в процессе выбора тех или иных изобразительных средств, является степень их формализации. Определя-ющую роль в этом случае играет уровень абстракции.Спецификация системы (верхнего уровня абстрак-ции) служит основным связующим звеном между целя-ми, требованиями и реализацией, является информаци-онной средой взаимодействия заказчика и исполнителя. Поскольку в подавляющем большинстве случаев заказ-чик не является профессионалом - программистом, у него возникают затруднения при четком и однозначном формулировании целей и требований, особенно с при-менением формального аппарата. Нередко заказчик сам не знает, что в конечном счете требует он от программы, и исполнителю в этом случае приходится додумывать за заказчика и предлагать ему свою интерпретацию целей и требований, которая путем многократных обсуждений и уточнений доводится до необходимого уровня конкрети-зации. В этой связи необходимо иметь в составе специфи-кации неформальные (или полуформальные, формализо-ванные) изобразительные средства (в ее внешней части), по крайней мере, в спецификации высшего уровня аб-
Мякишев Д. В. другие книги автора
С книгой "Принципы и методы создания надежного программного обеспечения АСУТП" читают
Внимание!
При обнаружении неточностей или ошибок в описании книги "Принципы и методы создания надежного программного обеспечения АСУТП (автор Дмитрий Мякишев)", просим Вас отправить сообщение на почту help@directmedia.ru. Благодарим!
и мы свяжемся с вами в течение 15 минут
за оставленную заявку