A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Using Logic Coverage to Improve Testing Function Block Diagrams
[chapter]
2013
Lecture Notes in Computer Science
In model-driven development, testers are often focusing on functional model-level testing, enabling verification of design models against their specifications. In addition, in safety-critical software development, testers are required to show that tests cover the structure of the implementation. Testing cost and time savings could be achieved if the process of deriving test cases for logic coverage is automated and provided test cases are ready to be executed. The logic coverage artifacts,
doi:10.1007/978-3-642-41707-8_1
fatcat:2h2muckhz5gs5fukc7jwsahqxy