【摘 要】
：
Gupta等提出一种线性化谓词函数的方法(简称Gupta方法),为指定程序路径自动生成测试数据.该文给出了一种模型语言,研究静态、动态数据依赖关系的性质以及Gupta方法中各概念的
【基金项目】
：
国家自然科学基金，国家高技术研究发展计划(863计划)，教育部霍英东教育基金会高等院校青年教师基金
论文部分内容阅读
Gupta等提出一种线性化谓词函数的方法(简称Gupta方法),为指定程序路径自动生成测试数据.该文给出了一种模型语言,研究静态、动态数据依赖关系的性质以及Gupta方法中各概念的形式化定义,将Gupta等提出的谓词片推广为路径静态切片,证明了路径静态切片构造算法的正确性.对Gupta方法的改进,省略了构造谓词片和输入依赖集的过程,改进后的方法构造线性约束的效率更高.以改进后的方法为核心算法,开发了面向路径的测试数据自动生成的原型工具,并用实际的程序路径对该工具进行实验.结果表明改进后的方法是比较有效的.
其他文献
<正>2003年,人类基因组计划的完成开启了基因组时代。自此以后,持续的技术进步实现了快速经济地分析大样本患者人群的DNA、RNA、蛋白质及其他生物分子。这些技术产生的数据快
目的探讨天门冬氨酸氨基转移酶(AST)与血小板(PLT)的比值(APRI)、Fibrosis-4(Fib-4)及瞬时弹性成像(FibroScan)联合诊断慢性乙型肝炎肝纤维化程度的临床应用价值。方法回顾性
利用闭凸集上的投影解释support vector的几何意义,利用支持超平面讨论线性分类器的设计问题.对线性可分情形,Support vector由一类数据集合闭凸包在另一类数据集合闭凸包上
良好的可扩展性是并行算法和并行机设计人员追求的一项重要性能指标.以往的可扩展模型都只是孤立地考虑了问题的某个侧面，比如某种性能或最大可利用资源，而没有从整体上进行权
目的分析HBsAg自然转阴的慢性HBV感染者的临床特征。方法纳入2014年9月至2016年5月在延安大学附属医院感染病科门诊就诊以及住院的HBsAg已经自然转阴（通过化学发光法检测HBsAg