<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-03878473</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-25T10:31:01+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Back-to-Back Testing : méthodes formelles pour maîtriser la conformité des implémentations logicielles</title>
            <author role="aut">
              <persName>
                <forename type="first">Guignard</forename>
                <surname>Anaïs</surname>
              </persName>
              <email type="md5">0185ecca93d77aaca128a7bdeab99afb</email>
              <email type="domain">systerel.fr</email>
              <idno type="idhal" notation="numeric">1196592</idno>
              <idno type="halauthorid" notation="string">2662674-1196592</idno>
              <affiliation ref="#struct-302287"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alain</forename>
                <surname>Ourghanlian</surname>
              </persName>
              <email type="md5">a13560bc34496fe2fa99bb4e358e7377</email>
              <email type="domain">edf.fr</email>
              <idno type="idhal" notation="string">alain-ourghanlian</idno>
              <idno type="idhal" notation="numeric">1219191</idno>
              <idno type="halauthorid" notation="string">1410796-1219191</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2082-6008</idno>
              <affiliation ref="#struct-528451"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Niguez</forename>
                <surname>Julien</surname>
              </persName>
              <email type="md5">061db973437e2db41779b62e0513fbe7</email>
              <email type="domain">systerel.fr</email>
              <idno type="idhal" notation="numeric">1196594</idno>
              <idno type="halauthorid" notation="string">2662675-1196594</idno>
              <affiliation ref="#struct-206512"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nicolas</forename>
                <forename type="middle">Systerel</forename>
                <surname>Breton</surname>
              </persName>
              <email type="md5">1ddc4b6d3bb173f9b3125abf9d7f65ce</email>
              <email type="domain">systerel.fr</email>
              <idno type="idhal" notation="numeric">1110302</idno>
              <idno type="halauthorid" notation="string">2662676-1110302</idno>
              <affiliation ref="#struct-206512"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Vincent</forename>
                <surname>Pouzol</surname>
              </persName>
              <email type="md5">878a9da034d3602b9fc52065b8bf3523</email>
              <email type="domain">systerel.fr</email>
              <idno type="idhal" notation="numeric">1196595</idno>
              <idno type="halauthorid" notation="string">2662677-1196595</idno>
              <affiliation ref="#struct-302287"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Manon</forename>
                <surname>RAGUENET</surname>
              </persName>
              <email type="md5">6a0416baa7d6c42c2a2f65841cc26d17</email>
              <email type="domain">imdr.eu</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2022-11-29 18:38:25</date>
              <date type="whenModified">2025-12-18 16:20:03</date>
              <date type="whenReleased">2022-12-16 13:06:42</date>
              <date type="whenProduced">2022-10-11</date>
              <date type="whenEndEmbargoed">2022-11-29</date>
              <ref type="file" target="https://hal.science/hal-03878473v1/document">
                <date notBefore="2022-11-29"/>
              </ref>
              <ref type="file" subtype="greenPublisher" n="1" target="https://hal.science/hal-03878473v1/file/1B%20-%20Back-to-Back%20Testing%20%20me%CC%81thodes%20formelles%20pour%20mai%CC%82triser%20la%20conformite%CC%81%20des%20imple%CC%81mentations%20logiciels.pdf" id="file-3878473-3390970">
                <date notBefore="2022-11-29"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="718763">
                <persName>
                  <forename>Manon</forename>
                  <surname>RAGUENET</surname>
                </persName>
                <email type="md5">6a0416baa7d6c42c2a2f65841cc26d17</email>
                <email type="domain">imdr.eu</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03878473</idno>
            <idno type="halUri">https://hal.science/hal-03878473</idno>
            <idno type="halBibtex">anais:hal-03878473</idno>
            <idno type="halRefHtml">&lt;i&gt;Congrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques&lt;/i&gt;, Oct 2022, Paris Saclay, France</idno>
            <idno type="halRef">Congrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2022, Paris Saclay, France</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3878473-3390970"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="EDF">EDF</idno>
            <idno type="stamp" n="IMDR">Documentation de l’Institut pour la Maîtrise des Risques</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Back-to-Back Testing : méthodes formelles pour maîtriser la conformité des implémentations logicielles</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Guignard</forename>
                    <surname>Anaïs</surname>
                  </persName>
                  <email type="md5">0185ecca93d77aaca128a7bdeab99afb</email>
                  <email type="domain">systerel.fr</email>
                  <idno type="idhal" notation="numeric">1196592</idno>
                  <idno type="halauthorid" notation="string">2662674-1196592</idno>
                  <affiliation ref="#struct-302287"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alain</forename>
                    <surname>Ourghanlian</surname>
                  </persName>
                  <email type="md5">a13560bc34496fe2fa99bb4e358e7377</email>
                  <email type="domain">edf.fr</email>
                  <idno type="idhal" notation="string">alain-ourghanlian</idno>
                  <idno type="idhal" notation="numeric">1219191</idno>
                  <idno type="halauthorid" notation="string">1410796-1219191</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2082-6008</idno>
                  <affiliation ref="#struct-528451"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Niguez</forename>
                    <surname>Julien</surname>
                  </persName>
                  <email type="md5">061db973437e2db41779b62e0513fbe7</email>
                  <email type="domain">systerel.fr</email>
                  <idno type="idhal" notation="numeric">1196594</idno>
                  <idno type="halauthorid" notation="string">2662675-1196594</idno>
                  <affiliation ref="#struct-206512"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nicolas</forename>
                    <forename type="middle">Systerel</forename>
                    <surname>Breton</surname>
                  </persName>
                  <email type="md5">1ddc4b6d3bb173f9b3125abf9d7f65ce</email>
                  <email type="domain">systerel.fr</email>
                  <idno type="idhal" notation="numeric">1110302</idno>
                  <idno type="halauthorid" notation="string">2662676-1110302</idno>
                  <affiliation ref="#struct-206512"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Vincent</forename>
                    <surname>Pouzol</surname>
                  </persName>
                  <email type="md5">878a9da034d3602b9fc52065b8bf3523</email>
                  <email type="domain">systerel.fr</email>
                  <idno type="idhal" notation="numeric">1196595</idno>
                  <idno type="halauthorid" notation="string">2662677-1196595</idno>
                  <affiliation ref="#struct-302287"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Congrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques</title>
                  <date type="start">2022-10-11</date>
                  <settlement>Paris Saclay</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="fr">systèmes critiques</term>
                <term xml:lang="fr">validation</term>
                <term xml:lang="fr">vérification</term>
                <term xml:lang="fr">preuve formelle</term>
              </keywords>
              <classCode scheme="halDomain" n="spi">Engineering Sciences [physics]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="fr">
              <p>Le Back-to-Back Testing (B2BT) décrit un procédé qui permet de générer automatiquement à l'aide de méthodes formelles un ensemble de séquences de test à partir d'un modèle. Ces séquences caractérisent le comportement observable du modèle. Pour chaque pas de test, elles décrivent les entrées et sorties du modèle, les sorties étant calculées en fonction des entrées et de l'état du programme. Ces séquences sont ensuite mises en oeuvre sur un banc afin de confirmer qu'une implémentation matérielle et/ou logicielle est conforme au modèle initial. Ces séquences sont construites de manière à détecter les mutations qui modifieraient le comportement observable du modèle. Comme pour toute stratégie de tests, un certain nombre d'indicateurs de couverture sont définis par l'approche B2BT. Des premiers essais industriels, en partenariat avec EDF, sont en train d'être menés.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-302287" status="VALID">
          <orgName>Systerel</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-528451" status="VALID">
          <orgName>Performance, Risque Industriel, Surveillance pour la Maintenance et l’Exploitation</orgName>
          <orgName type="acronym">EDF R&amp;D PRISME</orgName>
          <desc>
            <address>
              <addrLine>6 quai Watier, 78401, Chatou CEDEX, France</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-528389" type="direct"/>
            <relation active="#struct-302313" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-206512" status="VALID">
          <orgName>Systerel</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-302287" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-528389" status="VALID">
          <orgName>EDF R&amp;D</orgName>
          <orgName type="acronym">EDF R&amp;D</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.edf.fr/groupe-edf/qui-sommes-nous/activites/recherche-et-developpement</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302313" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-302313" status="VALID">
          <idno type="IdRef">026436965</idno>
          <idno type="ISNI">0000000122985443</idno>
          <idno type="ROR">https://ror.org/03wb8xz10</idno>
          <idno type="Wikidata">Q274591</idno>
          <orgName>EDF – Électricité de France</orgName>
          <orgName type="acronym">EDF [E.D.F.]</orgName>
          <date type="start">1946-04-08</date>
          <desc>
            <address>
              <addrLine>22-30 – 22 avenue de Wagram – 75008 Paris – France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.edf.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>