dc.contributor.author | Estivill-Castro, Vladimir | |
dc.contributor.author | Hexel, Rene | |
dc.contributor.author | Stover, Josh | |
dc.contributor.editor | Aldabass, D | |
dc.contributor.editor | Romero, G | |
dc.contributor.editor | Orsoni, A | |
dc.contributor.editor | Pantelous, A | |
dc.date.accessioned | 2017-11-29T23:25:27Z | |
dc.date.available | 2017-11-29T23:25:27Z | |
dc.date.issued | 2015 | |
dc.identifier.isbn | 9781509002061 | |
dc.identifier.issn | 2473-3539 | |
dc.identifier.uri | http://hdl.handle.net/10072/123503 | |
dc.description.abstract | We propose to test software models with software
models. Model-Driven Software Development proposes that
software is to be constructed by developing high-level models
that directly execute or generate most of the code. On the
other hand, Test-Driven development proposes to produce tests
that validate the functionality of the code. This paper brings
both together by using Logic-Labeled Finite-State Machines
to deploy executable models of embedded systems and also to
configure the corresponding tests. The advantage is a much
more efficient validation of the models, with more robust
and durable representations, that ensure effective and efficient
quality assurance throughout the development process, saving
the costly exercise of formal model-checking until the system
is complete enough to meet all requirements. | |
dc.description.peerreviewed | Yes | |
dc.language | English | |
dc.publisher | Institute of Electrical and Electronics Engineers (IEEE) | |
dc.publisher.place | United States | |
dc.publisher.uri | http://uksim.info/ems2015/ems2015.htm | |
dc.relation.ispartofconferencename | UKSim-AMSS 9th IEEE European Modelling Symposium on Computer Modelling and Simulation (EMS) | |
dc.relation.ispartofconferencetitle | UKSIM-AMSS NINTH IEEE EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2015) | |
dc.relation.ispartofdatefrom | 2015-10-06 | |
dc.relation.ispartofdateto | 2015-10-08 | |
dc.relation.ispartoflocation | Madrid, SPAIN | |
dc.relation.ispartofpagefrom | 89 | |
dc.relation.ispartofpagefrom | 7 pages | |
dc.relation.ispartofpageto | 95 | |
dc.relation.ispartofpageto | 7 pages | |
dc.subject.fieldofresearch | Software Engineering | |
dc.subject.fieldofresearchcode | 080309 | |
dc.title | Modeling, Validation and Continuous Integration of Software Behaviours for Embedded Systems | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.faculty | Griffith Sciences, School of Information and Communication Technology | |
gro.hasfulltext | No Full Text | |
gro.griffith.author | Hexel, Rene | |