计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
11期
146-151,174
,共7页
王珍%叶俊民%陈曙%辜剑%金聪
王珍%葉俊民%陳曙%辜劍%金聰
왕진%협준민%진서%고검%금총
运行时监控%参数化性质规约%参数化运行时监控
運行時鑑控%參數化性質規約%參數化運行時鑑控
운행시감공%삼수화성질규약%삼수화운행시감공
Runtime monitoring%Parametric property specification%Parametric runtime monitoring
随着计算机软件广泛应用于各类安全关键系统以及软件日趋复杂,软件可靠性变得越来越重要.作为一种广泛使用于各种平台的软件解决方案,运行时监控是提高软件可靠性的最灵活的解决方案之一.但随着运行时监控技术以及软件技术的发展,人们希望通过运行时监控技术来验证系统的动态属性,从而提出参数化性质的运行时监控技术.由于其在面向对象系统中的适用性,参数化性质的运行时监控已经受到了越来越多的关注.综述了参数化运行时监控的研究进展,提出了参数化运行时监控的问题定义,介绍了这一领域的主要研究内容:参数化运行时监控方法、减少参数化监控开销的技术、多属性规约的参数化运行时监控.
隨著計算機軟件廣汎應用于各類安全關鍵繫統以及軟件日趨複雜,軟件可靠性變得越來越重要.作為一種廣汎使用于各種平檯的軟件解決方案,運行時鑑控是提高軟件可靠性的最靈活的解決方案之一.但隨著運行時鑑控技術以及軟件技術的髮展,人們希望通過運行時鑑控技術來驗證繫統的動態屬性,從而提齣參數化性質的運行時鑑控技術.由于其在麵嚮對象繫統中的適用性,參數化性質的運行時鑑控已經受到瞭越來越多的關註.綜述瞭參數化運行時鑑控的研究進展,提齣瞭參數化運行時鑑控的問題定義,介紹瞭這一領域的主要研究內容:參數化運行時鑑控方法、減少參數化鑑控開銷的技術、多屬性規約的參數化運行時鑑控.
수착계산궤연건엄범응용우각류안전관건계통이급연건일추복잡,연건가고성변득월래월중요.작위일충엄범사용우각충평태적연건해결방안,운행시감공시제고연건가고성적최령활적해결방안지일.단수착운행시감공기술이급연건기술적발전,인문희망통과운행시감공기술래험증계통적동태속성,종이제출삼수화성질적운행시감공기술.유우기재면향대상계통중적괄용성,삼수화성질적운행시감공이경수도료월래월다적관주.종술료삼수화운행시감공적연구진전,제출료삼수화운행시감공적문제정의,개소료저일영역적주요연구내용:삼수화운행시감공방법、감소삼수화감공개소적기술、다속성규약적삼수화운행시감공.