Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

The System Verification Breakdown Method

Identifieur interne : 002015 ( Istex/Curation ); précédent : 002014; suivant : 002016

The System Verification Breakdown Method

Auteurs : Cássio Henrique Mendonça [Brésil]

Source :

RBID : ISTEX:8BF2B7C3D656FAD95902900929C35EBA4245A669

Abstract

Abstract: High integrated and complex systems are more and more scattered and common in people lives. Even without the exact feeling of this means, they hope for the best product. This desire implicate in system manufactures improve knowledge and create solutions with more advanced technologies to satisfy consumers expectations. Verification have been done at the end of process development, but it have resulted in difficulties to manufacturers because is very expansive and hard to implement any required modifications at this point of development process. Thus, many manufactures have started verification process at begin of development, decreasing erroneous implementations. This paper is intended to show an intuitive method possible to apply in any cases, using block diagrams, that assists generate test cases procedures, since when development starts, making relationship among system interfaces, subsystems and functions, enabling tests traceability and tests coverage analysis. In cases where manufacturer develops same kind of products, the block diagram will be easily reused to a new one, including or removing systems, subsystems and functions, adapting it to new features and project requirements. The propose is starting developments doing the things right earlier as possible.

Url:
DOI: 10.1007/978-1-84628-976-7_8

Links toward previous steps (curation, corpus...)


Links to Exploration step

ISTEX:8BF2B7C3D656FAD95902900929C35EBA4245A669

Le document en format XML

<record>
<TEI wicri:istexFullTextTei="biblStruct">
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="en">The System Verification Breakdown Method</title>
<author>
<name sortKey="Mendonca, Cassio Henrique" sort="Mendonca, Cassio Henrique" uniqKey="Mendonca C" first="Cássio Henrique" last="Mendonça">Cássio Henrique Mendonça</name>
<affiliation wicri:level="1">
<mods:affiliation>INPE - Instituto Nacional de Pesquisas Espaciais, Av. dos Astronautas, 1758 - Jd. da Granja, São José dos Campos - SP, Brazil</mods:affiliation>
<country xml:lang="fr">Brésil</country>
<wicri:regionArea>INPE - Instituto Nacional de Pesquisas Espaciais, Av. dos Astronautas, 1758 - Jd. da Granja, São José dos Campos - SP</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1">
<mods:affiliation>E-mail: chmendonca1977@yahoo.com.br</mods:affiliation>
<country wicri:rule="url">Brésil</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt>
<idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:8BF2B7C3D656FAD95902900929C35EBA4245A669</idno>
<date when="2007" year="2007">2007</date>
<idno type="doi">10.1007/978-1-84628-976-7_8</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-31PMJTZT-X/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">002041</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002041</idno>
<idno type="wicri:Area/Istex/Curation">002015</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title level="a" type="main" xml:lang="en">The System Verification Breakdown Method</title>
<author>
<name sortKey="Mendonca, Cassio Henrique" sort="Mendonca, Cassio Henrique" uniqKey="Mendonca C" first="Cássio Henrique" last="Mendonça">Cássio Henrique Mendonça</name>
<affiliation wicri:level="1">
<mods:affiliation>INPE - Instituto Nacional de Pesquisas Espaciais, Av. dos Astronautas, 1758 - Jd. da Granja, São José dos Campos - SP, Brazil</mods:affiliation>
<country xml:lang="fr">Brésil</country>
<wicri:regionArea>INPE - Instituto Nacional de Pesquisas Espaciais, Av. dos Astronautas, 1758 - Jd. da Granja, São José dos Campos - SP</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1">
<mods:affiliation>E-mail: chmendonca1977@yahoo.com.br</mods:affiliation>
<country wicri:rule="url">Brésil</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<textClass></textClass>
</profileDesc>
</teiHeader>
<front>
<div type="abstract" xml:lang="en">Abstract: High integrated and complex systems are more and more scattered and common in people lives. Even without the exact feeling of this means, they hope for the best product. This desire implicate in system manufactures improve knowledge and create solutions with more advanced technologies to satisfy consumers expectations. Verification have been done at the end of process development, but it have resulted in difficulties to manufacturers because is very expansive and hard to implement any required modifications at this point of development process. Thus, many manufactures have started verification process at begin of development, decreasing erroneous implementations. This paper is intended to show an intuitive method possible to apply in any cases, using block diagrams, that assists generate test cases procedures, since when development starts, making relationship among system interfaces, subsystems and functions, enabling tests traceability and tests coverage analysis. In cases where manufacturer develops same kind of products, the block diagram will be easily reused to a new one, including or removing systems, subsystems and functions, adapting it to new features and project requirements. The propose is starting developments doing the things right earlier as possible.</div>
</front>
</TEI>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002015 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd -nk 002015 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    RBID
   |clé=     ISTEX:8BF2B7C3D656FAD95902900929C35EBA4245A669
   |texte=   The System Verification Breakdown Method
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022