端木传毅

作品数：2被引量：2H指数：1
导出分析报告
供职机构：四川大学计算机学院更多>>
发文主题：测试用例生成技术BAN逻辑PKI备案价值函数更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《四川大学学报（自然科学版）》更多>>
所获基金：国家教育部博士点基金国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于双价值函数禁忌搜索的测试用例生成技术被引量：1
《四川大学学报（自然科学版）》2010年第1期61-66,共6页端木传毅 邓洪敏 胡晓勤 赵奎 卢正添 
国家自然科学基金(60573130;60502011;60873246);国家"863"计划(2006AA01Z435);教育部博士点基金(20070610032)
基于禁忌搜索算法的软件测试用例自动生成是目前一项先进的软件测试技术.传统的基于元启发式算法的自动测试技术只有一个价值函数,本文针对禁忌搜索算法提出强化和多样化两个价值函数.测试用例生成器通过调用强化价值函数来强化搜索过程...
关键词：软件测试 价值函数 禁忌搜索 
一种安全的采购项目备案协议被引量：1
《四川大学学报（自然科学版）》2010年第1期67-70,共4页董长阳 刘晓洁 胡晓勤 卢正添 端木传毅 
国家自然科学基金(60573130;60502011;60873246);国家"863"计划项目(2006AA01Z435);教育部博士点基金项目(200706100327)
本文提出了一种面向网上政府采购的安全采购项目备案的协议.该协议运用了以数字证书为核心的PKI技术,实现了用户的身份认证和访问控制,保证了整个采购项目的备案过程中数据的保密性、完整性和不可抵赖性.并通过一种形式分析模型BAN逻辑...
关键词：电子政务 PKI BAN逻辑 备案 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部