%0 Book Section %1 arkhipova_09_directed %A Arkhipova, M. V. %A Zelenov, S. V. %D 2009 %J Leveraging Applications of Formal Methods, Verification and Validation %K 2008 _hardcopy %P 753--768 %R http://dx.doi.org/10.1007/978-3-540-88479-8_54 %T Directed Generation of Test Data for Static Semantics Checker %U http://dx.doi.org/10.1007/978-3-540-88479-8_54 %X We present an automatic method, named SemaTESK, for generation of test sets for a translator front end. We focus on the validation and verification of static semantics checker. Most the know methods for semantics test generation produce test suites by filtering a pre-generated set of random texts in the target language. In contrast, SemaTESK allows to generate tests for context conditions directly. It significantly reduces generation time and allows reaching completeness criteria defined in the paper. The presented method to specify static semantics allows to formalize informal requirements described in normative documents (e.g. standard). The method includes SRL notation for compact formal specification of context conditions and STG tool for efficient generation of test suite from SRL specification. The SemaTESK method has been used in a number of projects, including testing static semantics checkers of C and Java.

@incollection{arkhipova_09_directed, abstract = {We present an automatic method, named SemaTESK, for generation of test sets for a translator front end. We focus on the validation and verification of static semantics checker. Most the know methods for semantics test generation produce test suites by filtering a pre-generated set of random texts in the target language. In contrast, SemaTESK allows to generate tests for context conditions directly. It significantly reduces generation time and allows reaching completeness criteria defined in the paper. The presented method to specify static semantics allows to formalize informal requirements described in normative documents (e.g. standard). The method includes SRL notation for compact formal specification of context conditions and STG tool for efficient generation of test suite from SRL specification. The SemaTESK method has been used in a number of projects, including testing static semantics checkers of C and Java.}, added-at = {2009-02-11T20:09:10.000+0100}, author = {Arkhipova, M. V. and Zelenov, S. V.}, biburl = {https://www.bibsonomy.org/bibtex/259e410937c8c05f04e8de40b7204611f/leonardo}, citeulike-article-id = {3617957}, doi = {http://dx.doi.org/10.1007/978-3-540-88479-8_54}, interhash = {ec2a58b647e75d261becd1d228bcec5b}, intrahash = {59e410937c8c05f04e8de40b7204611f}, journal = {Leveraging Applications of Formal Methods, Verification and Validation}, keywords = {2008 _hardcopy}, pages = {753--768}, posted-at = {2008-12-08 15:42:44}, priority = {3}, timestamp = {2009-02-11T20:09:11.000+0100}, title = {Directed Generation of Test Data for Static Semantics Checker}, url = {http://dx.doi.org/10.1007/978-3-540-88479-8_54}, year = 2009 }