[发明专利]一种基于场景模型的安全性分析方法在审
| 申请号： | 201711354486.9 | 申请日： | 2017-12-15 |
| 公开（公告）号： | CN108108159A | 公开（公告）日： | 2018-06-01 |
| 发明（设计）人： | 吴兆启 | 申请（专利权）人： | 佛山市极加互动科技有限公司 |
| 主分类号： | G06F8/20 | 分类号： | G06F8/20;G06F8/35;G06F8/34 |
| 代理公司： | 佛山帮专知识产权代理事务所(普通合伙) 44387 | 代理人： | 颜春艳 |
| 地址： | 528200 广东省佛山市南海区*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | |||
| 搜索关键词： | 安全性分析 状态机模型 时序 场景模型 工作效率 功能模拟 功能行为 功能需求 矛盾检测 模型扩展 生成系统 顺序行为 行为序列 需求描述 并发 检测 | ||
【权利要求书】：
1.一种基于场景模型的安全性分析方法，其特征在于，包括以下步骤：
(1)根据领域知识对不同UML时序图进行矛盾检测；
(2)若不同的UML时序图之间有矛盾，则对UML时序图进行修改和求精，获得一致的UML时序图描述；
(3)区分UML时序图中对象的并发行为序列与顺序行为序列；
(4)如果对象具有并发的行为序列，则在并发行为序列的开始和结束处增加无接收对象的行为标记执行步骤(6)；否则执行步骤(5)；
(5)对象交互的行为都是顺序行为序列，写出对象的FSP进程代数模型，然后跳到步骤(9)
(6)如果对象的第一个交互行为前没有增加行为标记，则写出子进程的FSP进程代数模型；否则对象设为同一FSP进程代数模型；
(7)写出步骤(6)中对象的FSP进程代数模型，写出子进程对象的FSP子进程代数模型；
(8)如果所有UML时序图中的所有对象已描述成FSP进程代数模型，则继续步骤(9)；否则重复步骤(4)～(8)；
(9)根据对象的FSP进程代数模型，通过模型检测器LTSA生成相应的有穷状态机模型；
(10)在LTSA中对系统的有穷状态机模型进行功能模拟，检测其功能行为是否满足系统的功能需求，若满足，则将其作为系统的形式化模型，否则，反复执行步骤(1)～步骤(10)，对系统的有穷状态机模型进行修改和求精。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于佛山市极加互动科技有限公司，未经佛山市极加互动科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/pat/books/201711354486.9/1.html，转载请声明来源钻瓜专利网。
- 上一篇：一种面向安卓的用户个性化定制语音控制应用方法
- 下一篇：一种个人设备管理系统
