<?xml version="1.0" encoding="ISO-8859-1"?>
<metadatalist>
	<metadata ReferenceType="Conference Proceedings">
		<identifier>J8LNKAN8RW/34BEP7K</identifier>
		<repository>dpi.inpe.br/plutao@80/2008/12.04.11.55.29</repository>
		<metadatarepository>dpi.inpe.br/plutao@80/2008/12.04.11.55.30</metadatarepository>
		<site>plutao.sid.inpe.br 800</site>
		<label>lattes: 9922863822347014 2 SantiagoJúniorVijGuiAmaSou:2008:EnTeCa</label>
		<isbn>9780769533</isbn>
		<secondarykey>INPE--PRE/</secondarykey>
		<holdercode>{isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S}</holdercode>
		<citationkey>SantiagoJúniorVijGuiAmaSou:2008:EnTeCa</citationkey>
		<author>Santiago Júnior, Valdivino Alexandre,</author>
		<author>Vijaykumar, Nandamudi Lankalapalli,</author>
		<author>Guimarăes, Danielle Souza,</author>
		<author>Amaral, Ana Silvia Martins Serra,</author>
		<author>Souza, Érica Ferreira de,</author>
		<group>DAS-CEA-INPE-MCT-BR</group>
		<group>LAC-CTE-INPE-MCT-BR</group>
		<group></group>
		<group>LAC-CTE-INPE-MCT-BR</group>
		<affiliation>Instituto Nacional de Pesquisas Espaciais (INPE)</affiliation>
		<affiliation>Instituto Nacional de Pesquisas Espaciais (INPE)</affiliation>
		<affiliation>Instituto Nacional de Pesquisas Espaciais (INPE)</affiliation>
		<affiliation>Instituto Nacional de Pesquisas Espaciais (INPE)</affiliation>
		<affiliation>Instituto Nacional de Pesquisas Espaciais (INPE)</affiliation>
		<electronicmailaddress>valdivino@das.inpe.br</electronicmailaddress>
		<electronicmailaddress>vijay@lac.inpe.br</electronicmailaddress>
		<electronicmailaddress>danielle.guimaraes@cea.inpe.br</electronicmailaddress>
		<electronicmailaddress>anasil@lac.inpe.br</electronicmailaddress>
		<electronicmailaddress>ericaferrso@cea.inpe.br</electronicmailaddress>
		<title>An Environment for Test Case Generation from Statecharts-based and Finite State Machine-based Behavioral Models</title>
		<conferencename>Workshop on Advances in Model Based Testing, 4. (A-MOST).</conferencename>
		<year>2008</year>
		<volume>1</volume>
		<booktitle>Proceedings</booktitle>
		<date>2008</date>
		<publisher>IEEE Computer Society</publisher>
		<conferencelocation>Lillihammer</conferencelocation>
		<abstract>Automated test case generation from behavioral models like Finite State Machines (FSMs) and Statecharts has long been studied. Environments that enable a test designer to model a real complex software and to obtain test cases to validate such a software are mandatory in an automated test approach. This paper presents an environment, GTSC, which enables test sequences to be obtained from both Statechart-based and FSM-based behavioral models. The environment supports test case generation from some test methods for FSM, such as switch cover, DS and UIO methods, and also from some test criteria for Statecharts based on the SCCF family. Two case studies involving embedded software developed for two computers of scientific experiments of a satellite under development at National Institute for Space Research (INPE) are presented in order to show the usefulness of the environment.</abstract>
		<pages>1-10</pages>
		<language>en</language>
		<secondarytype>PRE CI</secondarytype>
		<tertiarytype>Paper</tertiarytype>
		<format>DVD</format>
		<area>COMP</area>
		<size>288 KiB</size>
		<numberoffiles>1</numberoffiles>
		<targetfile>santiago_environment.pdf</targetfile>
		<lastupdate>2015:04.16.18.59.33 dpi.inpe.br/plutao@80/2008/08.19.15.01 administrator</lastupdate>
		<metadatalastupdate>2018:06.05.00.19.58 dpi.inpe.br/plutao@80/2008/08.19.15.01 administrator {D 2008}</metadatalastupdate>
		<e-mailaddress>vijay@lac.inpe.br</e-mailaddress>
		<username>marciana</username>
		<usergroup>lattes</usergroup>
		<usergroup>simone</usergroup>
		<usergroup>administrator</usergroup>
		<usergroup>marciana</usergroup>
		<readergroup>administrator</readergroup>
		<readergroup>marciana</readergroup>
		<visibility>shown</visibility>
		<transferableflag>1</transferableflag>
		<hostcollection>dpi.inpe.br/plutao@80/2008/08.19.15.01</hostcollection>
		<contenttype>External Contribution</contenttype>
		<documentstage>not transferred</documentstage>
		<readpermission>deny from all and allow from 150.163</readpermission>
		<nexthigherunit>8JMKD3MGPCW/3ESGTTP</nexthigherunit>
		<lasthostcollection>dpi.inpe.br/plutao@80/2008/08.19.15.01</lasthostcollection>
		<url>http://plutao.sid.inpe.br/rep-/dpi.inpe.br/plutao@80/2008/12.04.11.55.29</url>
	</metadata>
</metadatalist>