Academic Journal
Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux
| Τίτλος: | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux |
|---|---|
| Πηγή: | Труды Института системного программирования РАН. |
| Στοιχεία εκδότη: | Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук, 2013. |
| Έτος έκδοσης: | 2013 |
| Θεματικοί όροι: | 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, ЯДРО LINUX,КОМПОНЕНТ ЯДРА,ДРАЙВЕР УСТРОЙСТВ,ПРАВИЛО ИСПОЛЬЗОВАНИЯ ПРОГРАММНЫХ ИНТЕРФЕЙСОВ,СПЕЦИФИКАЦИЯ,МОДЕЛЬ ОКРУЖЕНИЯ,СТАТИЧЕСКАЯ ВЕРИФИКАЦИЯ,АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ,ЯЗЫК ПРОГРАММИРОВАНИЯ СИ |
| Περιγραφή: | Одним из наиболее перспективных методов поиска ошибок в программах в настоящее время является статическая верификация. Для успешного применения существующих инструментов к ядру операционной системы Linux приходится проводить верификацию покомпонентно. При этом инструментам необходимо предоставлять модель окружения, отражающую реальное окружение компонентов достаточно точно. Разработка полной модели окружения для компонентов ядра Linux является очень трудоемкой задачей, поскольку программных интерфейсов в ядре очень много и они не являются стабильными. В статье предлагается новый подход к построению спецификаций программных интерфейсов, который позволяет достаточно эффективно применять инструменты статической верификации для проверки выполнения правил использования программных интерфейсов в условиях неполноты модели окружения. |
| Τύπος εγγράφου: | Article |
| Περιγραφή αρχείου: | text/html |
| Γλώσσα: | Russian |
| ISSN: | 2220-6426 2079-8156 |
| Σύνδεσμος πρόσβασης: | http://cyberleninka.ru/article/n/postroenie-spetsifikatsiy-programmnyh-interfeysov-v-otkrytoy-sisteme-pokomponentnoy-verifikatsii-yadra-linux http://cyberleninka.ru/article_covers/14425674.png |
| Αριθμός Καταχώρησης: | edsair.od......2806..802d960c5de08e2ee42b4a3e465b412d |
| Βάση Δεδομένων: | OpenAIRE |
| ISSN: | 22206426 20798156 |
|---|