Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов.
В статье исследуются вопросы функционального тестирования программных систем в условиях неполной информации. Неполнота информации рассматривается в двух аспектах: статическом, связанном с неполнотой функциональных требований, по которым разрабатываются спецификации и тесты, и динамическом, связанном...
| Published in: | Труды Института системного программирования РАН |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Published: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2006-01-01
|
| Online Access: | https://www.ispras.ru/en/proceedings/isp_10_2006/isp_10_2006_143/ |
| _version_ | 1848651723342610432 |
|---|---|
| author | А.С. Камкин |
| author_facet | А.С. Камкин |
| author_sort | А.С. Камкин |
| collection | DOAJ |
| container_title | Труды Института системного программирования РАН |
| description | В статье исследуются вопросы функционального тестирования программных систем в условиях неполной информации. Неполнота информации рассматривается в двух аспектах: статическом, связанном с неполнотой функциональных требований, по которым разрабатываются спецификации и тесты, и динамическом, связанном с неполнотой информации о состоянии целевой системы в процессе тестирования. В работе предлагается подход к разработке функциональных спецификаций и генерации функциональных тестов, основанный на использовании неопределенных значений для моделирования состояния целевой системы, а также трехзначной логики Клини для работы с неполными требованиями и описания свойств системы. В качестве базовой технологии используется технология тестирования UniTESK. |
| format | Article |
| id | doaj-e1d1f0defa994617902adeca2f5064d6 |
| institution | Directory of Open Access Journals |
| issn | 2079-8156 2220-6426 |
| language | English |
| publishDate | 2006-01-01 |
| publisher | Russian Academy of Sciences, Ivannikov Institute for System Programming |
| record_format | Article |
| spelling | doaj-e1d1f0defa994617902adeca2f5064d62025-11-03T00:17:03ZengRussian Academy of Sciences, Ivannikov Institute for System ProgrammingТруды Института системного программирования РАН2079-81562220-64262006-01-0110143166Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов.А.С. КамкинВ статье исследуются вопросы функционального тестирования программных систем в условиях неполной информации. Неполнота информации рассматривается в двух аспектах: статическом, связанном с неполнотой функциональных требований, по которым разрабатываются спецификации и тесты, и динамическом, связанном с неполнотой информации о состоянии целевой системы в процессе тестирования. В работе предлагается подход к разработке функциональных спецификаций и генерации функциональных тестов, основанный на использовании неопределенных значений для моделирования состояния целевой системы, а также трехзначной логики Клини для работы с неполными требованиями и описания свойств системы. В качестве базовой технологии используется технология тестирования UniTESK.https://www.ispras.ru/en/proceedings/isp_10_2006/isp_10_2006_143/ |
| spellingShingle | А.С. Камкин Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов. |
| title | Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов. |
| title_full | Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов. |
| title_fullStr | Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов. |
| title_full_unstemmed | Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов. |
| title_short | Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов. |
| title_sort | тестирование в условиях неполной информации подход к разработке спецификаций и генерации тестов |
| url | https://www.ispras.ru/en/proceedings/isp_10_2006/isp_10_2006_143/ |
| work_keys_str_mv | AT askamkin testirovanievusloviâhnepolnojinformaciipodhodkrazrabotkespecifikacijigeneraciitestov |