谢武平

作品数：6被引量：23H指数：3
导出分析报告
供职机构：江西师范大学更多>>
发文主题：PAR方法APLARA可靠性研究测试用例更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机技术与发展》《计算机研究与发展》《软件学报》《计算机工程与科学》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划国际科技合作与交流专项项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
抢占式调度问题的PPTA模型与验证方法
《软件学报》2024年第10期4533-4554,共22页左正康 赵帅 王昌晶 谢武平 黄箐 
国家自然科学基金(61862033,62262031);江西省教育厅科技项目(GJJ210307,GJJ210334)。
优先级用于解决诸如在资源共享和安全设计等方面的冲突,已经成为实时系统设计中不可或缺的一部分.对于引入优先级的实时系统,每个任务都会被分配优先级,这就导致低优先级的任务在运行时可能会被高优先级的任务抢占资源,进而给实时系统...
关键词：优先级抢占式调度 抢占式优先级时间自动机 多核多任务实时系统 UPPAAL 
无线射频RFID识别协议自动验证方法研究被引量：3
《计算机科学》2017年第9期99-104,共6页宋岚 薛锦云 胡启敏 谢武平 江东明 游珍 
国家自然科学基金(61272075;61472167;61462041;61363012);江西省科技厅项目(20161BBH80039)资助
Population Protocols是一种受生物启发的计算模型,能够表示无线网络中数量庞大但计算能力弱的多组件间的交互,它为无线传感器网络提供了一种可计算推理的理论框架。将Population Protocol理论引入到RFID识别协议中,提出了RFID识别协议...
关键词：POPULATION Protocols RFID 协议验证 SPIN 
Radl算法到Apla程序的生成系统被引量：10
《计算机研究与发展》2014年第4期856-864,共9页谢武平 薛锦云 
国家自然科学基金项目(60573080;60273092);国家自然科学基金重大国际(地区)合作研究项目(61020106009)
算法设计是一项创造性工作,传统的设计与描述方法难以保证算法的正确性.在PAR方法中通过定义具有数学引用透明性的算法描述语言Radl,可实现对问题规约进行形式化推导得到用递推关系描述的算法.Radl算法的核心就是递推关系组,从而易于进...
关键词：PAR方法 Radl算法 程序生成 算法推导 生成规则 
循环不变式开发技术研究被引量：5
《计算机工程与科学》2010年第9期84-88,94,共6页万松松 薛锦云 谢武平 
国家自然科学基金资助项目(60773054);国家973计划资助项目(2003CCA02800);科技部国际科技合作项目(2008DFA11940)
高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也...
关键词：循环不变式 PAR方法 高可靠性软件 谓词抽象 
基于方面构件模型及其组装与实现被引量：1
《计算机技术与发展》2009年第4期160-162,165,共4页谢武平 薛锦云 万松松 
国家自然科学基金项目(60273092);科技部973重大基础研究发展前期专项资助项目(2003CCA02800)
将面向方面编程技术融入传统的基于构件开发方法,提出了一种基于方面的构件模型。同时探讨了基于方面构件的组装策略以及利用XML语言描述组装、编织方面化构件的处理逻辑。新的构件模型采用更加模块化的构件实现方式,从传统构件模型中...
关键词：面向方面编程 构件组装 关注点 
最小测试用例集生成方法改进及应用被引量：5
《计算机技术与发展》2008年第10期181-183,共3页万松松 薛锦云 谢武平 
国家自然科学基金项目(69783006)
软件测试是保证软件质量和可靠性的重要手段,如何对软件进行全面且高效的测试一直是备受关注的问题。分析了白盒测试与黑盒测试的优缺点;具体分析了最小测试用例生成算法,接着对生成最小测试用例集的方法提出改进:首先消除掉测试需求中...
关键词：软件测试 测试用例 测试需求 测试用例精简 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部