<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "https://jats.nlm.nih.gov/publishing/1.3/JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xml:lang="ru">
  <front xmlns:xlink="http://www.w3.org/1999/xlink">
    <journal-meta>
      <journal-title-group>
        <journal-title>Computing, Telecommunication and Control</journal-title>
        <trans-title-group xml:lang="ru">
          <trans-title>Информатика, телекоммуникации и управление</trans-title>
        </trans-title-group>
      </journal-title-group>
      <issn pub-type="epub">2687-0517</issn>
    </journal-meta>
    <article-meta xmlns:xlink="http://www.w3.org/1999/xlink">
      <article-id pub-id-type="publisher-id">9</article-id>
      <title-group>
        <article-title>Approach to concurrent systems testing based on UCM specification</article-title>
        <trans-title-group xml:lang="ru">
          <trans-title>Подход к тестированию параллельных систем на основе UCM-спецификаций</trans-title>
        </trans-title-group>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <contrib-id contrib-id-type="orcid">0000-0003-1116-7765</contrib-id>
          <contrib-id contrib-id-type="scopus">56049610600</contrib-id>
          <name>
            <surname>Drobintsev</surname>
            <given-names>Pavel</given-names>
          </name>
          <xref ref-type="aff" rid="aff1"/>
          <email>drobintsev_pd@spbstu.ru</email>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Nikiforov</surname>
            <given-names>Igor</given-names>
          </name>
          <email>igor.nikiforov@gmail.com</email>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Voinov</surname>
            <given-names>Nikita</given-names>
          </name>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Kotlyarov</surname>
            <given-names>Vsevolod</given-names>
          </name>
          <xref ref-type="aff" rid="aff2"/>
          <email>vpk@spbstu.ru</email>
        </contrib>
      </contrib-group>
      <aff id="aff1">Peter the Great St. Petersburg Polytechnic University</aff>
      <aff id="aff2">Peter the Great St.Petersburg Polytechnic University</aff>
      <pub-date publication-format="electronic" date-type="pub" iso-8601-date="2014-06-10">
        <day>10</day>
        <month>06</month>
        <year>2014</year>
      </pub-date>
      <issue>3</issue>
      <issue-id pub-id-type="publisher-id">198</issue-id>
      <fpage>85</fpage>
      <lpage>91</lpage>
      <self-uri xmlns:xlink="http://www.w3.org/1999/xlink" content-type="pdf" xlink:href="https://infocom.spbstu.ru/userfiles/files/articles/2014/3/09.pdf"/>
      <abstract xml:lang="en">
        <p>The current paper presents an approach to testing of concurrent program systems based on UCM specifications usage. We have studied UCM constructions specifying multithreading system behavior. We have also described equivalent constructions using the language of basic protocols that is operated by test scenario generator. The approach to automated creation of test scenarios in MSC notation for multithreading systems has been shown. The described approach based on the analysis of concurrent threads allows us to obtain automatically verified test suites for testing concurrent distributed systems.</p>
      </abstract>
      <kwd-group xml:lang="en">
        <kwd>formal model</kwd>
        <kwd>thread synchronization</kwd>
        <kwd>parallel computing</kwd>
      </kwd-group>
    </article-meta>
  </front>
</article>
