【摘 要】
：
基于路径字符串组合的基本路径集求解算法以简单的字符串处理实现了基本路径集的求解,但该算法没有考虑判断语句的条件拆分问题。提出采用决策表法解决基本路径集求解的条件
【基金项目】
：
湖北省自然科学基金项目(2016CKC774);湖北省教育科学规划课题(2018GB218)
论文部分内容阅读
基于路径字符串组合的基本路径集求解算法以简单的字符串处理实现了基本路径集的求解,但该算法没有考虑判断语句的条件拆分问题。提出采用决策表法解决基本路径集求解的条件拆分问题,在扫描被测程序时提取判断语句信息,将含多个条件的判断语句转化为一个决策表节点,生成含决策表节点的T基本路径集;根据提取的判断语句信息得到因果表达式,生成决策表,依据决策表生成规则路径集,按照一定规则将T基本路径集与规则路径集进行组合,则可生成满足条件覆盖的基本路径集。
其他文献
为解决乳胶基质地面站出现的原材料浪费现象,优化乳胶基质的乳化质量,采用因果分析法对出现的问题逐一分析,发现造成这些现象的主要原因是生产控制系统部分设备选型和参数设
随着我国市场经济的发展,债权法律关系在并不熟悉的主体之间频繁发生,信用授受关系已经脱离了地域的限制。担保物权作为确保债权经济价值的一种制度,在确定性上具有无可比拟
抑制干扰是GIS局部放电在线监测的关键技术之一。尽管局部放电超高频检测方法能够有效避开低频干扰，但来自测量系统的白噪声仍然为准确测量局部放电带来困难。为有效抑制白噪
瘦肉精是一种引起广泛关注的非法饲料添加剂,人食用瘦肉精超标的肉制品后会产生严重的不良反应。本文论述了瘦肉精的药理、毒理作用及检测标准和方法。
专有名词是教育论文写作的细节,也是编辑编校的重要内容。编辑要善于发现问题,还要努力找到正确合理的答案,保证专有名词表述的准确性与规范性。教育论文中专有名词的编辑策
在新的历史时期和经济新常态下,国有企业工会要正视当前国有企业工会工作存在的主要问题,着重解决管理机构不健全、活动开展不正常、管理机制不完善、工作作风不过硬等薄弱环
近年来,由于油炸食品具有独特的口感和诱人的风味而受到越来越多消费者的喜爱,油炸工艺也被广泛用于食品工业中。但是,在高温油炸过程中用于油炸的食用油会发生一系列复杂的
《道德经》是我国历史上传播最广的书籍之一,其第十三章贵身思想,一直为历代注家所争议。文章将从中医的视觉,尝试阐述贵身思想在中医学实践中的意义。贵身思想是中医养生的
随着信息时代的到来,网络技术对人类社会的影响日益深化,犯罪迅速将触角探入了网络领域,呈现出不断异化和复杂之势,给刑法规范带来了极大的冲击。近年来,利用信息网络实施造
为了富集铂族金属矿物南非开发了UG2矿。众所周知,其中的铂族金属矿物是典型的非常细粒嵌布的矿物,它们不易获得良好的单体解离,特别是使用常规旋流器时,粗粒硅酸盐矿物进入