Code Analysis And Cs-Xml
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come(2007)
摘要
The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant benefits. A common objective in simulation is enhanced understanding of a system; model specification analysis can provide insights not otherwise available as well as time and cost savings in model development. The Condition Specification (CS) (Overstreet and Nance 1985) represents a model specification form that is amenable to analysis. This paper discusses the motivations for and the creation of CS-XML; a translator for CSes into XML-based Condition Specifications; and a translator for CS-XML into fully-executable C/C++ code. It presents initial results from analysis efforts using CodeSurfer (Anderson et al. 2003), a software static analysis tool, and discusses future work. In conclusion, it is argued that the CS-XML can provide an essential foundation for Web Services that support the analysis of discrete-event simulation models.
更多查看译文
关键词
XML,formal specification,program diagnostics,reverse engineering,C/C++ code,CS-XML,code analysis,condition specification,model specification,software static analysis tool,system understanding,
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要