Коварцев, А. Н.     Автоматизация разработки и тестирования программных средств [Text] : монография / А. Н. Коварцев. - Самара : [s. n.], 1999. - 149 с. : ил. - ^aБиблиогр.:с.146-149 (59 назв.). - ISBN 5-7883-0073-8 : Б. ц. В надзаг.:Самар.гос.аэрокосм.ун-т им.С.П.Королева. ГРНТИ ^a50.41 УДК ^a004.415.2'22 ^a004.415.53 Рубрики: Математическое обеспечение ЭВМ    Программы-тесты для ЭВМ Свободных экз. нет

Worwa, K.     Modelowanie i ocena wzrostu niezawodnosci oprogramowania w procesie testowania [Text] : материал технической информации / K. Worwa. - Warszawa : [s. n.], 2000. - 179 s. : il. - (Elektronika:Prace naukowe / Politech.Warszawska, ISSN 0137-2343 ; z.124). - ^aРез.англ. Библиогр.:с.172-178. - Б. ц. ГРНТИ ^a50.41 УДК ^a004.415.53 Рубрики: Программы-тесты для ЭВМ Свободных экз. нет

Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения [Text] : препринт / В. П. Иванников [и др.]. - М., 2005. - 26 с. : ил. - (Препринт ; 8(2005)). - ^aБиблиогр.: с. 25-26(17 назв.). - Б. ц. Перевод заглавия: ^aUniTesk technology use for functional testing of hardware models^ePreprint     Содержание:    Перевод заглавия: ^aUniTesk technology use for functional testing of hardware models^ePreprint ГРНТИ ^a50.01.81 УДК ^a004.052.32(04) Рубрики: Программы-тесты для ЭВМ См. : МБА/ЭДД Доп.точки доступа: Иванников, В.П.; Камкин, А.С.; Кулямин , В.В.; Петренко, А.К. Свободных экз. нет

Диянкова, Е. В.     Одномерные численные эксперименты для тестирования программы ЕМС2D [Text] : препринт / Е. В. Диянкова, П. В. Петров. - Снежинск, 1996. - 15 с. : ил. - (Препринт ; N99). - Б. ц. Перевод заглавия: ^aOne-dimensional numerical experiments for EMC2D program testing    Перевод заглавия: ^aOne-dimensional numerical experiments for EMC2D program testing ГРНТИ ^a45.03.05 УДК ^a533.9.072(04) ^a621.3.013.001.2-52(04) Рубрики: Плазма    Электромагнитное поле    Программы-тесты для ЭВМ Доп.точки доступа: Петров, П.В. Свободных экз. нет

Lilja, D. J. University of Minnesota(Minneapolis,Mn).Supercomputer institute.     A data parallel implementation of the TRFD program from the Perfect benchmarks [Text] : монография / D. J. Lilja, J. Schmitt ; University of Minnesota(Minneapolis,Mn).Supercomputer institute. - Minneapolis(Mn) : [s. n.], 1994. - 9 p. - (UMSI research report;94/84 / Univ.of Minnesota). - Б. ц. ; Библиогр.:с.9 ГРНТИ ^a50.41 УДК ^a681.326.7.066 Рубрики: <Программы>-<тесты> для <ЭВМ> Доп.точки доступа: Schmitt, J. Свободных экз. нет

Romijn, J. M.T.     Exploiting symmetry in protocol testing [Text] : сборник научных трудов / J. M.T. Romijn, J. G. Springintveld. - Amsterdam : [s. n.], 1999. - 83 p. : ill. - (Report:Software engineering / Centrum voor wiskunde en informatica(Amsterdam), ISSN 1386-369X ; SEN-R9918). - ^aБиблиогр.:с.26-28. - Б. ц. ГРНТИ ^a50.41 УДК ^a004.415.53 Рубрики: Программы-тесты для ЭВМ Доп.точки доступа: Springintveld, J.G. Свободных экз. нет

Latvakoski, J.     Integration test automation of embedded communication software [Text] : сборник научных трудов / J. Latvakoski. - Espoo : [s. n.], 1997. - Pag.var. : ill. - (Publications / Valtion teknillinen tutkimuskeskus(Helsinki), ISSN 1235-0621 ; 318). - ^aБиблиогр.: c.88-97. - ISBN 951-38-5070-6 : Б. ц. ГРНТИ ^a50.05.13 УДК ^a004.415.533 ^a621.391.1-52 Рубрики: <Программы>-<тесты> для <ЭВМ>    <Системы> <связи> Свободных экз. нет