[发明专利]软件行为模型化装置、软件行为模型化方法、软件行为验证装置以及软件行为验证方法无效
| 申请号： | 200880010524.1 | 申请日： | 2008-03-28 |
| 公开（公告）号： | CN101652755A | 公开（公告）日： | 2010-02-17 |
| 发明（设计）人： | 中山雄大;池部优佳;竹下敦;加藤和彦;阿部洋丈;铃木胜博 | 申请（专利权）人： | 株式会社NTT都科摩 |
| 主分类号： | G06F11/34 | 分类号： | G06F11/34;G06F11/28;G06F21/22 |
| 代理公司： | 北京银龙知识产权代理有限公司 | 代理人： | 许 静 |
| 地址： | 日本*** | 国省代码： | 日本;JP |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供软件行为模型化装置、软件行为模型化方法、软件行为验证装置以及软件行为验证方法。软件行为模型化装置(100)包括：事件信息取得部(110)，其取得表示在软件的运行中发生的特定事件的事件信息；堆栈信息取得部(120)，其取得在发生特定事件的时刻存储在暂存器中的堆栈信息；模型生成部(130)，其根据包含在堆栈信息中的返回地址存储在暂存器中的存储位置，对返回地址设定得分，并使用存储位置以及得分，对所述特定事件与所述要素之间的关系进行模型化，生成所述软件的行为模型。 | ||
| 搜索关键词： | 软件 行为 模型 化装 方法 验证 装置 以及 | ||
【主权项】：
1.一种软件行为模型化装置，其对软件的行为进行模型化，其特征在于，包括：事件信息取得部，其取得表示在所述软件的执行中发生的特定事件的事件信息；堆栈信息取得部，其取得在发生所述特定事件的时刻存储在调用栈中的堆栈信息；得分设定部，其根据包含在所述堆栈信息中的要素被存储在所述调用栈中的存储位置，设定得分；以及模型生成部，其使用所述得分，对所述特定事件与所述要素之间的关系进行模型化，生成所述软件的行为模型。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于株式会社NTT都科摩，未经株式会社NTT都科摩许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200880010524.1/，转载请声明来源钻瓜专利网。
- 上一篇：数据存储系统中的业务工作量标识
- 下一篇：诊断系统
