张成志

作品数：3被引量：23H指数：2
导出分析报告
供职机构：香港科技大学更多>>
发文主题：定位技术软件工程一致性软件体系结构模型软件体系结构更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机学报》《软件学报》更多>>
所获基金：国家自然科学基金香港特区政府研究资助局资助项目中央高校基本科研业务费专项资金国家科技重大专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种面向传感器网络应用程序的有效测试方法被引量：2
《计算机学报》2013年第12期2371-2389,共19页孙玉霞 HARROLD Mary Jean 张成志 汤庸 
香港特别行政区研究资助局项目(612210);国家自然科学基金(61272067);广东省自然科学基金团队研究项目(S2012030006242)资助~~
无线传感器网络是物联网的基本组成部分.随着传感器网络的广泛应用,其软件质量的问题日益突出.传感器网络应用程序中的瞬态错误很难被发现,这是因为它们由偶然交织的事件处理逻辑所触发,而且有效的自动测试预言往往不可得.基于区间的测...
关键词：物联网 无线传感器网络 瞬态错误 基于区间的测试 误报 
一种基于程序变异的软件错误定位技术被引量：15
《计算机学报》2013年第11期2236-2244,共9页贺韬 王欣明 周晓聪 李文军 张震宇 张成志 
国家自然科学基金(6103027);中山大学中央高校基本科研业务费专项资金(10LGZD05,1LGPY39);香港研究资助局项目(61210);国家科技重大专项经费(2012ZX01039-004)资助~~
发现软件不能正常运行后,如何定位错误代码在程序中的位置是软件开发一个众所周知的难点.最近许多软件自动调试技术通过分析成功和失败测试用例的覆盖信息辅助程序员定位错误代码,但这些技术的准确率会受到偶然性成功测试用例的影响.偶...
关键词：软件调试 错误定位 程序变异分析 软件工程 
软件体系结构模型单层化的一致性保障方法被引量：6
《软件学报》2006年第6期1391-1400,共10页杨杰 黄罡 陈湘萍 梅宏 张成志 
国家自然科学基金;国家高技术研究发展计划(863);国家重点基础研究发展规划(973);IBM大学合作研究计划~~
在软件体系结构(softwarearchitecture,简称SA)设计中,复合构件是具有内部结构的构件,它可以对复杂的SA模型进行层次化的组织.尽管大多数体系结构描述语言都支持复合构件,但常见的SA模型分析与验证工具仅支持单层的SA模型作为输入,且目...
关键词：软件体系结构 一致性 复合构件 模型转换 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部