收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于多项式逼近的复杂路径约束求解研究

梅一鸣  
【摘要】:软件测试技术是保障软件质量和可靠性最重要的手段,测试用例的自动生成技术可以有效降低测试开销,提高测试效率,是近年来软件工程领域的热门研究问题。面向路径的测试覆盖被广泛运用于错误发现与缺陷定位,为路径生成有效测试用例对应于求解相应的路径约束。对于复杂的路径约束,对其求解过程的主要困难来自于非线性约束和浮点运算。基于启发式搜索和混合符号执行的方法是目前主流的求解非线性约束的技术。启发式搜索的求解能力严重依赖关键参数值的设定,不适当的参数设定会产生重复搜索而造成多次迭代。混合符号执行在用具体值替换符号值时在一定程度上局限了搜索空间,随机替换的盲目性常常导致丢失可行解。从根本上解决复杂路径约束的求解问题需要设计有效的求解器,理论上已经证明不存在单一算法对任意的约束系统都可以有效求解。因此,需要依据约束系统的特征设计有针对性的求解器。VerifyRealRoots运用符号数值混合计算来获取多项式型浮点约束系统的实数解,是一种可以有效求解高次多项式的工具,特别对于复杂等式组成的多项式系统求解效率极高。在数值计算程序和控制程序中,大量存在着包含多个等式的非线性路径约束系统。目前主流约束求解技术对这类非线性约束的求解能力非常有限,本文尝试采用多项式逼近来求解非线性复杂约束系统,提出了复杂函数约束系统到多项式约束系统的等价表示算法,对于无法等价转换的约束系统,设计了一个迭代框架,用多项式逐步逼进复杂约束系统,再借助于VerifyRealRoots进行求解,并代入到原系统进行验证。具体研究工作如下:1.提出多项式约束的等价表示方法,首先定义了初等函数到变量的基本映射规则,规则涵盖了常见的非线性初等函数。在此基础上,提出从带有复杂函数的约束系统到多项式约束系统的等价转换算法,该算法针对不同的函数关系和变量关系,采用不同的等价规则对复杂约束进行转换。转换得到的多项式约束系统的解就是原约束系统的解。这一方法,有效地提升了可处理的复杂路径约束的类型,即由一般的多项式系统拓展到带有复杂函数的多项式系统。2.提出了一个迭代框架,对于无法等价转换的复杂约束,通过不断地近似拟合构造多项式型约束系统进行逼近。以此为基础,提出了基于多项式逼近的面向路径测试数据自动生成方法。对于给定的路径约束,通过等价转换或者近似拟合方法构造对应的多项式型约束,求得解集后,根据变量之间的映射关系和变换规则逐层反解得到原约束的解集,并进行验证。如果无法求解或者所得数据不能覆盖原约束,会反复迭代,直到输出正确测试用例或者达到阈值。3.根据上述方法,设计并且实现了一个Eclipse插件工具SPF-PLV,能够自动地为Java程序生成测试数据。以标准基准测试程序集为基础,设计了有效性评估和对比实验。有效性评估表明此方法可以有效处理包含非线性运算和浮点运算的复杂约束。与强求解工具SPF-CORAL的对比实验表明,表明我们的方法对于等式型约束的求解能力更强。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李志峰;;根据约束特征建立物体速度关系的新途径[J];物理教师;1993年09期
2 舒强;张亚南;;加强儿童乘车安全管理对策建议研究[J];汽车与安全;2017年02期
3 ;’93京版优秀图书评选揭晓[J];出版参考;1994年15期
4 罗绍凯;《经典和量子约束系统及其对称性质》评介[J];黄淮学刊(自然科学版);1995年S1期
5 沈清;;机动车儿童乘员用约束系统国抽显示 3省市17批次都合格[J];中国质量技术监督;2015年09期
6 周文海;赵燕;汪一立;;车辆-货物-约束系统侧翻失效力学特性的研究[J];武汉理工大学学报(交通科学与工程版);2012年02期
7 凌建民;;医疗保险制度改革利益约束系统刍议[J];劳动世界;1994年09期
8 虞兰生;参数有约束系统的自适应控制[J];哈尔滨船舶工程学院学报;1987年03期
9 李子平;约束系统的变换性质[J];物理学报;1981年12期
10 卫碧文;李志豪;张雅婷;;机动车儿童乘员用约束系统监管问题探讨[J];检验检疫学刊;2017年01期
11 凌建民;职工医疗保险制度改革中利益约束系统刍议[J];江南论坛;1993年S2期
12 孙会宁,陈保伟,张健;汽车辅助约束系统用火工技术的发展[J];火工品;2005年03期
13 许宏伟;受约束系统中嵌入约束条件的矩阵方法[J];力学与实践;1994年05期
14 刘生礼,唐敏,董金祥;遗传模拟退火算法在约束求解中的应用[J];中国图象图形学报;2003年08期
15 郑银环;吕望;周法玖;赵燕;;货车正碰下货物约束系统的性能参数分析[J];机械科学与技术;2011年11期
16 苏敏邦;戎海武;;Van der Pol-Duffing单边约束系统的随机响应[J];中山大学学报(自然科学版);2009年02期
17 陈娜丽;王丽;崔智君;韩小娟;蒋春艳;;约束决策轮及其等级在老年病科约束患者护理中的应用观察[J];河北北方学院学报(自然科学版);2019年12期
18 许林玉;奥古兹·阿卡尔;穆拉特·塔拉科奇;达恩·范·尼彭伯格;;约束何以有益于创新?[J];世界科学;2020年01期
19 林凯;李有良;;自然约束与人为约束[J];历史教学问题;2009年04期
20 夏庆宇;;论政治领导过程中的非制度性约束[J];中共南京市委党校学报;2017年01期
中国重要会议论文全文数据库 前10条
1 张彬;毛溶洁;崔泰松;禹慧丽;赵会;;论约束系统零件在汽车平台化中的模块化运用[A];2015中国汽车工程学会年会论文集(Volume2)[C];2015年
2 吴峻岭;罗登科;;子结构方法在汽车约束系统固定点强度模拟中的应用[A];计算机辅助工程及其理论研讨会2013(CAETS2013)论文集[C];2013年
3 皮建才;;领导、追随与社群合作的集体行动:基于公平相容约束的扩展[A];经济学(季刊)第6卷第2期(总第24期)[C];2007年
4 李静;;浅析对躁狂发作病人的约束护理体会[A];河南省精神科护理风险管理培训班及学术交流会资料汇编[C];2011年
5 韩安媛;唐志武;;定性约束的设计与应用[A];第十届中国科协年会论文集(一)[C];2008年
6 金志宏;吴学群;;用精细化管理推动规范化约束工作的实践和体会[A];第七届中国煤炭经济管理论坛暨2006年中国煤炭学会经济管理专业委员会年会论文集[C];2006年
7 吴志强;丁然;;约束含参分岔问题的分类[A];庆祝中国力学学会成立50周年暨中国力学学会学术大会’2007论文摘要集(下)[C];2007年
8 高翔;;水约束下的西陇海兰新经济带甘肃段城市化发展[A];农业、生态水安全及寒区水科学——第八届中国水论坛摘要集[C];2010年
9 潘春宇;郗文雯;郑重;常卓;;论色彩设计的约束与反约束[A];纪念中国流行色协会成立三十周年:2012中国流行色协会学术年会学术论文集[C];2012年
10 赵学超;陈光;陈勇;刘晓昂;;约束系统对不同坐姿女性驾驶人的保护性研究[A];2018中国汽车工程学会年会论文集[C];2018年
中国博士学位论文全文数据库 前10条
1 王娟;受约束系统的稳定域分析及输出反馈控制方法研究[D];哈尔滨工业大学;2008年
2 刘生礼;约束求解中若干关键技术的研究[D];浙江大学;2003年
3 刘春晖;基于约束传播的约束求解方法研究[D];吉林大学;2008年
4 张恺;面向自适应约束系统的多体征乘员碰撞仿真与损伤分析[D];湖南大学;2018年
5 刘钢;金属切削过程优化中多约束描述与应用[D];上海交通大学;2007年
6 欧阳志高;可逆约束系统在正面碰撞中的乘员损伤防护效能研究[D];湖南大学;2017年
7 付振勇;成对约束传递方法及其在约束聚类问题中的应用研究[D];上海交通大学;2012年
8 邱一苇;多项式逼近方法在电力系统参数化稳定问题中的应用研究[D];浙江大学;2018年
9 曾涛;中国票据市场制度约束与制度创新研究[D];湖南大学;2011年
10 崔卿;基于多样性约束的匹配模型与算法[D];清华大学;2015年
中国硕士学位论文全文数据库 前10条
1 梅一鸣;基于多项式逼近的复杂路径约束求解研究[D];南京大学;2017年
2 蒋桂林;凸约束系统ACQ及强ACQ若干研究[D];云南大学;2018年
3 贺永龙;动态冲击下航空假人/座椅约束系统的响应分析[D];中国民航大学;2019年
4 陈坤;基于THUMS模型的正碰后排乘员损伤分析与约束系统优化[D];重庆理工大学;2019年
5 刘光健;某新型轿车乘员侧约束系统的建立与优化[D];辽宁工业大学;2018年
6 杨杭;乘员侧约束系统对不同百分位假人的保护研究[D];重庆理工大学;2018年
7 廖卓;柔性车辆约束系统稳健性设计及试验方法研究[D];长沙理工大学;2017年
8 王卓;正面碰撞中后排女性乘员损伤防护研究及约束系统优化[D];厦门理工学院;2017年
9 黄凯凯;兼顾女性驾驶员的约束系统研究[D];江苏大学;2017年
10 段大伟;基于不同身材乘员保护的约束系统优化研究[D];湖南大学;2017年
中国重要报纸全文数据库 前10条
1 本报记者 马智博 邢汉夫;“龙江制造”蜂巢约束系统走向全国[N];黑龙江日报;2017年
2 本报记者 赵三明;C—NCAP新规则需要新车进一步提高后排约束系统性能[N];中国工业报;2012年
3 记者 吴限;严格安全监管执法 强化信用规范约束[N];中国改革报;2019年
4 记者 寇江泽 孙秀艳;九项约束性指标七项提前完成[N];人民日报;2020年
5 范文超;以工艺提升释放生产模式定式约束[N];中国航天报;2020年
6 本报通讯员 苏允娴;约束与关爱并重[N];中国纪检监察报;2020年
7 郁颉;确保执纪执法权受监督有约束[N];中国纪检监察报;2020年
8 通讯员 魏云 汪晓冬;我市着力强化企业信用约束和失信联合惩戒[N];马鞍山日报;2018年
9 迁山;减负须有硬约束[N];中国组织人事报;2019年
10 陈绍初 程洁 李旭;一手约束权力 一手保护权利[N];中国财经报;2019年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978