В настоящее время трудно представить проектирование высокотехнологичного программного обеспечения (ПО) без использования объектно-ориентированного подхода (ООП), равно как реализацию программных продуктов без тестирования последних. Причем очевидно, что неудобное в использовании, трудоемкое и подверженное ошибкам ручное тестирование крайне неэффективно на таких проектах. Для обеспечения качества сложного ПО требуется комплексная система автоматизированного контроля, существующая на всех этапах разработки продукта. Применение базовых принципов ООП при проектировании и реализации такой системы позволит, прежде всего, оперативно управлять процессом тестирования основного разрабатываемого программного комплекса, что в свою очередь сократит временнÏе затраты на проверку качества продукта и повысит его надежность.

Подробнее… Загрузить файл 

Explore More

Применимость инcтрумента Spin к верификации протоколов когерентности памяти

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

Варианты распределенной сети питания для многоядерных микропроцессоров

Современные многоядерные микропроцессоры с предельной производительностью имеют потребляемую мощность более 120 Вт. Согласно дорожной карте развития полупроводниковых технологий потребляемая мощность и ток потребления микропроцессоров стационарного применения будут нелинейно расти несмотря на

Подходы к разработке человеко-машинного интерфейса контроля и управления прикладными программами

Одним из важных аспектов в автоматизированных системах управления технологическими процессами является организация взаимодействия между человеком и программно-аппаратным комплексом. Обеспечение такого взаимодействия задача человеко-машинного интерфейса (далее HMI, Human Machine Interface). Тенденции современного