Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
720928 | IFAC Proceedings Volumes | 2009 | 6 Pages |
Abstract
This paper presents a comparative analysis of two verification techniques: (1) formal verification of the system specification and (2) execution of FSM-derived test cases on the delivered product. It uses as a testbench a didactic example of a coffee machine and a work team composed of post-graduation students. The purpose is to analyze the advantages and drawbacks of each technique, define the kind of errors detect by each one and highlight the contributions to the development process.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics