-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=模型代数 "
共 条 记 录，以下是1-2

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
面向测试和模型检测需求的程序建模技术研究被引量：1
《计算机应用研究》2015年第9期2693-2696,2701,共5页孙晶 张学娜 
国家自然科学基金资助项目(61070030;61370051);北京市教委学术创新团队项目(4062012)
由于同时支持软件测试和模型检测需求的程序建模比较少,为此提出了一种程序建模技术,该技术主要包括物理存储模型、可视化模型和代数模型。利用程序流图的思想建立物理存储模型和可视化模型,并通过建立在严格数学基础上的代数模型验证...
关键词：模型检测 软件测试 模型代数 程序建模 程序流图 
基于模型代数的基本路径集的自动生成被引量：5
《计算机科学》2017年第4期114-117,共4页赵会群 卢飞 
北方工业大学优势学科项目资助
路径测试是一种根据路径设计测试用例的白盒测试技术,而基本路径测试是其中运用最广泛的一种路径测试方法。基本路径测试是在被测程序的控制流图的基础上导出基本的可执行的路径集合,因此程序控制流图是基本路径集自动生成的关键。考虑...
关键词：路径测试 白盒测试 基本路径集 模型代数 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部