Использование свойств мутационных автоматов для минимизации проверяющих тестов
| Parent link: | Программирование: научный журнал/ Российская академия наук (РАН).— , 1975- Т. 38, № 4.— 2012.— [С. 17-28] |
|---|---|
| Päätekijä: | |
| Yhteisötekijä: | |
| Muut tekijät: | , |
| Yhteenveto: | Заглавие с экрана В статье предлагается усовершенствование метода построения полных проверяющих тестов для конечных автоматов относительно класса неисправностей, представленного множеством всех полностью определенных детерминированных подавтоматов специального мутационного автомата, число состояний которого может быть больше числа состояний в эталонном автомате. Идея метода заключается в использовании информации об известной части мутационного автомата, за счет чего в ряде случаев исчезает экспоненциальная зависимость длины проверяющего теста от разности числа состояний проверяемого и эталонного автоматов. Экспериментально показано, что для случайно сгенерированных автоматов длина теста, построенного предложенным методом, пропорциональна произведению числа состояний мутационного автомата на число переходов, подлежащих проверке. Режим доступа: по договору с организацией-держателем ресурса |
| Julkaistu: |
2012
|
| Aiheet: | |
| Linkit: | http://elibrary.ru/item.asp?id=18126553 |
| Aineistotyyppi: | Elektroninen Kirjan osa |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641313 |
MARC
| LEADER | 00000naa0a2200000 4500 | ||
|---|---|---|---|
| 001 | 641313 | ||
| 005 | 20250326150110.0 | ||
| 035 | |a (RuTPU)RU\TPU\network\6213 | ||
| 035 | |a RU\TPU\network\6060 | ||
| 090 | |a 641313 | ||
| 100 | |a 20150515d2012 k||y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 135 | |a drcn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Использование свойств мутационных автоматов для минимизации проверяющих тестов |f К. Эль-Факи, Н. Евтушенко, М. Ю. Дорофеева | |
| 203 | |a Текст |c электронный | ||
| 300 | |a Заглавие с экрана | ||
| 320 | |a [Библиогр.: с. 28 (16 назв.)] | ||
| 330 | |a В статье предлагается усовершенствование метода построения полных проверяющих тестов для конечных автоматов относительно класса неисправностей, представленного множеством всех полностью определенных детерминированных подавтоматов специального мутационного автомата, число состояний которого может быть больше числа состояний в эталонном автомате. Идея метода заключается в использовании информации об известной части мутационного автомата, за счет чего в ряде случаев исчезает экспоненциальная зависимость длины проверяющего теста от разности числа состояний проверяемого и эталонного автоматов. Экспериментально показано, что для случайно сгенерированных автоматов длина теста, построенного предложенным методом, пропорциональна произведению числа состояний мутационного автомата на число переходов, подлежащих проверке. | ||
| 333 | |a Режим доступа: по договору с организацией-держателем ресурса | ||
| 461 | |t Программирование |o научный журнал |f Российская академия наук (РАН) |d 1975- | ||
| 463 | |t Т. 38, № 4 |v [С. 17-28] |d 2012 | ||
| 610 | 1 | |a электронный ресурс | |
| 610 | 1 | |a труды учёных ТПУ | |
| 610 | 1 | |a мутационные автоматы | |
| 610 | 1 | |a тесты | |
| 700 | 1 | |a Эль-Факи |b К. | |
| 701 | 1 | |a Евтушенко |b Н. | |
| 701 | 1 | |a Дорофеева |b М. Ю. |c специалист в области информатики и вычислительной техники |c программист Томского политехнического университета, кандидат технических наук |c директор центра организации и мониторинга образовательной деятельности |f 1979- |g Маргарита Юрьевна |3 (RuTPU)RU\TPU\pers\31100 |9 15329 | |
| 712 | 0 | 2 | |a Национальный исследовательский Томский политехнический университет (ТПУ) |b Институт электронного обучения (ИнЭО) |b Кафедра технологий и педагогики электронного обучения (ТПЭО) |3 (RuTPU)RU\TPU\col\20233 |
| 801 | 2 | |a RU |b 63413507 |c 20150515 |g RCR | |
| 856 | 4 | |u http://elibrary.ru/item.asp?id=18126553 | |
| 942 | |c CF | ||