Sébastien Lapierre
Abstract
The Datrix team within Bell Canada has been offering its source code analysis tools to the research community for a number of years. These tools perform a number of analyses that revolve around a central model (Datrix-ASG) developed by the Datrix team, and use an interchange format similar to TA, which we call Datrix-TA. This paper intends to communicate the modeling choices that were made when creating this information model, and the lessons learned over a few years of usage.
- Bell Canada Inc., DATRIX --- Abstract semantic graph reference manual, version 1.2, Montréal, Canada, July 1999.Google Scholar
- CSER: Consortium for Software Engineering Research http://www.cser.ca/index.htmlGoogle Scholar
- R. C. Holt, "An introduction to TA: The Tuple-Attribute Language", March 1997, http://www-turing.cs.toronto.edu/pbs/papers.htmlGoogle Scholar
- G. St-Denis, R. Schauer, R. K. Keller, "Selecting a Model Interchange Format, The SPOOL Case Study", in Proceedings of 33rd Hawaii International Conference on System Sciences, Jan. 2000, Maui, Hawaii Google ScholarDigital Library
- Datrix R&D site, http://www.iro.umontreal.ca/labs/gelo/datrix/ or http://www.casi.polymtl.ca/casibell/datrix/Google Scholar
- Knapen G., Laguë B, Dagenais M., Merlo E., "Parsing C++ Despite Missing Declarations", in Proceedings of the International Workshop on Program Comprehension, May 99, Pittsburgh, PA, USA. Google ScholarDigital Library
- Mayrand, J., Leblanc, C., Merlo E., "Experiment on the Automatic Detection of Function Clones in a Software System Using Metrics", Proceedings of the International Conference on Software Maintenance, Monterey, California, USA, November 4-8, 1996 Google ScholarDigital Library
- Laguë B., Proulx D., Mayrand J., Merlo E., Hudepohl J., "Assessing the Benefits of Incorporating Function Clone Detection in a Development Process", in Proceedings of the International Conference on Software Maintenance 97, Nov. 97, Bari, Italy. Google ScholarDigital Library
- Laguë B, Leduc C., Le Bon A., Merlo E., Dagenais M., "An Analysis Framework for Understanding Layered Software Architectures", in Proceedings of the International Workshop on Program Comprehension, June 98, Ischia, Italy. Google ScholarDigital Library
- Laguë B, Leduc C., "An Approach to Analyze the Decomposition of Object Oriented Systems into Source files", OOPSLA 97 Workshop on OO quality, Oct. 97, Atlanta, USA. http://www.iro.umontreal.ca/~keller/Workshops/OOPSLA97/Papers/lague.bruno.ps.ZGoogle Scholar
- P. Devanbu, http://seclab.cs.ucdavis.edu/~devanbu/genp/Google Scholar
Index Terms
- Datrix™ source code model and its interchange format: lessons learned and considerations for future work
Recommendations
Performance Model Interchange Format: Semantic Validation
ICSEA '06: Proceedings of the International Conference on Software Engineering AdvancesA Performance Model Interchange Format (PMIF) provides a mechanism whereby system model information may be transferred among queueing network model (QNM) based modeling tools. The PMIF allows diverse tools to exchange information and requires only that ...
Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation
QEST '04: Proceedings of the The Quantitative Evaluation of Systems, First International ConferenceA Performance Model Interchange Format (PMIF) provides a mechanism whereby system model information may be transferred among performance modeling tools. The PMIF allows diverse tools to exchange information and requires only that the importing and ...
E/R Schema for the Datrix C/C++/Java Exchange Format
WCRE '00: Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00)A SEF (software exchange format), such as GXL [6], TA [4] or RSF [7], is used to exchange data between tools that analyze software. Researchers at Bell Canada have specified the Datrix [3] SEF in TA (and soon to be, GXL) for C, C++ and Java. It is ...
Comments