张超
- 作品数：4 被引量：26H指数：3
- 供职机构：清华大学软件学院更多>>
- 发文基金：北京市自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 设备资产管理的数值分析
- 2005年
- 该文应用数值分析方法,定量分析了学校的设备固定资产后认为:10万元以下的设备是日常资产管理的主要工作,10万元以上的设备是资产管理的重要工作;利用幂函数或有理函数可以比较准确地拟合仪器设备总量与价值的关系。
- 马文川刘源源张超
- 关键词：管理科学
- 基于接口自动机与符号执行的嵌入式软件测试用例生成被引量：8
- 2015年
- 随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期的行为特性,以提供用例生成的基础.文中针对嵌入式软件构件,提出建立构件扩展语义接口自动机模型(Extended Semantic Interface Automata,ESIA),通过对接口自动机模型进行变量、约束条件等扩展,支持构件行为特性的描述与理解.以ESIA为基础模型,提出了基于符号执行的ESIA-Symbolic测试用例生成方法,通过搜索有效的事件/数据序列,设计相关测试用例与测试场景.实验以高速列车车载通信系统软件为例进行建模与测试生成,并在测试覆盖率、效率、有效性等方面与相关测试生成方法进行了对比.
- 王博白晓颖张超贺飞SONG Xiao-Yu
- 关键词：测试用例生成
- 区块链的治理机制和方法研究被引量：3
- 2020年
- 讨论了区块链在分布式和去中心化的特性下治理必要性和治理难点,提出了对区块链内容治理的3个层次:共识协议治理、资源治理和规则治理,以及区块链治理的3种方法:链上治理、链下治理和混合治理.为了更加适合区块链的组织结构形式,提出了区块链的中心化混合治理方法,使得区块链治理机构可以协同区块链组织成员在链下完成治理的决策过程,并将决策后的治理结果发送到区块链上自动执行,高效地完成对区块链治理,也避免了其他治理过程中出现的方式单一、不够透明、效率低下、容易分叉等缺陷.
- 张超
- 关键词：区块链
- 对象/关系映射技术的检索查询方式改进被引量：15
- 2006年
- 通过对当前对象/关系映射(Object/RelationMapping,O/R MAPPING)技术中存在的浪费内存缺陷的分析,提出了基于反射机制思想的对O/R MAPPING的技术改进,避免了O/R MAPPING在数据查询检索过程中对非必需字段的选择,从而降低了的内存消耗。并通过一个在真实环境中的模拟试验验证了改进方式的有效性和正确性。
- 张超李春平
- 关键词：HIBERNATE
