博士科研启动基金(2010-12)

作品数：3被引量：16H指数：2
导出分析报告
相关作者：张新常阎保平李兴锋杨美红王鲁更多>>
相关机构：山东省计算中心中国科学院山东省计算机网络重点实验室山东省科学院更多>>
相关期刊：《电子与信息学报》《计算机应用与软件》更多>>
相关主题：SPINWEB_SERVICEWEBTTCN-3SERVICE更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
采用SPIN的自动柜员机业务逻辑模型检测方法被引量：2
《计算机应用与软件》2012年第6期36-38,50,共4页史慧玲 马文可 张新常 张玮 
国家自然科学基金项目(61070039);山东省科学院博士基金(2010-12)
由于自动柜员机需要提供可靠的服务,确保其业务逻辑的正确性具有非常重要的意义。然而,传统的测试方法不能对其正确性进行验证。以相关业务逻辑为具体实例,给出一种基于Spin(Simple Promela Interpreter,一种典型的模型检测工具)的自动...
关键词：模型检测 线性时态逻辑 自动柜员机 
基于Web Service的TTCN-3远程测试系统被引量：5
《计算机应用与软件》2012年第6期137-140,共4页孙萌 陈静 王鲁 
山东省科学院博士基金项目(2010-12)
通过分析TTCN-3测试系统的通用结构,提出基于TTCN-3的远程测试概念,进而提出一种基于Web Service的TTCN-3远程测试系统体系架构,实现TTCN-3脚本的远程编辑、编译和执行,满足测试人员通过远程客户端自动地测试被测系统的需求。通过将该...
关键词：TTCN-3 WEB SERVICE 远程测试 远程测试系统 
基于SPIN的模块化模型检测方法研究被引量：9
《电子与信息学报》2011年第4期902-907,共6页李兴锋 张新常 杨美红 阎保平 
国家973计划项目(2009CB320502);国家自然科学基金(61070039);国家863计划项目(2009AA01Z145);山东省科学院院博士基金(2010-12)资助课题
该文针对模型检测过程中所存在的状态爆炸问题,提出了一种基于模型检测工具SPIN的模块化模型检测方法。所提出的方法能够将指定的抽象模型分解成若干的模块,并对这些验证复杂度相对低的模块执行模型检测,以替代对原模型的模型检测。所...
关键词：模型检测 扩展有限状态自动机 状态爆炸 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部