Генерация тестовых программ для микропроцессоров.
В работе описывается подход к автоматической генерации тестовых программ, предназначенный для систематичного функционального тестирования микропроцессоров. Предлагаемый подход дополняет такие широко распространенные на практике методы, как тестирование с помощью существующего программного обеспечени...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2008-01-01
|
| Series: | Труды Института системного программирования РАН |
| Online Access: | https://www.ispras.ru/en/proceedings/isp_2008_14_2/isp_2008_14_2_23/ |
| _version_ | 1818128484021567488 |
|---|---|
| author | А.С. Камкин |
| author_facet | А.С. Камкин |
| author_sort | А.С. Камкин |
| collection | DOAJ |
| description | В работе описывается подход к автоматической генерации тестовых программ, предназначенный для систематичного функционального тестирования микропроцессоров. Предлагаемый подход дополняет такие широко распространенные на практике методы, как тестирование с помощью существующего программного обеспечения и тестирование с помощью случайных программ. Генерация тестовых программ осуществляется на основе модели микропроцессора, включающей в себя структурную модель микропроцессора и модель системы команд. Цель генерации задается с помощью критерия тестового покрытия, выделяющего набор тестовых ситуаций для каждой инструкции микропроцессора. Помимо описания методики генерации тестовых программ в статье также описывается устройство генератора, реализующего эту методику, и опыт его использования для тестирования микропроцессоров. |
| first_indexed | 2024-12-11T07:33:59Z |
| format | Article |
| id | doaj.art-0524ccce0dd244adaff23161a79d220e |
| institution | Directory Open Access Journal |
| issn | 2079-8156 2220-6426 |
| language | English |
| last_indexed | 2024-12-11T07:33:59Z |
| publishDate | 2008-01-01 |
| publisher | Ivannikov Institute for System Programming of the Russian Academy of Sciences |
| record_format | Article |
| series | Труды Института системного программирования РАН |
| spelling | doaj.art-0524ccce0dd244adaff23161a79d220e2022-12-22T01:15:45ZengIvannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262008-01-011422364Генерация тестовых программ для микропроцессоров.А.С. КамкинВ работе описывается подход к автоматической генерации тестовых программ, предназначенный для систематичного функционального тестирования микропроцессоров. Предлагаемый подход дополняет такие широко распространенные на практике методы, как тестирование с помощью существующего программного обеспечения и тестирование с помощью случайных программ. Генерация тестовых программ осуществляется на основе модели микропроцессора, включающей в себя структурную модель микропроцессора и модель системы команд. Цель генерации задается с помощью критерия тестового покрытия, выделяющего набор тестовых ситуаций для каждой инструкции микропроцессора. Помимо описания методики генерации тестовых программ в статье также описывается устройство генератора, реализующего эту методику, и опыт его использования для тестирования микропроцессоров.https://www.ispras.ru/en/proceedings/isp_2008_14_2/isp_2008_14_2_23/ |
| spellingShingle | А.С. Камкин Генерация тестовых программ для микропроцессоров. Труды Института системного программирования РАН |
| title | Генерация тестовых программ для микропроцессоров. |
| title_full | Генерация тестовых программ для микропроцессоров. |
| title_fullStr | Генерация тестовых программ для микропроцессоров. |
| title_full_unstemmed | Генерация тестовых программ для микропроцессоров. |
| title_short | Генерация тестовых программ для микропроцессоров. |
| title_sort | генерация тестовых программ для микропроцессоров |
| url | https://www.ispras.ru/en/proceedings/isp_2008_14_2/isp_2008_14_2_23/ |
| work_keys_str_mv | AT askamkin generaciâtestovyhprogrammdlâmikroprocessorov |