论文部分内容阅读
蜕变测试技术认为,测试中成功的测试用例可为构造蜕变关系提供有价值的信息,而似然蜕变关系的动态发现方法是根据已经成功运行的测试数据来发现蜕变关系的启发信息,基于一种似然蜕变关系发现算法的基本框架,进一步具体设计和实现算法,且开发相应的工具,实验表明该算法的可行性及工具的实用性.
一种似然蜕变关系动态发现工具设计
【摘 要】
：
蜕变测试技术认为,测试中成功的测试用例可为构造蜕变关系提供有价值的信息,而似然蜕变关系的动态发现方法是根据已经成功运行的测试数据来发现蜕变关系的启发信息,基于一种
【机 构】
：
南华大学计算机学院,中核集团高可信计算重点学科实验室
【出 处】
：
南华大学学报：自然科学版
【发表日期】
：
2018年2期
【基金项目】
：
湖南省教育厅科学研究项目（16C1379）, 衡阳市科技计划项目（2017KJ273）
其他文献
采用腐殖酸（ HA）修饰铝-柱撑膨润土（ Al-PILC）,制备得到腐殖酸-柱撑膨润土（ HA-Al-PILC）,用于去除含铀废水中的铀.通过静态吸附实验考察了投加量、pH值,接触时间、U（ VI）初始浓度对吸
分析论证了中低低变换工艺的中变反应段催化剂用量的确定原则及造成其床层超温的因素。提出了床层热点温度的合理调节和控制方法。
目的:探讨藻红蛋白介导的光动力效应对肝癌细胞的杀伤机制是否与诱导瘤细胞凋亡有关.方法:对培养的人肝癌细胞进行光动力治疗处理,通过观察DNA Ladders的形成和形态学改变,判
韩非子的人性论是由"圣人"之聪明睿智之性、虚静无为之心与"众人"之好利之性、欲利之心共同构成的二元结构。人性与人心,是一个好利与向善的综合体。人性好利决定人情好利,但