【摘 要】
：
为了解决测试用例自动生成中等式约束的求解问题,提出一种加入等式处理策略的分支限界搜索算法.首先将线性代数中判定线性方程组是否有解的方法引入分支限界测试用例生成框架
【机 构】
：
北京邮电大学网络与交换技术国家重点实验室,北京邮电大学自动化学院
【基金项目】
：
国家“八六三”高技术研究发展计划(2012AA011201);国家自然科学基金(91318301)
论文部分内容阅读
为了解决测试用例自动生成中等式约束的求解问题,提出一种加入等式处理策略的分支限界搜索算法.首先将线性代数中判定线性方程组是否有解的方法引入分支限界测试用例生成框架之中;然后在已有算法模型的基础上提出集成等式处理分支限界搜索算法,以支持多种变量类型的等式处理;最后将等式约束分为等式无解、等式多解和等式唯一解三大类进行处理,包含了等式约束求解问题的所有情况.实验结果表明,文中算法可以实现对一部分不可达路径的检测,在很大程度上减少测试用例生成的时间并提高覆盖率;对大工程的测试以及同开源约束求解工具Choco的对比实验,也证明了该算法可以提升测试效率.
其他文献
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
主题餐厅是以文化为主题,以餐厅为载体,以客人的体验为其本质,是餐饮市场中饮食与文化相结合的新形式。本文基于主题餐厅产生的背景、概念和特征,对我国主题餐厅的发展进行概
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
目的 :探讨鹿瓜多肽注射液治疗类风湿性关节炎 (RA)的机理。方法 :以Ⅱ型胶原 (CⅡ )诱导的免疫性关节炎 (CIA)大鼠为RA动物模型 ,通过测量其关节肿胀程度及制作病理切片并在
叙述了杏山铁矿西南回风井施工,井筒净直径Φ6.0m,井筒深度1229m。千米超深竖井施工全部使用的大型提升、凿井设备的布置,机械化施工各机械设备之间的关系和衔接,满足机械设
目的在现代酒包装设计中结合中国传统的书画艺术,使两者得到完美结合。方法分析中国书画元素,并结合现代酒包装设计的特点,解读笔墨、线条等元素的运用。结论现代酒包装设计
在电工教学中应用生产过程系统化“项目教学法”，是以工程项目为主线介绍电工技术知识的广阔领域，在教学伊始就使理论和实践相结合的教育方针得以贯彻，并适应中职教育培养高素质
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技