Разработка ПО

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

Для объединения Web-сервисов при создании высокоуровневых бизнес-процессов, в которые вовлечены несколько предприятий, необходима стандартизация моделей их взаимодействия. К настоящему времени сразу несколько отраслевых стандартов близки к реализации в конкретных программных продуктах.

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