| Формализация структуры программного обеспечения управляющих информационных систем |
|
 |
|
|
| Авторы |
| | Иванников А.Д. |
| Год публикации |
| | 2021 |
| DOI |
| | 10.31114/2078-7707-2021-4-67-72 |
| УДК |
| | 681.3.02 |
|
| Аннотация |
| | На основе алгебраического подхода формализуется понятие оператора над памятью цифровых систем, вводится понятие обобщенной памяти, включающей кроме собственно памяти и регистров состояние активной метки оператора и также значение времени, формализуется функционал оператора над обобщенной памятью. Про-водится анализ структуры области определения и области значений оператора. Вводится понятие произведения операторов, формулируется условие существования введенного произведения. Показывается, что программа цифровой системы является произведением операторов, множество которых является полугруппой. Разработанную формальную модель предполагается использовать для создания эффективной системы автоматизированной генерации тестовых примеров для программного обеспечения цифровых систем. |
| Ключевые слова |
| | модель программного обеспечения, программа как произведение операторов, алгебраическая модель, операторы над обобщенной памятью. |
| Ссылка на статью |
| | Иванников А.Д. Формализация структуры программного обеспечения управляющих информационных систем // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2021. Выпуск 4. С. 67-72. doi:10.31114/2078-7707-2021-4-67-72 |
| Адрес статьи |
| | http://www.mes-conference.ru/data/year2021/pdf/D042.pdf |
