基于接口自动机分析和检测构件良构性的算法
大小：1.16 MB 人气： 2017-12-06 需要积分：1
标签：自动机(9226)
针对构件式系统中任一构件的非良构性会导致系统不能正常运行的问题，提出一种基于接口自动机（IA）来分析和检测构件良构性（well-formedness）的算法，并据此实现了一个构件良构性检测原型系统。该算法首先构造与接口自动机同构的可达图；其次，基于可达图通过深度优先遍历生成一条覆盖所有迁移的有序集；最后，根据该有序集检测在外界环境满足其输入假设的情况下，每个属于方法的活动到其对应返回活动的路径的自治无异常可达性，从而实现接口自动机的良构性检测。根据所提算法在Eclipse平台设计并实现了构件良构性检测原型系统T-CWFC，该系统通过JFLAP建立构件的接口自动机模型并构造其可达图，进而对接口自动机作良构性检测并输出相关检测信息。最后通过对一组构件的良构性检测实验验证了算法的有效性。
非常好我支持^.^
(0) 0%
不好我反对
(0) 0%
下载地址
基于接口自动机分析和检测构件良构性的算法下载
相关电子资料下载
- 2030年，自动驾驶传感器市场将高达235亿美元 170
- 全自动机器人激光焊接机主要用于哪些行业 271
- 汽车线束自动机看板顺序优化方案 380
- 浅谈自动机械手在锻压行业的发展前景 249
- T900数传在无人机自动机场上应用解析 888
- 自动机器人焊接为制造业转型升级赋能！ 368
- 在main函数中运行的自动机 511
- Spring状态机存在的问题 402
- AOI全自动机器人代替人工收放料助推FPC智能工厂生产 1159
- 基于机器学习的跟踪算法的自动机器人提高手术精度 1257