【摘 要】
：
面向具体故障的软件测试技术是当今一个研究热点。数组越界是Java程序设计中的常见故障,该类故障极易导致计算结果错误或系统崩溃。针对Java语言中常见数组越界故障进行了分
【机 构】
：
总装工程兵科研一所,唐山学院,北京邮电大学网络与交换技术国家重点实验室
【基金项目】
：
国家高技术研究发展计划（863）（the National High-Tech Research and Development Plan of China under Grant No.2006AA01Z184）.
论文部分内容阅读
面向具体故障的软件测试技术是当今一个研究热点。数组越界是Java程序设计中的常见故障,该类故障极易导致计算结果错误或系统崩溃。针对Java语言中常见数组越界故障进行了分析,并从面向具体故障的测试思想出发,建立了Java语言中数组越界的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。此方法已实现,并已应用于面向故障的软件测试系统中。
其他文献
目的：探讨乳腺癌浸润性导管癌组织中MMP-9及AnnexinU蛋白的表达及其意义。方法：应用免疫组织化学sP法检测60例乳腺纤维腺瘤组织及60例乳腺浸润性导管癌组织中MMP-9和AnnexinⅡ
目的：观察FOLFOX4和TP方案一线治疗晚期胃癌的疗效和不良反应。方法：收集41例接受FOL—FOX4方案或TP方案一线治疗的晚期胃癌患者的临床资料，其中FOLFOX4组21例，奥沙Nell（L—OHP）85m
提出了一种正弦信号的时延估计算法，它涉及采样和多重相关。该方法可以大大降低时延估计的复杂程度，提高估计的范围和估计的灵活性。并且它可以减小噪声干扰，适用于高频信号，有利
目的：探讨中晚期前列腺癌经18^FDGPET／CT定位适形放疗的疗效、副反应及失败原因。方法：对68例中晚期前列腺癌患者随机分为18^FDGPETYCT定位适形放疗组（PET／CT组）和普通CT定位适形放
目的：探讨WWOX（WW domain containing oxidoreductase）基因的表达与大肠癌生物学行为及Bax（Bcl-2-associated X protein）、E2F1（E2F transcription factor 1）表达的相关性。方法：应用
当前，普通高中与职业高中、城乡普通高中、普通高中教师学历与职称结构、普通高中教育经费投入的非均衡发展等问题始终存在。建议通过加大财政拨款力度，投资重点转向高中教育薄
信号的稀疏表示在信号处理的许多方面有着重要的应用，基于MP的稀疏分解是目前信号稀疏分解的最常用方法，也是几乎所有稀疏分解算法中速度最快的，但其存在的关键问题仍然是计算量
本文主要论述了在当今世界各国对人才要求的竞争中,大学生素质教育的重要性,而音乐在情感教育中的作用,对高素质人才培养所产生的深远影响.
电力公司报价策略是一个双层优化问题,其中上层的ISO是保证社会公共效益最大化而制定的市场清除价模型,确定参与发电的电力公司,下层是基于发电公司利润最大的模型。采用启发
目的：探讨共轭三烯酸（TCLA）对乳腺癌细胞的增殖抑制、凋亡作用及其作用机制.方法：用TCLA处理人正常肝细胞（LO2）及乳腺癌细胞（MCF-7）,用细胞增殖试验（MTT法）、克隆形成试验、EdU掺入试验