A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit <a rel="external noopener" href="http://www.cse.msu.edu/~stire/HomePage/Papers/issta2011.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
<i title="ACM Press">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5ttq32n6ujhkxfb7h22ytvohp4" style="color: black;">Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11</a>
Conceptual data models describe information systems without the burden of implementation details, and are increasingly used to generate code. They could also be analyzed for consistency and to generate test data except that the expressive constraints supported by popular modeling notations make such analysis intractable. In an earlier empirical study of conceptual models created at Log-icBlox Inc., Smaragdakis, Csallner, and Subramanian found that a restricted subset of ORM, called ORM − ,<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2001420.2001428">doi:10.1145/2001420.2001428</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/issta/McGillDS11.html">dblp:conf/issta/McGillDS11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u2oz5nb5nzdvnoz6bjrcvmxcea">fatcat:u2oz5nb5nzdvnoz6bjrcvmxcea</a> </span>
more »... des the vast majority of constraints used in practice and, moreover, allows scalable analysis. After that study, however, LogicBlox Inc obtained a new ORM modeling tool, which supports discovery and specification of more complex constraints than the previous tool. We report findings of a follow-up study of models constructed using the more powerful tool. Our study finds that LogicBlox developers increasingly rely on a small number of features not in the ORM − subset. We extend ORM − with support for two of them: objectification and a restricted class of external uniqueness constraints. The extensions significantly improve our ability to analyze the ORM models created by developers using the new tool. We also show that a recent change to ORM has rendered the original ORM − algorithms unsound, in general; but that an efficient test suffices to show that these algorithms are in fact sound for the ORM − constraints appearing in any of the models currently in use at LogicBlox.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20111128212542/http://www.cse.msu.edu/~stire/HomePage/Papers/issta2011.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c7/c1/c7c13f48680f2132ff4de164b834712149601eac.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2001420.2001428"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>