接口自动机

作品数：36被引量：111H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：胡军张岩李宣东徐丙凤于笑丰更多>>
相关机构：南京航空航天大学南京大学清华大学南京审计大学更多>>
相关期刊：《计算机研究与发展》《软件学报》《计算机工程》《煤炭技术》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划江苏省自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于权重区间的模态接口自动机
《计算机时代》2023年第5期20-24,共5页黄润华 张晋津 张君瑶 
国家自然科学基金(61602249);江苏省高校自然科学研究项目-重大项目(21KJA630001);江苏省研究生科研与实践创新计划项目(KYCX21_1949)。
Gerald Lüttgen和Walter Vogler将接口自动机的输入输出行为引入到模态转换系统的模态逻辑中,从而可以隐式允许输入表达,称为模态接口自动机。但他们的工作并没有考虑量化信息,而实际应用中这类量化信息是必要的。本文通过将权重与转...
关键词：模态接口自动机 量化信息 精化关系 系统算子 
基于接口的构件检索方法研究
《信息记录材料》2020年第6期169-171,共3页杨春霞 王宏涛 
陕西省教育厅专项科研计划项目(17JK1021)。
有效的构件检索是提高软件开发效率的前提条件之一。本文基于接口自动机,用构件接口中方法的二元关系描述构件行为,并结合提出的构件库组织方法,给出了一个构件检索的系统性框架。阐述了从接口自动机到二元关系的转换和计算方法,提出了...
关键词：构件检索 接口自动机 有向图 构件行为 
基于执行序列的嵌入式软件时序异常检测被引量：7
《计算机学报》2017年第12期2635-2657,共23页王博 白晓颖 陈文光 SONG Xiaoyu 
国家自然科学基金(91218302;61472197);北京市自然科学基金(4132062)资助~~
时序特性是嵌入式软件的重要特性,实时嵌入式软件运行的正确性不仅依赖于任务执行结果,更依赖于任务执行时间.执行任务往往具有多个时间约束,且相互之间可能存在制约关系,对时间约束进行验证和确认是嵌入式软件测试的一个重要问题.文中...
关键词：接口自动机 时间约束 执行片段 相关性分析 时序缺陷检测 软件测试 嵌入式软件 
包含协议和语义的构件一致性验证方法被引量：1
《计算机应用研究》2017年第7期2038-2044,共7页黄可望 李雪 朱嘉钢 
江苏省产学研联创项目(BY2013015-40)
在基于构件的系统设计中,需要对构件的一致性进行验证。构件的一致性包括语义一致性和协议一致性,已有的一致性验证方法仅支持构件的协议一致性验证。而在实际应用中除了要进行构件的协议一致性验证外,还需要进行其语义一致性验证。为...
关键词：构件式设计 方法语义 语义扩展接口自动机 一致性 带语义约束的交互概观图 
接口自动机的良构性检测算法及其实现
《计算机应用》2017年第2期574-580,共7页李雪 朱嘉钢 
江苏省产学研项目(BY2013015-40)~~
针对构件式系统中任一构件的非良构性会导致系统不能正常运行的问题,提出一种基于接口自动机(IA)来分析和检测构件良构性(well-formedness)的算法,并据此实现了一个构件良构性检测原型系统。该算法首先构造与接口自动机同构的可达图;其...
关键词：接口自动机 构件 良构性 最简运行 
业务流程建模与测试方法研究被引量：3
《西安交通大学学报》2016年第3期127-133,共7页丁明 张书玲 张琛 
国家自然科学基金资助项目(61502365)
针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题,在研究接口自动机模型的基础上,提出了一种基于模型的业务流程测试方法。该方法首先采用扩展带约束的接口自动机对业务流程设计进行形式化描述,并给出...
关键词：业务流程 接口自动机 覆盖准则 测试用例 
基于带数据约束实时系统的互模拟检测方法被引量：1
《计算机技术与发展》2016年第1期6-9,17,共5页李国拯 高正 
航空科学基金(20128052064);中央高校基本科研业务费专项资金(NZ2013306);国家"973"重点基础研究发展计划项目(2014CB744903)
带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统,其广泛存在于航空航天、工业控制、国防等安全攸关系统,并发挥着至关重要的作用。针对这类系统的形式化建模与验证是确保其正确性和可靠性的重要途径。文中首...
关键词：实时系统 接口自动机 Z语言 时间自动机 互模拟检测 
基于接口自动机与符号执行的嵌入式软件测试用例生成被引量：9
《计算机学报》2015年第11期2125-2144,共20页王博 白晓颖 张超 贺飞 SONG Xiao-Yu 
国家自然科学基金(91218302;61472197);国家"九七三"重点基础研究发展规划项目基金(2011CB302505);国家"八六三"高技术研究发展计划项目基金(2013AA01A215);北京市自然科学基金(4132062)资助~~
随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期...
关键词：扩展语义接口自动机 符号执行 测试用例生成 
基于接口精化的广义无干扰性研究被引量：2
《计算机研究与发展》2015年第7期1631-1641,共11页孙聪 习宁 高胜 张涛 李金库 马建峰 
长江学者和创新团队发展计划项目(IRT1078);国家自然科学基金委员会--广东联合基金重点基金项目(U1135002);国家科技重大专项基金项目(2011ZX03005-002);国家自然科学基金项目(61303033;61272398);陕西省自然科学基础研究计划项目(2013JQ8036);中央高校基本科研业务费专项资金项目(JB140309);航空科学基金项目(2013ZC31003;20141931001)
在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的规约和验证问题是构件化软件开发过程中关注的关键问题.针对当前构件化软件设计过程中,信息流安全属性仅...
关键词：信息流安全 无干扰性 接口自动机 精化 构件化设计 
基于接口自动机的混合Web服务组合方法被引量：1
《计算机应用》2014年第6期1774-1778,共5页马昌威 马洪江 
四川省科技支撑计划项目(2014GZ0013);四川省应用基础研究项目(2014JY0005)
在Web服务描述语言（WSDL）与网络服务的本体语言（OWL-S）共存的环境中难以实现Web服务混合组合,为此提出一种以接口自动机为基础的混合Web服务组合方法.分析和描述WSDL与OWL-S间的关系后,在服务组合过程中用接口自动机实现WSDL与OWL-...
关键词：接口自动机 混合Web服务 WEB服务描述语言 服务组合 服务质量 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部