参数化运行时监控研究  

Research on Parameterized Runtime Monitoring

作　　者：王珍[1] 叶俊民[1] 陈曙[1] 辜剑[1] 金聪[1] 

机构地区：[1]华中师范大学计算机学院,武汉430079

出　　处：《计算机科学》2014年第11期146-151,174,共7页Computer Science

基　　金：湖北省自然科学基金面向项目(2010CDB04001);武汉大学计算机软件工程国家重点实验室开放基金项目(SKLSE 20080705);华中师范大学基本科研业务基金项目(CCNU11A02007);华中师范大学自制实验仪器设备与软件项目(201314)资助

摘　　要：随着计算机软件广泛应用于各类安全关键系统以及软件日趋复杂,软件可靠性变得越来越重要。作为一种广泛使用于各种平台的软件解决方案,运行时监控是提高软件可靠性的最灵活的解决方案之一。但随着运行时监控技术以及软件技术的发展,人们希望通过运行时监控技术来验证系统的动态属性,从而提出参数化性质的运行时监控技术。由于其在面向对象系统中的适用性,参数化性质的运行时监控已经受到了越来越多的关注。综述了参数化运行时监控的研究进展,提出了参数化运行时监控的问题定义,介绍了这一领域的主要研究内容:参数化运行时监控方法、减少参数化监控开销的技术、多属性规约的参数化运行时监控。With the wide application of software in all kinds of safety critical systems as well as the increasingly complexity,software reliability becomes more and more important.As a software solution widely used in various platforms,runtime monitoring is one of the most flexible solution to enhance the reliability of software.With the development of runtime monitoring and software technology,people want to verify the dynamic properties of system through runtime monitoring.So runtime monitoring of parametric properties was presented.Runtime monitoring of parametric properties have achieved more and more attention because of its applicability in the object-oriented system.This paper summarized the researches on parametric runtime verification,presented the problem definition of parametric runtime verification,and introduced the main research content of this field,including parametric runtime verification approaches,technologies of reducing parametric monitoring overhead and runtime monitoring of multiply parametric properties.

关 键 词：运行时监控 参数化性质规约 参数化运行时监控 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]