赵鹤

作品数:6被引量:7H指数:2
导出分析报告
供职机构:四川大学计算机学院更多>>
发文主题:UPPAAL测试用例自动生成测试用例生成GATEC/C++程序更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机应用研究》《软件工程》《现代计算机(中旬刊)》《计算机科学》更多>>
所获基金:四川省应用基础研究计划项目更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-6
视图:
排序:
基于UPPAAL的微电网产能组件建模方法
《软件工程》2018年第10期1-6,共6页姜科 洪玫 赵鹤 张光兰 
微电网是指由分布式电源、储能装置、能量转换装置、相关负荷监控、保护装置汇集而成的小型发配电系统。微电网的产能组件是微电网的重要组成部分,由于电源分布具有一定的随机性且电源的稳定性和时间相关联,致使微电网的在不同运行方式...
关键词:微电网 组件建模 微电网建模 产能组件 形式化验证 
基于观察者模式的实时系统验证方法被引量:2
《计算机科学》2017年第12期156-162,174,共8页赵鹤 洪玫 杨秋辉 高婉玲 
四川省应用基础研究项目:嵌入式系统软件形式化验证技术研究(2014JY0112)资助
复杂实时系统的验证问题一直备受关注。验证过程中,验证特性可以用时序逻辑来描述,但时序逻辑对于非专业人员而言较为复杂,难度较大。观察者模式是一个额外的子系统,可以将复杂的验证特性转换为简单的可达性问题,同时也可以避免使用复...
关键词:观察者模式 实时系统 UPPAAL Train-Gate 模型检测 
统计算法选择对统计模型检测效率的影响分析被引量:1
《计算机科学》2017年第S1期499-503,533,共6页高婉玲 洪玫 杨秋辉 赵鹤 
嵌入式系统软件形式化验证技术研究(2014JY0112)资助
近年来,统计模型检测技术已经得到了广泛的应用,不同的统计算法对统计模型检测的性能有所影响。主要对比不同统计算法对统计模型检测的时间开销影响,从而分析算法的适用环境。选择的统计算法包括切诺夫算法、序贯算法、智能概率估计算...
关键词:统计模型检测 统计算法 无线局域网协议 哲学家问题 PLASMA 
静态程序分析方法和工具
《现代计算机(中旬刊)》2017年第2期38-43,共6页高婉玲 赵鹤 
综述静态程序分析的方法和工具。采用系统化文献评价方法和文献计量分析方法,通过论文的收集、筛选、内容提取等过程,对大量论文的信息进行总结分析。通过文献管理工具Endnote、数据分析软件SPSS和文献分析工具Ref Viz,统计分析论文数...
关键词:程序分析 静态分析方法 静态分析工具 系统化文献评价 
基于模型的软件测试用例生成方法比较研究被引量:2
《现代计算机》2017年第3期20-26,共7页赵鹤 高婉玲 
随着软件系统的规模和复杂度的增加,软件测试的自动化提上日程,软件测试用例的自动化生成成为降低测试成本的重要途径。模型检测技术和工具的出现,使得软件测试用例的生成更加自动化。本文对基于模型检测技术的测试用例自动生成方法进...
关键词:软件自动化测试 测试用例自动生成 基于模型的测试用例生成 模型检测 有限状态机 
基于有界模型检测的C/C++程序内存泄露检测被引量:2
《计算机应用研究》2016年第6期1762-1766,共5页黄蔚 洪玫 杨秋辉 郭鑫宇 代声馨 徐保平 高婉玲 赵鹤 
四川省应用基础研究项目(2014JY0112)
C/C++语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄露,导致系统性能降低甚至系统崩溃。为了更加有效地检测内存泄露,提出了一个基于有界模型检测技术的C/C++程序内存泄露检测方案MLD-CBMC。该方案以C/C++程序文...
关键词:C/C++程序 内存泄露 有界模型检测 可满足性模理论 
检索报告 对象比较 聚类工具 使用帮助 返回顶部