Validation of reactive embedded systems against specification requirements

Joanna Strug, Stanisław Deniziak, Krzysztof Sapiecha

Abstract


In this paper a method of automatic generation of test scenarios for verification of specification requirements (temporal and functional) for reactive embedded systems is presented.

Full Text:

PDF


DOI: http://dx.doi.org/10.17951/ai.2004.2.1.173-182
Data publikacji: 2015-01-04 00:00:00
Data złożenia artykułu: 2016-04-27 10:11:12


Statistics

Total abstract view - 83
Downloads (from 2020-06-17) - PDF - 0

Indicators



Refbacks

  • There are currently no refbacks.


Copyright (c) 2015 Annales UMCS Sectio AI Informatica

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.