SoBelt: structural and behavioral execution instrumentation tool


organization's business context and respect legacy languages, design styles, and development processes. Siddhartha develops domain-specific test automation support for transforming formal test specifications (TestSpecs) into test driver-oracle procedures (TDOPs), where a TDOP invokes not only the unit-under-test (UUT) but also an embedded oracle that verifies whether the tested UUT behavior agrees with the expected behavior expressed in TestSpec. In using Siddhartha, a test engineer develops a domain-specific synthesizer to accept and generate formal test artifacts in formats, languages, and styles already in use in her application domain. Thus, Siddhartha provides test development automation support in application domains that cannot be wellsupported by general-purpose test development tools.

DOI: 10.1145/340855.341138

Extracted Key Phrases

Cite this paper

@article{Richardson2000SoBeltSA, title={SoBelt: structural and behavioral execution instrumentation tool}, author={Debra J. Richardson}, journal={ACM SIGSOFT Software Engineering Notes}, year={2000}, volume={25}, pages={107} }