Modeling, Validation, and Continuous Integration of Software Behaviours for Embedded Systems

@article{EstivillCastro2015ModelingVA,
  title={Modeling, Validation, and Continuous Integration of Software Behaviours for Embedded Systems},
  author={Vladimir Estivill-Castro and Ren{\'e} Hexel and Josh Stover},
  journal={2015 IEEE European Modelling Symposium (EMS)},
  year={2015},
  pages={89-95}
}
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… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 23 REFERENCES

Model-based testing of automotive software: Some challenges and solutions

  • 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC)
  • 2015
VIEW 1 EXCERPT

UI-design driven model-based testing

  • Innovations in Systems and Software Engineering
  • 2013
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…