<?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-00748710</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-17T19:06:14+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A practical model-based statistical approach for generating functional test cases: application in the automotive industry</title>
            <author role="aut">
              <persName>
                <forename type="first">Roy</forename>
                <surname>Awédikian</surname>
              </persName>
              <idno type="halauthorid">399252-0</idno>
              <affiliation ref="#struct-11769"/>
              <affiliation ref="#struct-217546"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Bernard</forename>
                <surname>Yannou</surname>
              </persName>
              <email type="md5">f5f87868e0018767af2f7585ce05e3da</email>
              <email type="domain">centralesupelec.fr</email>
              <idno type="idhal" notation="string">bernard-yannou</idno>
              <idno type="idhal" notation="numeric">2963</idno>
              <idno type="halauthorid" notation="string">30612-2963</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4511-4450</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=zqWPoIEAAAAJ</idno>
              <affiliation ref="#struct-11769"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Bernard</forename>
                <surname>Yannou</surname>
              </persName>
              <email type="md5">f5f87868e0018767af2f7585ce05e3da</email>
              <email type="domain">centralesupelec.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-03-18 22:36:02</date>
              <date type="whenModified">2023-05-04 08:00:38</date>
              <date type="whenReleased">2013-03-19 10:31:22</date>
              <date type="whenProduced">2012-08-28</date>
              <date type="whenEndEmbargoed">2013-03-18</date>
              <ref type="file" target="https://hal.science/hal-00748710v1/document">
                <date notBefore="2013-03-18"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00748710v1/file/STVR_AWEDIKIAN_YANNOU_Paper.pdf" id="file-748710-521171">
                <date notBefore="2013-03-18"/>
              </ref>
              <ref type="externalLink" target="https://api.istex.fr/document/A786B0A483056B2FD42D5802C5848054B5E8F46C/fulltext/pdf?sid=hal"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="109637">
                <persName>
                  <forename>Bernard</forename>
                  <surname>Yannou</surname>
                </persName>
                <email type="md5">f5f87868e0018767af2f7585ce05e3da</email>
                <email type="domain">centralesupelec.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00748710</idno>
            <idno type="halUri">https://hal.science/hal-00748710</idno>
            <idno type="halBibtex">awedikian:hal-00748710</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of Software Testing, Verification and Reliability&lt;/i&gt;, 2012, 24 (2), pp.85-123. &lt;a target="_blank" href="https://dx.doi.org/10.1002/stvr.1479"&gt;&amp;#x27E8;10.1002/stvr.1479&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Journal of Software Testing, Verification and Reliability, 2012, 24 (2), pp.85-123. &amp;#x27E8;10.1002/stvr.1479&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-748710-521171"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="EC-PARIS">Ecole Centrale Paris</idno>
            <idno type="stamp" n="LGI">Laboratoire Génie Industriel</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="LGI-IC" corresp="LGI">Equipe : Ingénierie de la Conception</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">A practical model-based statistical approach for generating functional test cases: application in the automotive industry</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Roy</forename>
                    <surname>Awédikian</surname>
                  </persName>
                  <idno type="halauthorid">399252-0</idno>
                  <affiliation ref="#struct-11769"/>
                  <affiliation ref="#struct-217546"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Bernard</forename>
                    <surname>Yannou</surname>
                  </persName>
                  <email type="md5">f5f87868e0018767af2f7585ce05e3da</email>
                  <email type="domain">centralesupelec.fr</email>
                  <idno type="idhal" notation="string">bernard-yannou</idno>
                  <idno type="idhal" notation="numeric">2963</idno>
                  <idno type="halauthorid" notation="string">30612-2963</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4511-4450</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=zqWPoIEAAAAJ</idno>
                  <affiliation ref="#struct-11769"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">19052</idno>
                <idno type="issn">0960-0833</idno>
                <idno type="eissn">1099-1689</idno>
                <title level="j">Journal of Software Testing, Verification and Reliability</title>
                <imprint>
                  <publisher>Wiley</publisher>
                  <biblScope unit="volume">24</biblScope>
                  <biblScope unit="issue">2</biblScope>
                  <biblScope unit="pp">85-123</biblScope>
                  <date type="datePub">2012-08-28</date>
                  <date type="dateEpub">2014-03-01</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1002/stvr.1479</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">automotive</term>
                <term xml:lang="en">embedded software</term>
                <term xml:lang="en">automation</term>
                <term xml:lang="en">statistical testing</term>
                <term xml:lang="en">model based</term>
                <term xml:lang="en">software testing</term>
              </keywords>
              <classCode scheme="halDomain" n="spi.auto">Engineering Sciences [physics]/Automatic</classCode>
              <classCode scheme="halDomain" n="info.info-au">Computer Science [cs]/Automatic Control Engineering</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>With the growing complexity of industrial software applications, industrials are looking for efficient and practical methods to validate the software. This paper develops a model-based statistical testing approach that automatically generates online and offline test cases for embedded software. It discusses an integrated framework that combines solutions for three major software testing research questions: (i) how to select test inputs; (ii) how to predict the expected results of a test; and (iii) when to stop testing software. The automatic selection of test inputs is based on a stochastic test model that accounts for the main particularity of embedded software: time sensitivity. Software test practitioners may design one or more test models when they generate random, user-oriented, or fault-oriented test inputs. A formal framework integrating existing and appropriate specification techniques was developed for the design of automated test oracles (executable software specifications) and the formal measurement of functional coverage. The decision to stop testing software is based on both test coverage objectives and cost constraints. This approach was tested on two representative case studies from the automotive industry. The experiment was performed at unit testing level in a simulated environment on a host personal computer (automatic test execution). The two software functionalities tested had previously been unit tested and validated using the test design approach conventionally used in the industry. Applying the proposed model-based statistical testing approach to these two case studies, we obtained significant improvements in performing functional unit testing in a real and complex industrial context: more bugs were detected earlier and in a shorter time.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-11769" status="OLD">
          <idno type="IdRef">148257844</idno>
          <idno type="RNSR">199814131Y</idno>
          <orgName>Laboratoire Génie Industriel - EA 2606</orgName>
          <orgName type="acronym">LGI</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>CentraleSupélec - Bâtiment Bouygues3 rue Joliot Curie91190 GIF-SUR-YVETTE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lgi.ecp.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-411575" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-217546" status="INCOMING">
          <orgName>Johnson Controls Automotive Electronics - Electronics Division Europe</orgName>
          <orgName type="acronym">JCAE</orgName>
          <desc>
            <address>
              <addrLine>Parc Saint Christophe 95892 Cergy Pontoise Cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-353048" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-353048" status="INCOMING">
          <orgName>Johnson Controls Automotive Electronics</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>