RAISE规范语言

作品数：8被引量：9H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：顾翔邱建林孙林夫邵浩然蔡琼更多>>
相关机构：南通大学西南交通大学合肥工业大学北京交通大学更多>>
相关期刊：《计算机应用研究》《计算机工程》《计算机应用》《计算机工程与科学》更多>>
相关基金：国家自然科学基金南通市应用研究计划项目江苏省高校自然科学研究项目南通大学自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可信软件实时性测试用例集生成方法研究被引量：2
《计算机应用研究》2009年第6期2344-2346,2348,共4页蔡琼 李兴国 丁帅 
国家自然科学基金资助项目(90718037)
基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素;然后使用划分分析的方法构造测试单元;再利用动态约束求解方法动态构造...
关键词：时间化RAISE规范语言 实时性 可信软件 测试用例 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部