首页> 外国专利> SOFTWARE BEHAVIOR MODELING DEVICE, SOFTWARE BEHAVIOR MODELING METHOD, SOFTWARE BEHAVIOR VERIFICATION DEVICE, AND SOFTWARE BEHAVIOR VERIFICATION METHOD

SOFTWARE BEHAVIOR MODELING DEVICE, SOFTWARE BEHAVIOR MODELING METHOD, SOFTWARE BEHAVIOR VERIFICATION DEVICE, AND SOFTWARE BEHAVIOR VERIFICATION METHOD

机译:软件行为建模设备,软件行为建模方法,软件行为验证设备和软件行为验证方法

摘要

A software behavior modeling device which forms a model of a behavior of software includes; an event information acquisition unit configured to acquire event information indicating a specific event which occurs during execution of the software; a stack information acquisition unit configured to acquire stack information stored in a call stack at a time of occurrence of the specific event; a score setting unit configured to set a score in accordance with a storage location in which each element included in the stack information is stored in the call stack; and a model generating unit configured to form a model of a relationship between the specific event and the element by using the score, and to generate a behavior model of the software.
机译:形成软件行为模型的软件行为建模设备包括:事件信息获取单元,被配置为获取指示在软件执行期间发生的特定事件的事件信息;堆栈信息获取单元,被配置为在特定事件发生时获取存储在调用堆栈中的堆栈信息;得分设置单元,其被配置为根据在调用栈中存储栈信息中包括的每个元素的存储位置来设置得分;模型生成单元,其被配置为通过使用得分形成特定事件与元素之间的关系的模型,并生成软件的行为模型。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号