上下文状态相关论文
目前,软件应用已经渗透到人们生活的方方面面,软件质量已经引起人们普遍关注。程序作为软件的核心,其正确性是保证软件质量的前提......
针对传统基于抽象解释的变量值范围分析方法存在覆盖代码程度不高的问题,提出了一种新的描述单变量值区间方法。该方法采用找到数......
