辜剑
- 作品数：4 被引量：1H指数：1
- 供职机构：华中师范大学计算机学院更多>>
- 发文基金：软件工程国家重点实验室开放基金湖北省自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于时间属性序列图的运行验证技术研究
- 随着信息技术的发展，计算机技术已经融入了现代社会各个领域，得到极其广泛的应用。然而在这样的背景下，计算机系统的异常可能会造成灾难性后果。 测试和仿真通常被用来保障这类安全关键系统的可靠性，但是这类方法针对的是实际运行前...
- 辜剑
- 关键词：需求规约监控器仿真程序
- 文献传递
- 参数化运行时监控研究被引量：1
- 2014年
- 随着计算机软件广泛应用于各类安全关键系统以及软件日趋复杂,软件可靠性变得越来越重要。作为一种广泛使用于各种平台的软件解决方案,运行时监控是提高软件可靠性的最灵活的解决方案之一。但随着运行时监控技术以及软件技术的发展,人们希望通过运行时监控技术来验证系统的动态属性,从而提出参数化性质的运行时监控技术。由于其在面向对象系统中的适用性,参数化性质的运行时监控已经受到了越来越多的关注。综述了参数化运行时监控的研究进展,提出了参数化运行时监控的问题定义,介绍了这一领域的主要研究内容:参数化运行时监控方法、减少参数化监控开销的技术、多属性规约的参数化运行时监控。
- 王珍叶俊民陈曙辜剑金聪
- 基于时间属性序列图的运行时验证技术研究
- 随着信息技术的发展,计算机技术已经融入了现代社会各个领域,得到极其广泛的应用。然而在这样的背景下,计算机系统的异常可能会造成灾难性后果。 测试和仿真通常被用来保障这类安全关键系统的可靠性,但是这类方法针对的是实际运行前的...
- 辜剑
- 关键词：时间自动机监控器
- 文献传递
- 基于时间属性序列图的监控器构造方法
- 2015年
- 运行时验证一般采用时态逻辑来描述要验证的需求规约,并根据需求规约构造监控器.这对于那些没有形式化经验的软件工程师而言,是一件非常困难的事情,同时,这类方法通常缺少时间机制支撑,因此难以满足实时系统运行时验证中的要求.序列图得到了广泛使用,研究基于序列图来自动生成监控器就显得十分有意义.提出基于UML2.0时间属性序列图的监控器的自动生成方法,其具体思想是使用时间属性序列图来描述要验证的需求规约,然后将整个序列图转换为时间自动机网络,构造出监控器.实验表明,该方法方便缺少形式化经验的软件工程师使用,所产生的监控器运行开销较小,能满足验证对实时性的要求,且有效缓解了监控器生成过程中的组合爆炸.
- 叶俊民辜剑陈曙董威舒绍娴
- 关键词：时间自动机监控器
