检索结果-内蒙古大学图书馆

A SPECIFICATIONAL APPROACH TO HIGH-LEVEL program monitoring and measuring

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1992年第11期18卷 969-978页

作者： LIAO, YS COHEN, D USC INST INFORMAT SCIMARINA DEL REYCA 90292

program monitoring and measuring is the activity of collecting information about the execution characteristics of a program. Although this activity is occasionally supported by special purpose hardware, it is normally done by adding instrumentation code to the program so that it collects interesting data as it runs. Unfortunately, this alteration is itself a difficult task involving all the complexities of programming. Given some questions to be answered, the programmer must determine what data must be collected, determine where in the program that data can be collected, and add code to the program to collect that data and to process it to produce the desired results. The goal of our work is to automate the process. This paper describes a high level program monitoring and measuring system. The system provides a high level specification language to let programmers specify what they want to know about their program's execution. It automatically generates an augmented program whose execution produces both the results of the original program and answers to the specified questions.

关键词： AUTOMATIC programMING INSTRUMENTATION program monitoring and measuring program TRANSFORMATIONS STATIC ANALYSIS TEMPORAL REASONING

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：