On Comparing and Complementing two MBT approaches

At INPE 1 researchers and software engineers have been using Statechart-based testing for some time to test on-board satellite software. On the other hand, a group of researchers at CIFASIS 2 and Flowgate Consulting have been applying Z-based testing for unit testing. Both groups started to compare...

Full description

Saved in:
Bibliographic Details
Published in2010 11th Latin American Test Workshop pp. 1 - 6
Main Authors Cristia, Maximiliano, Santiago, Valdivino, Vijaykumar, N L
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.03.2010
Subjects
Computers
Data models
Object oriented modeling
Satellites
Software
Testing
Unified modeling language
Online AccessGet full text

Cover

Abstract At INPE 1 researchers and software engineers have been using Statechart-based testing for some time to test on-board satellite software. On the other hand, a group of researchers at CIFASIS 2 and Flowgate Consulting have been applying Z-based testing for unit testing. Both groups started to compare their approaches and tools a year ago. What started as a comparison to share ideas and results, is now turning into the realization that actually both techniques complement and benefit from each other, yielding a more effective and wider Model-Based Testing (MBT) approach. In this paper we present the results obtained so far in comparing and complementing these two MBT techniques.
AbstractList At INPE 1 researchers and software engineers have been using Statechart-based testing for some time to test on-board satellite software. On the other hand, a group of researchers at CIFASIS 2 and Flowgate Consulting have been applying Z-based testing for unit testing. Both groups started to compare their approaches and tools a year ago. What started as a comparison to share ideas and results, is now turning into the realization that actually both techniques complement and benefit from each other, yielding a more effective and wider Model-Based Testing (MBT) approach. In this paper we present the results obtained so far in comparing and complementing these two MBT techniques.
Author Cristia, Maximiliano
Vijaykumar, N L
Santiago, Valdivino
Author_xml – sequence: 1
  givenname: Maximiliano
  surname: Cristia
  fullname: Cristia, Maximiliano
  email: mcristia@flowgate.net
  organization: Flowgate & CIFASIS, Rosario, Argentina
– sequence: 2
  givenname: Valdivino
  surname: Santiago
  fullname: Santiago, Valdivino
  email: valdivino@das.inpe.br
  organization: INPE, São José dos Campos, Brazil
– sequence: 3
  givenname: N L
  surname: Vijaykumar
  fullname: Vijaykumar, N L
  email: vijay@lac.inpe.br
  organization: INPE, São José dos Campos, Brazil
BookMark eNo1j81Kw1AUhK9YwbbmAcRNXiDt_b85yxqsCindRFyWk9wTjTQ3ISmIb2_UOpvhm8Uws2Cz0AVi7FbwlRAc1vmmeF1JPqExhisFF2whtNTaudTAJYvApf9sYcbmUjmV8NTKaxaN4wefpI2UDuZM7EOcdW2PQxPeYgz-l47UUjj9JKfPLt7dFzH2_dBh9U7jDbuq8ThSdPYle9k-FNlTku8fn7NNnjRimpSoFL21ViJ33AOgJe-0k7VKa-SSSm6oJG9QgVelRAIoifvKGCCplavUkt399TZEdOiHpsXh63B-rL4BZCxITQ
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/LATW.2010.5550339
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library Online
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library Online
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISBN 1424477859
9781424477852
EndPage 6
ExternalDocumentID 5550339
Genre orig-research
GroupedDBID 6IE
6IL
6IN
ABLEC
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
OCL
RIE
RIL
RNS
ID FETCH-LOGICAL-i1339-38ad6662a070d99a6ed7472f38fa02eb05ebed5a39d3b2ae99be0dc559e2437c3
IEDL.DBID RIE
ISBN 9781424477869
1424477867
ISSN 2373-0862
IngestDate Wed Jun 26 19:24:26 EDT 2024
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i1339-38ad6662a070d99a6ed7472f38fa02eb05ebed5a39d3b2ae99be0dc559e2437c3
OpenAccessLink http://urlib.net/dpi.inpe.br/plutao@80/2010/06.25.15.50
PageCount 6
ParticipantIDs ieee_primary_5550339
PublicationCentury 2000
PublicationDate 2010-March
PublicationDateYYYYMMDD 2010-03-01
PublicationDate_xml – month: 03
  year: 2010
  text: 2010-March
PublicationDecade 2010
PublicationTitle 2010 11th Latin American Test Workshop
PublicationTitleAbbrev LATW
PublicationYear 2010
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0000452279
ssj0003189154
Score 1.4887601
Snippet At INPE 1 researchers and software engineers have been using Statechart-based testing for some time to test on-board satellite software. On the other hand, a...
SourceID ieee
SourceType Publisher
StartPage 1
SubjectTerms Computers
Data models
Object oriented modeling
Satellites
Software
Testing
Unified modeling language
Title On Comparing and Complementing two MBT approaches
URI https://ieeexplore.ieee.org/document/5550339
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LT4NAEJ60PenFR2t8h4NHaYGFLnPUxqYxVj20sbdmH4MxJmCUxsRf7-4C9REP3pi9wGQhw7fffN8AnEnGFXGlfZ4GwgCUVPpCs8TPtOAxhWIoYqsdnt4OJ_P4epEsWnC-1sIQkWs-o769dFy-LtTKHpUNksSSbtiGNkestFrr8xRnDV4zTjY27yqGbghaxDjz7Z97o-uylmm8sXuqY6wZzzDAwc3F7KFq-qpv-GPyiis84y2YNo9c9Zs891el7KuPX26O_81pG3pfEj_vfl28dqBF-S5sfnMn7EJ4l3ujakxh_uiJXLuoaje3K-V74U0vZ15jS05vPZiPr2ajiV9PWPCfDDZFn6VCG_wSCfPha0QxJG3gRZSxNBNBRDJIzB7rRDDUTEaCECUFWhkUQtbIULE96ORFTvvg8ZCQo6Y4U2ksdSZC1FEqMp4oniklD6Brk1--VCYayzrvw7-Xj2Cjoults9cxdMrXFZ2Y6l_KU7ftnwEqp6c
link.rule.ids 310,311,783,787,792,793,799,27937,55086
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3JTsMwEB2VcgAuLC1iJweOpE3iJI6PUFEVaAqHVPRWeZkghJQgSIXE12NnKYs4cPP4koziyH5-894AnAlCJVKpbBo5XAOUSNhckcBOFac-ujzkvtEOx5NwNPVvZsGsBedLLQwilsVn2DPDkstXuVyYq7J-EBjSja3Aqh5EYaXWWt6olObgNedkYr1amVu2QfMIJbY5uzfKLmOaRhvDpzpmNefpOqw_vkgeqrKv-pE_eq-UW89wE-LmpauKk-feohA9-fHLz_G_WW1B90vkZ90vt69taGG2Axvf_Ak74N5l1qBqVJg9WjxTZVQVnJuZ4j234svEaozJ8a0L0-FVMhjZdY8F-0mjU2aTiCuNYDyuf33FGA9RaYDhpSRKueOhcAL9lVXACVNEeBwZE-goqXEIGitDSXahneUZ7oFFXWSUKfRTGflCpdxlyot4SgNJUynFPnRM8vOXykZjXud98Pf0KayNkng8H19Pbg9hvSLtTenXEbSL1wUe67NAIU7KJfAJ_0Kq8g
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2010+11th+Latin+American+Test+Workshop&rft.atitle=On+Comparing+and+Complementing+two+MBT+approaches&rft.au=Cristia%2C+Maximiliano&rft.au=Santiago%2C+Valdivino&rft.au=Vijaykumar%2C+N+L&rft.date=2010-03-01&rft.pub=IEEE&rft.isbn=9781424477869&rft.issn=2373-0862&rft.spage=1&rft.epage=6&rft_id=info:doi/10.1109%2FLATW.2010.5550339&rft.externalDocID=5550339
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2373-0862&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2373-0862&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2373-0862&client=summon