• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>2014 Communications security conference >Research on software behavior modeling based on extended finite state automata
【24h】

Research on software behavior modeling based on extended finite state automata

机译：基于扩展有限状态自动机的软件行为建模研究

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Software behavior modeling can be used for detecting anomalous behavior, verifying protocols, generating test cases, capturing unexpected event sequences and checking compatibility of program properties. In this paper, we introduce a method of software behavior modeling based on extended finite state automata, which is based on the existing software behavior modeling methods and focuses on constraints on data values and the interaction traces between software components. We combine Daikon and ESC/JAVA tools to obtain the constraints on extended finite state automata edges so that the accuracy of the model can be improved. We have implemented a software behavior modeling system using this method. Experiments results show that this model can capture many more and more accurate information and provide a good guarantee for the software analysis, verification and testing.
机译：软件行为建模可用于检测异常行为，验证协议，生成测试用例，捕获意外事件序列以及检查程序属性的兼容性。在本文中，我们介绍了一种基于扩展有限状态自动机的软件行为建模方法，该方法基于现有的软件行为建模方法，并着重于对数据值的约束以及软件组件之间的交互轨迹。我们结合使用Daikon和ESC / JAVA工具来获得对扩展有限状态自动机边缘的约束，从而可以提高模型的准确性。我们已经使用这种方法实现了软件行为建模系统。实验结果表明，该模型可以捕获越来越多的准确信息，为软件分析，验证和测试提供了良好的保证。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号