张成志
- 作品数:3 被引量:22H指数:2
- 供职机构:香港科技大学更多>>
- 发文基金:国家自然科学基金香港特区政府研究资助局资助项目中央高校基本科研业务费专项资金更多>>
- 相关领域:自动化与计算机技术更多>>
- 软件体系结构模型单层化的一致性保障方法被引量:6
- 2006年
- 在软件体系结构(softwarearchitecture,简称SA)设计中,复合构件是具有内部结构的构件,它可以对复杂的SA模型进行层次化的组织.尽管大多数体系结构描述语言都支持复合构件,但常见的SA模型分析与验证工具仅支持单层的SA模型作为输入,且目前的主流构件运行平台都不支持带有内部结构的复合构件模型.因此,有必要将多层的SA模型转化为单层的SA模型(即“单层化”).“单层化”的关键在于如何保证“单层化”前后SA模型的一致性.对该问题及其解决方案进行了系统而深入的研究,给出了SA模型一致性的形式化定义.在此基础上,提出了SA模型“单层化”的基本原则以及过程指南,并以一个构件化的邮件客户端为例,验证了该方法的可行性.
- 杨杰黄罡陈湘萍梅宏张成志
- 关键词:软件体系结构一致性
- 一种基于程序变异的软件错误定位技术被引量:14
- 2013年
- 发现软件不能正常运行后,如何定位错误代码在程序中的位置是软件开发一个众所周知的难点.最近许多软件自动调试技术通过分析成功和失败测试用例的覆盖信息辅助程序员定位错误代码,但这些技术的准确率会受到偶然性成功测试用例的影响.偶然性成功测试用例执行了错误代码,但却没有引发失败的测试结果.研究表明这种测试用例在实际测试中广泛存在,而它们的存在会显著降低错误定位的准确率.针对此问题,文中提出一种称为Muffler的技术.Muffler使用程序变异分析来修正错误代码定位结果,以提高定位的准确率.文中利用8个在错误代码定位研究领域广泛使用的基准程序验证了Muffler的有效性.实验结果表明,与传统错误代码定位技术相比,Muffler能减少程序员50.26%的错误定位代价.
- 贺韬王欣明周晓聪李文军张震宇张成志
- 关键词:软件工程
- 一种面向传感器网络应用程序的有效测试方法被引量:2
- 2013年
- 无线传感器网络是物联网的基本组成部分.随着传感器网络的广泛应用,其软件质量的问题日益突出.传感器网络应用程序中的瞬态错误很难被发现,这是因为它们由偶然交织的事件处理逻辑所触发,而且有效的自动测试预言往往不可得.基于区间的测试方法将传感网程序的执行过程划分为若干区间,并检测包含瞬态错误的区间,但是这种方法可能产生大量的误报.文中详述了对这些误报进行深入研究的结果,并进而提出一种有效的基于区间的测试方法,用于检测传感网程序应用级组件中的瞬态错误.此方法的主要特点是采用新的区间划分策略和程序行为选择策略.这些策略用于排除被分析区间中的良性偶然交织行为.文中提出了一种区间识别算法,并在此基础上实现了该方法的一个原型工具.文中给出了一组实验来评估原型工具的效果和效率.实验结果表明,此工具能够有效而高效地检测被测程序中的瞬态错误.
- 孙玉霞HARROLD Mary Jean张成志汤庸
- 关键词:物联网无线传感器网络误报