SOFTWARE BEHAVIOR MODELING DEVICE, SOFTWARE BEHAVIOR MODELING METHOD, SOFTWARE BEHAVIOR VERIFICATION DEVICE, AND SOFTWARE BEHAVIOR VERIFICATION METHOD
    1.
    发明申请
    SOFTWARE BEHAVIOR MODELING DEVICE, SOFTWARE BEHAVIOR MODELING METHOD, SOFTWARE BEHAVIOR VERIFICATION DEVICE, AND SOFTWARE BEHAVIOR VERIFICATION METHOD 失效
    软件行为建模设备,软件行为建模方法,软件行为验证设备和软件行为验证方法

    公开(公告)号:US20110154487A1

    公开(公告)日:2011-06-23

    申请号:US12593376

    申请日:2008-03-28

    IPC分类号: G06F11/00 G06F21/00

    CPC分类号: G06F11/3612 G06F21/52

    摘要: 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.

    摘要翻译: 形成软件行为模型的软件行为建模设备包括: 事件信息获取单元,被配置为获取表示软件执行期间发生的特定事件的事件信息; 堆栈信息获取单元,被配置为在特定事件发生时获取存储在呼叫栈中的堆栈信息; 乐谱设定单元,被配置为根据包含在所述音箱信息中的每个元素存储在所述呼叫栈中的存储位置来设定乐谱; 以及模型生成单元,被配置为通过使用得分来形成特定事件和元素之间的关系的模型,并且生成软件的行为模型。

    Software behavior modeling device, software behavior modeling method, software behavior verification device, and software behavior verification method
    2.
    发明授权
    Software behavior modeling device, software behavior modeling method, software behavior verification device, and software behavior verification method 失效
    软件行为建模设备,软件行为建模方法,软件行为验证设备和软件行为验证方法

    公开(公告)号:US08407799B2

    公开(公告)日:2013-03-26

    申请号:US12593376

    申请日:2008-03-28

    IPC分类号: H04L29/06

    CPC分类号: G06F11/3612 G06F21/52

    摘要: 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.

    摘要翻译: 形成软件行为模型的软件行为建模设备包括: 事件信息获取单元,被配置为获取表示软件执行期间发生的特定事件的事件信息; 堆栈信息获取单元,被配置为在特定事件发生时获取存储在呼叫栈中的堆栈信息; 乐谱设定单元,被配置为根据包含在所述音箱信息中的每个元素存储在所述呼叫栈中的存储位置来设定乐谱; 以及模型生成单元,被配置为通过使用得分来形成特定事件和元素之间的关系的模型,并且生成软件的行为模型。