A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf
.
Validation of SDL specifications using EFSM-based test generation
2009
Information and Software Technology
Existing methods for testing an SDL specification mainly allow for either black box simulation or conformance testing to verify that the behavior of an implementation matches its corresponding model. However, this relies on the potentially hazardous assumption that the model is completely correct. We propose a test generation method that can accomplish conformance verification as well as coverage criteria-driven white box testing of the specification itself. We first reformat a set of EFSMs
doi:10.1016/j.infsof.2009.06.005
fatcat:xkwgpmyxg5bfvfhwkfe5xzv6xu