[发明专利]一种基于有限自动机的行为自动建模方法无效
| 申请号： | 201110102612.8 | 申请日： | 2011-04-22 |
| 公开（公告）号： | CN102135940A | 公开（公告）日： | 2011-07-27 |
| 发明（设计）人： | 胡昌振;周银;王崑声;赵小林;薛静锋 | 申请（专利权）人： | 北京理工大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京理工大学专利中心 11120 | 代理人： | 张利萍;高燕燕 |
| 地址： | 100081 *** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明属于软件行为领域，涉及一种基于有限自动机的行为自动建模方法。第一步：获取交互轨迹：获取样例执行情况的交互轨迹使得交互轨迹执行顺序唯一；第二步：合并输入一等价轨迹：将生成的样例交互轨迹按输入等价的原则进行合并；第三步：获得谓词；第四步：通过第三步得到行为模型的扩展有限自动机EFA，增加一个公共的初始状态得到初始的EFA，再根据等价原则合并获得最终的EFA。本发明的目的就是为了获得更多更精确的信息，生成更好的软件行为模型。 | ||
| 搜索关键词： | 一种 基于 有限 自动机 行为 自动 建模 方法 | ||
【主权项】：
基于有限自动机的行为自动建模方法，其特征在于：包括以下步骤：第一步：获取交互轨迹：获取样例执行情况的交互轨迹使得交互轨迹执行顺序唯一；第二步：合并输入‑等价轨迹：将生成的样例交互轨迹按输入等价的原则进行合并；第三步：获得谓词；第四步：通过第三步得到行为模型的扩展有限自动机EFA，增加一个公共的初始状态得到初始的EFA，再根据等价原则合并获得最终的EFA。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京理工大学，未经北京理工大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201110102612.8/，转载请声明来源钻瓜专利网。
- 上一篇：地震来临声光提醒装置
- 下一篇：电控配电系统消防预报警监视控制方法
