<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">mireabulletin</journal-id><journal-title-group><journal-title xml:lang="ru">Russian Technological Journal</journal-title><trans-title-group xml:lang="en"><trans-title>Russian Technological Journal</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">2782-3210</issn><issn pub-type="epub">2500-316X</issn><publisher><publisher-name>RTU MIREA</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.32362/2500-316X-2017-5-4-3-12</article-id><article-id custom-type="elpub" pub-id-type="custom">mireabulletin-74</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>ИНФОРМАЦИОННЫЕ СИСТЕМЫ. ИНФОРМАТИКА. ПРОБЛЕМЫ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>INFORMATION SYSTEMS. COMPUTER SCIENCES. ISSUES OF INFORMATION SECURITY</subject></subj-group></article-categories><title-group><article-title>ИТЕРАЦИОННЫЙ ПОДХОД К ПОВЫШЕНИЮ КАЧЕСТВА ТЕСТИРОВАНИЯ ПРОГРАММ</article-title><trans-title-group xml:lang="en"><trans-title>ITERATIVE APPROACH TO INCREASING QUALITY OF PROGRAMS TESTING</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Басок</surname><given-names>Б. М.</given-names></name><name name-style="western" xml:lang="en"><surname>Basok</surname><given-names>B. M.</given-names></name></name-alternatives><email xlink:type="simple">basok@mirea.ru</email><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Захаров</surname><given-names>В. Н.</given-names></name><name name-style="western" xml:lang="en"><surname>Zakharov</surname><given-names>V. N.</given-names></name></name-alternatives><email xlink:type="simple">noemail@neicon.ru</email><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Френкель</surname><given-names>С. Л.</given-names></name><name name-style="western" xml:lang="en"><surname>Frenkel</surname><given-names>S. L.</given-names></name></name-alternatives><email xlink:type="simple">noemail@neicon.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>Московский технологический университет (МИРЭА); Федеральный исследовательский центр «Информатика и управление» Российской академии наук (ФИЦ ИУ РАН)</institution><country>Россия</country></aff><aff xml:lang="en"><institution>Moscow Technological University (MIREA); Federal Research Center «Computer Science and Control» of the Russian Academy of Sciences</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2017</year></pub-date><pub-date pub-type="epub"><day>28</day><month>08</month><year>2017</year></pub-date><volume>5</volume><issue>4</issue><fpage>3</fpage><lpage>12</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Басок Б.М., Захаров В.Н., Френкель С.Л., 2017</copyright-statement><copyright-year>2017</copyright-year><copyright-holder xml:lang="ru">Басок Б.М., Захаров В.Н., Френкель С.Л.</copyright-holder><copyright-holder xml:lang="en">Basok B.M., Zakharov V.N., Frenkel S.L.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://www.rtj-mirea.ru/jour/article/view/74">https://www.rtj-mirea.ru/jour/article/view/74</self-uri><abstract><p>В статье рассмотрена задача повышения качества тестирования программных средств. Обобщение существующих методов синтеза тестов показало, что они не всегда гарантируют приемлемую полноту тестирования. Поэтому в настоящей работе предложен подход к разработке дополнительных тестов, который основан на анализе базы данных ошибок и возможностей программистов и тестеров. Он не требует знания программного кода и может использоваться при тестировании методом «черного ящика». Обсуждаются основные типы занесенных в базу данных ошибок, уровень их влияния на программный продукт, время, затраченное на их обнаружение и исправление. По результатам анализа ошибок выбираются функции программы, подлежащие дополнительному тестированию. Дополнительные тесты должны подтвердить или опровергнуть вывод о достаточной полноте тестирования функций программы традиционными методами. При выбранном подходе последовательность циклов системного тестирования программных средств рассматривается как итерационный процесс выявления возможных программных ошибок, в рамках которого построение новых сегментов тестов выполняется по результатам предыдущих циклов. Приведены некоторые практические результаты, полученные при использовании рассматриваемого подхода. Обсуждаются пути дальнейшего развития исследований в данном направлении.</p></abstract><trans-abstract xml:lang="en"><p>The article deals with the problem of improving the quality of applied software (AS) testing. This testing begins with the pre-alpha version and ends at the stage of acceptance testing of the AS. This period includes the process of multiple execution of designed and developed system tests of AS, and includes additional analysis of the program in other ways. We refer to the testing process for a given period of time as a testing cycle (TC), which is usually implemented using the "black box" method without the tester's access to the program code. An analysis of existing methods of tests synthesis showed that these methods not always guarantee an acceptable completeness of testing. Therefore, in this paper we propose an approach to the development of additional tests, based on the analysis of the database of errors (DB) and the capabilities of programmers and testers. These additional tests should confirm or disprove the conclusions about the sufficient completeness of the testing of AS functions during the TC. The work analyzes the types of errors recorded in the database, the level of their influence on the AS, the time spent on their detection and correction. Based on the results of the error analysis, the AS functions that are subject to additional testing are selected. In this approach, the sequence of TC is considered as an iterative process of identifying possible program errors, in which new segments of tests are constructed according to the results of previous cycles. The article gives some practical results obtained in accordance with the proposed methodology and outlines new directions in the study of the effectiveness of AS testing.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>база данных ошибок</kwd><kwd>дополнительные тесты</kwd><kwd>цикл системного тестирования</kwd></kwd-group><kwd-group xml:lang="en"><kwd>the database of errors</kwd><kwd>additional tests</kwd><kwd>testing cycle</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Басок Б.М., Красовский В.Е. Тестирование программного обеспечения. М.:МИРЭА, 2010. 120 с.</mixed-citation><mixed-citation xml:lang="en">Басок Б.М., Красовский В.Е. Тестирование программного обеспечения. М.:МИРЭА, 2010. 120 с.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Куликов С.А. Тестирование программного обеспечения. Базовый курс. [Электронный ресурс]. - URL: http://svyatoslav.biz/software_testing_book/ (дата обращения:26.06.2017).</mixed-citation><mixed-citation xml:lang="en">Куликов С.А. Тестирование программного обеспечения. Базовый курс. [Электронный ресурс]. - URL: http://svyatoslav.biz/software_testing_book/ (дата обращения:26.06.2017).</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Технология разработки программного обеспечения // Журнал информационных технологий. IT-технологии. C. 16. [Электронный ресурс]. URL: http://www.irkinfo.ru/tekhnologiya-razrabotki- programmnogo-obespecheniya-str16.html / (дата обращения:28.06.2017).</mixed-citation><mixed-citation xml:lang="en">Технология разработки программного обеспечения // Журнал информационных технологий. IT-технологии. C. 16. [Электронный ресурс]. URL: http://www.irkinfo.ru/tekhnologiya-razrabotki- programmnogo-obespecheniya-str16.html / (дата обращения:28.06.2017).</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Кулямин В.В., Петренко А.К., Косачев А.С., Бурдонов И.Б. Подход UniTesK к разработке тестов // Программирование. 2003. № 6. C. 25-43.</mixed-citation><mixed-citation xml:lang="en">Кулямин В.В., Петренко А.К., Косачев А.С., Бурдонов И.Б. Подход UniTesK к разработке тестов // Программирование. 2003. № 6. C. 25-43.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Петренко А.К., Кулямин В.В., Хорошилов А.В. Об интеграции формальных методов в задачах верификации операционных систем // Труды ИСП РАН. 2015. Т. 27. Вып. 5. С. 175-190.</mixed-citation><mixed-citation xml:lang="en">Петренко А.К., Кулямин В.В., Хорошилов А.В. Об интеграции формальных методов в задачах верификации операционных систем // Труды ИСП РАН. 2015. Т. 27. Вып. 5. С. 175-190.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Шалыто А.А., Туккель Н.И. Switch-технология - автоматный подход к созданию программного обеспечения «реактивных» систем // Программирование. 2001. № 5. С. 46-62.</mixed-citation><mixed-citation xml:lang="en">Шалыто А.А., Туккель Н.И. Switch-технология - автоматный подход к созданию программного обеспечения «реактивных» систем // Программирование. 2001. № 5. С. 46-62.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Landsberg D., Chockler H., Kroening D., Lewis M. Evaluation of measures for statistical fault localisation and an optimising scheme // Fundamental Approaches to Software Engineering : 18th Int. Conf., FASE 2015. 2015/3/31. P. 115-129. [Электронный ресурс]. URL: Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme http://dblp.uni-trier.de/db/conf/fase/fase2015 (дата обращения: 28.06.2017).</mixed-citation><mixed-citation xml:lang="en">Landsberg D., Chockler H., Kroening D., Lewis M. Evaluation of measures for statistical fault localisation and an optimising scheme // Fundamental Approaches to Software Engineering : 18th Int. Conf., FASE 2015. 2015/3/31. P. 115-129. [Электронный ресурс]. URL: Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme http://dblp.uni-trier.de/db/conf/fase/fase2015 (дата обращения: 28.06.2017).</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Басок Б.М., Гречин А.А. Об усовершенствовании статистического метода оценки полноты тестов программ и устройств // Инструменты и методы анализа программ: Труды Междунар. науч.-практ. конф. Кострома, 2013. С. 40-45.</mixed-citation><mixed-citation xml:lang="en">Басок Б.М., Гречин А.А. Об усовершенствовании статистического метода оценки полноты тестов программ и устройств // Инструменты и методы анализа программ: Труды Междунар. науч.-практ. конф. Кострома, 2013. С. 40-45.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Wei J., Thomas A., Li G., Pattabiraman K. Quantifying the accuracy of high-level fault injection techniques for hardware faults / In: 44th IEEE/IFIP Int. Conf. on Dep. Sys. &amp; Netw. (DSN ’14). IEEE, June 13, 2014. P. 375-382.</mixed-citation><mixed-citation xml:lang="en">Wei J., Thomas A., Li G., Pattabiraman K. Quantifying the accuracy of high-level fault injection techniques for hardware faults / In: 44th IEEE/IFIP Int. Conf. on Dep. Sys. &amp; Netw. (DSN ’14). IEEE, June 13, 2014. P. 375-382.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Harman M., Jia Y., Langdon W.B. A Manifesto for higher order mutation testing // Third Int. Conf. on Software Testing, Verification, and Validation Workshops (ICSTW), 2010. April 6-10, 2010. P. 80-89.</mixed-citation><mixed-citation xml:lang="en">Harman M., Jia Y., Langdon W.B. A Manifesto for higher order mutation testing // Third Int. Conf. on Software Testing, Verification, and Validation Workshops (ICSTW), 2010. April 6-10, 2010. P. 80-89.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
