PROMELA

作品数：43被引量：73H指数：5
导出分析报告
相关作者：李祥吴尽昭黄志球唐郑熠孙守卿更多>>
相关机构：贵州大学南京航空航天大学南昌大学北京交通大学更多>>
相关期刊：《计算机技术与发展》《电脑编程技巧与维护》《计算机与数字工程》《计算机与现代化》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件导刊x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
RGPS服务层元模型正确性验证
《软件导刊》2016年第12期8-10,共3页张莉 杨淑贞 杨浩 
浙江省教育厅一般科研项目(2016);浙江省教育中心2014年研究课题(JA049)
随着网络式软件复杂程度的日益增加,如何确保网络式软件功能和性能的正确性越发重要。根据网络式软件的特点,在RGPS需求元建模框架的指导下,提出RGPS服务层元模型正确性验证。首先用BPEL语言和WSDL语言把RGPS服务层元模型描述成BPEL模型...
关键词：网络式软件 BPEL PROMELA LTL公式 正确性验证 
基于SPIN的功能测试用例生成方法研究
《软件导刊》2016年第7期1-4,共4页李建 杨晋吉 
国家自然科学基金项目(61272066)
提出了一种自动生成系统功能测试用例的新方法。该方法使用Promela语言对软件系统的状态和行为进行描述建模,使用LTL公式描述测试覆盖标准,然后将该组LTL公式和描述状态行为的Promela模型输入SPIN模型检测工具,并利用模型检测工具自动...
关键词：功能测试用例 SPIN 模型检测 Promela建模 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部