搜索到70篇“ 接口自动机“的相关文章
- 基于权重区间的模态接口自动机
- 2023年
- Gerald Lüttgen和Walter Vogler将接口自动机的输入输出行为引入到模态转换系统的模态逻辑中,从而可以隐式允许输入表达,称为模态接口自动机。但他们的工作并没有考虑量化信息,而实际应用中这类量化信息是必要的。本文通过将权重与转换关系相关联,来表达量化信息,建立了加权模态接口自动机,并重新定义了带有权重区间的精化关系。在这个框架中,我们研究了合取、析取和并发等系统算子,并证明了精化关系是关于这些算子的同余关系。
- 黄润华张晋津张君瑶
- 带权重的模态接口自动机理论研究
- 接口自动机和模态转换系统是两种系统建模与规范的形式化工具,前者主要用于检查系统组件的互操作性,后者可区分必须行为和可能行为,从而表达强制性输出。Gerald Lüttgen和Walter Vogler将接口自动机的输入输...
- 黄润华
- 基于SysML-Modelica的混成系统建模及其转换为混成接口自动机的方法
- 本发明公开了基于SysML‑Modelica的混成系统建模及其转换为混成接口自动机的方法。使用SysML状态机图和Modelica分别对混成系统的信息部分和物理部分建模，并利用SysML的端口实现二者的交互，最终使用Sy...
- 李晴曹子宁黄涛
- 接口自动机的良构性检测算法及其实现
- 2017年
- 针对构件式系统中任一构件的非良构性会导致系统不能正常运行的问题,提出一种基于接口自动机(IA)来分析和检测构件良构性(well-formedness)的算法,并据此实现了一个构件良构性检测原型系统。该算法首先构造与接口自动机同构的可达图;其次,基于可达图通过深度优先遍历生成一条覆盖所有迁移的有序集;最后,根据该有序集检测在外界环境满足其输入假设的情况下,每个属于方法的活动到其对应返回活动的路径的自治无异常可达性,从而实现接口自动机的良构性检测。根据所提算法在Eclipse平台设计并实现了构件良构性检测原型系统T-CWFC,该系统通过JFLAP建立构件的接口自动机模型并构造其可达图,进而对接口自动机作良构性检测并输出相关检测信息。最后通过对一组构件的良构性检测实验验证了算法的有效性。
- 李雪朱嘉钢
- 关键词：接口自动机
- 基于模型驱动工程的将AADL组件转换到接口自动机模型方法
- 一种基于模型驱动工程的将AADL组件转换到接口自动机模型方法，包括步骤：步骤10：使用OSATE建立AADL模型；步骤11：使用EMF建立AADL元模型；步骤12：使用EMF建立IA元模型；步骤13：新建一个ATL工程，...
- 张天张岩赵济州李宣东
- 文献传递
- 基于接口自动机与符号执行的嵌入式软件测试用例生成被引量：9
- 2015年
- 随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期的行为特性,以提供用例生成的基础.文中针对嵌入式软件构件,提出建立构件扩展语义接口自动机模型(Extended Semantic Interface Automata,ESIA),通过对接口自动机模型进行变量、约束条件等扩展,支持构件行为特性的描述与理解.以ESIA为基础模型,提出了基于符号执行的ESIA-Symbolic测试用例生成方法,通过搜索有效的事件/数据序列,设计相关测试用例与测试场景.实验以高速列车车载通信系统软件为例进行建模与测试生成,并在测试覆盖率、效率、有效性等方面与相关测试生成方法进行了对比.
- 王博白晓颖张超贺飞SONG Xiao-Yu
- 关键词：测试用例生成
- 一种基于扩展接口自动机模型的嵌入式组件建模与测试方法
- 一种基于扩展接口自动机模型的嵌入式组件建模与测试方法，涉及软件测试与基于模型的测试自动化领域，所述方法适用于嵌入式组件的测试，针对组件接口操作、数据和行为，采用带有约束条件的自动机模型进行描述，基于图搜索和约束求解技术生...
- 白晓颖张任伟牛文生李亚晖
- 文献传递
- 基于接口自动机的混合Web服务组合方法被引量：1
- 2014年
- 在Web服务描述语言（WSDL）与网络服务的本体语言（OWL-S）共存的环境中难以实现Web服务混合组合,为此提出一种以接口自动机为基础的混合Web服务组合方法.分析和描述WSDL与OWL-S间的关系后,在服务组合过程中用接口自动机实现WSDL与OWL-S自动识别和组合;并将服务组合结果与预先设定好的服务质量进行优化对比,选择服务质量最优的来实现不同的业务逻辑.最后通过一组旅游消费服务实验分析验证表明,该方法可行、有效,服务组合效率提高了5％～10％.
- 马昌威马洪江
- 关键词：接口自动机WEB服务描述语言服务质量
- 基于接口自动机的列车通信设备测试用例生成
- 2013年
- 列车通信设备是一种嵌入式系统。有效地测试这类设备是列车运行系统质量保证的重要手段。嵌入式系统测试的重要任务之一是有效地生成测试用例。文中提出基于接口自动机(Interface Automata)技术自动生成列车通信设备的测试用例。现有的接口自动机技术只支持同步消息的发送与接收,而列车通信设备还需要处理异步消息的发送与接收。为此,文中对接口自动机理论进行了扩展,以便支持列车通信设备异步消息通信的需求。依据列车通信网络的规范,文中使用扩展了的接口自动机对列车通信模块及通信模块的组合作了形式化建模,依据测试覆盖准则,自动生成测试序列,并利用模型驱动技术自动生成测试脚本。文中比较了手工生成测试用例方法及所提出的自动生成测试用例技术,展示后者从测试覆盖、时间节约方面的有效性。
- 郁莲李军龙白晓颖刘鑫吴中海
- 关键词：列车通信网络接口自动机
- 一种基于扩展接口自动机模型的嵌入式组件建模与测试方法
- 一种基于扩展接口自动机模型的嵌入式组件建模与测试方法，涉及软件测试与基于模型的测试自动化领域，所述方法适用于嵌入式组件的测试，针对组件接口操作、数据和行为，采用带有约束条件的自动机模型进行描述，基于图搜索和约束求解技术生...
- 白晓颖张任伟
- 文献传递
相关作者
- 胡军
- 作品数：108被引量：374H指数：11
- 供职机构：南京航空航天大学计算机科学与技术学院
- 研究主题：形式化方法 故障树 安全关键系统 SYSML 接口自动机
- 张岩
- 作品数：184被引量：448H指数：10
- 供职机构：吉林大学
- 研究主题：三维模型 纹理合成 接口自动机 图像 不锈钢
- 李宣东
- 作品数：300被引量：846H指数：16
- 供职机构：南京大学
- 研究主题：自动机 面向对象 混成系统 MDA 实时系统
- 徐丙凤
- 作品数：30被引量：211H指数：8
- 供职机构：南京林业大学信息科学技术学院
- 研究主题：故障树 接口自动机 嵌入式软件 形式化方法 信息物理融合系统
- 郑国梁
- 作品数：148被引量：847H指数：16
- 供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
- 研究主题：面向对象 软件工程 软件开发 UML 程序设计
