SCQL: a formal model and a query language for source control repositories

TitleSCQL: a formal model and a query language for source control repositories
Publication TypeConference Paper
Year of Publication2005
AuthorsHindle, A, German, DM
Secondary TitleProceedings of the 2005 international workshop on Mining software repositories
Pagination100-104
PublisherACM
Place PublishedNew York, NY, USA
ISBN Number1-59593-123-6
Keywordsevolution, file, gnumeric, modperl, openssl, revision, samba, scm, source code
Abstract

Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. A generalized formal model of source control repositories is described herein. The model is a graph in which the different entities stored in the repository become vertices and their relationships become edges. We then define SCQL, a first order, and temporal logic based query language for source control repositories. We demonstrate how SCQL can be used to specify some questions and then evaluate them using the source control repositories of five different large software projects.

URLhttp://doi.acm.org/10.1145/1082983.1083161
DOI10.1145/1082983.1083161
Full Text
AttachmentSize
PDF icon 100scql.pdf194.34 KB