【摘 要】
：
嵌入式软件及其运行环境具有一定的特殊性和复杂性,函数调用路径可达到几十条到几十万条,仅靠动态测试无法保证覆盖所有静态路径。在获取静态函数调用关系路径的基础上,利用
【基金项目】
：
基金项目：北京市学科与研究生教育基金（PXM2012-014224-000038）
论文部分内容阅读
嵌入式软件及其运行环境具有一定的特殊性和复杂性,函数调用路径可达到几十条到几十万条,仅靠动态测试无法保证覆盖所有静态路径。在获取静态函数调用关系路径的基础上,利用钩子函数动态提取系统执行过程中的基本信息,跟踪并确定函数的动态调用路径。通过对动态路径的拆分,实现路径子集与全局静态路径集的匹配,找出冗余的测试用例,计算出动态调用路径的覆盖率,有效提高了嵌入式系统测试的准确性和完整性。
其他文献
目的：探讨缺氧预处理（HPC）对创伤性脑损伤（TBI）大鼠挫伤灶周围皮层组织中缺氧诱导因子-1α（HIF-1α）、葡萄糖转运体3型（GLUT-3）表达及神经元存活影响。方法120只Sprague-Dawley大鼠按
颅脑损伤患者在神经外科疾病谱中占有较高的比例,颅脑损伤有很多病例需要手术处理,术前评估是神经外科医师手术成败的关键。对患方来说术前评估有五个方面的因素要认真考虑,
为评价花生壳生物炭农业与环境领域应用价值与潜力,该研究分别在100~800℃条件下制备花生壳生物炭,测定其孔隙参数,以期了解花生壳生物炭在不同热解温度条件下的孔结构变化规
目的探讨双侧大骨瓣减压在迟发性颅高压中的作用。方法选取自武警江西总队医院神经外科自2010年1月至2015年1月收治的7例出现脑疝的迟发性颅高压患者,采用双侧大骨瓣减压手术
目的探索米诺环素是否在血管性痴呆导致的认知功能损害发生发展中发挥一定的神经保护作用，并进一步分析参与其中的相关分子机制。方法SD大鼠随机分为假手术组、模型组和米诺环素治疗组。结扎双侧颈总动脉建立大鼠血管性痴呆模型，术后腹腔注射米诺环素（25，50 mg/kg），28 d后进行水迷宫行为学实验检测认知变化，HE染色和Western blotting分析大鼠海马神经细胞凋亡的相关机制。结果（1）水迷宫
一、背景知识慢性硬膜下血肿（chronic subdural hematoma,CSDH）常见于中老年人,通常以慢性颅内压增高为主要临床表现,多数与头部创伤有关,但往往程度轻微而被忽视。虽然有文献
每个应用系统中存在多条基于函数的调用路径,这些路径的准确提取对于程序的理解、测试和维护起着重要的作用。文章利用开源的Java程序编译优化框架-Soot,对java程序的数据流