Генерация тестов для модулей проверки статической семантики в компиляторах.
В статье исследуется проблема построения программ-тестов для модулей проверки статической семантики в компиляторах, рассматриваются существующие способы формального описания правил статической семантики языков программирования и обсуждаются причины, мешающие использованию существующих нотаций для ре...
| Published in: | Труды Института системного программирования РАН |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Published: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2004-01-01
|
| Online Access: | https://www.ispras.ru/en/proceedings/isp_2004_8_1/isp_2004_8_1_59/ |
| _version_ | 1848651767939596288 |
|---|---|
| author | М.В. Архипова |
| author_facet | М.В. Архипова |
| author_sort | М.В. Архипова |
| collection | DOAJ |
| container_title | Труды Института системного программирования РАН |
| description | В статье исследуется проблема построения программ-тестов для модулей проверки статической семантики в компиляторах, рассматриваются существующие способы формального описания правил статической семантики языков программирования и обсуждаются причины, мешающие использованию существующих нотаций для решения задачи генерации семантически корректных программ-тестов.
Кроме того, предлагается собственный подход к описанию правил статической семантики языков программирования, удобный для построения семантически управляемого генератора программ–тестов. |
| format | Article |
| id | doaj-e1049483ca72499080e4ae6a0f61bf4d |
| institution | Directory of Open Access Journals |
| issn | 2079-8156 2220-6426 |
| language | English |
| publishDate | 2004-01-01 |
| publisher | Russian Academy of Sciences, Ivannikov Institute for System Programming |
| record_format | Article |
| spelling | doaj-e1049483ca72499080e4ae6a0f61bf4d2025-11-03T00:11:50ZengRussian Academy of Sciences, Ivannikov Institute for System ProgrammingТруды Института системного программирования РАН2079-81562220-64262004-01-01815976Генерация тестов для модулей проверки статической семантики в компиляторах.М.В. АрхиповаВ статье исследуется проблема построения программ-тестов для модулей проверки статической семантики в компиляторах, рассматриваются существующие способы формального описания правил статической семантики языков программирования и обсуждаются причины, мешающие использованию существующих нотаций для решения задачи генерации семантически корректных программ-тестов. Кроме того, предлагается собственный подход к описанию правил статической семантики языков программирования, удобный для построения семантически управляемого генератора программ–тестов.https://www.ispras.ru/en/proceedings/isp_2004_8_1/isp_2004_8_1_59/ |
| spellingShingle | М.В. Архипова Генерация тестов для модулей проверки статической семантики в компиляторах. |
| title | Генерация тестов для модулей проверки статической семантики в компиляторах. |
| title_full | Генерация тестов для модулей проверки статической семантики в компиляторах. |
| title_fullStr | Генерация тестов для модулей проверки статической семантики в компиляторах. |
| title_full_unstemmed | Генерация тестов для модулей проверки статической семантики в компиляторах. |
| title_short | Генерация тестов для модулей проверки статической семантики в компиляторах. |
| title_sort | генерация тестов для модулей проверки статической семантики в компиляторах |
| url | https://www.ispras.ru/en/proceedings/isp_2004_8_1/isp_2004_8_1_59/ |
| work_keys_str_mv | AT mvarhipova generaciâtestovdlâmodulejproverkistatičeskojsemantikivkompilâtorah |