收藏本站
《第五届中国测试学术会议论文集》2008年
收藏 | 手机打开
二维码
手机客户端打开本文

基于区间运算和组测试求解CSP以及在测试用例自动生成上的应用

吴子敬  宫云战  郭毅军  
【摘要】:CSP(Constraint Satisfaction Problem)求解部分是目前很多系统的核心部分,对其进行研究有重要作用,本文提出的算法能够解决约束为实数域上由初等函数复合而成的CSP问题。CSP的核心问题就是如何快速求出一组数据使其满足特定几个约束。目前实数域上的CSP问题的求解算法,基本上都是基于迭代或启发式的。这类算法的缺点是不能保证算法一定能够返回一组解。本文提出一种使用区间运算和组测试的方法,此算法首先使用区间运算测试在整个搜索空间内是否有解,如果不能得出确定的结论,那么将搜索空间分裂成几个子空间,并且使用相同方法对每一个子空间进行处理。并且本文提出,当某一约束表达式中所有变量出现的次数为0或1次时,程序在最坏的情况下时空复杂度为lg(V/e~n)=lg(V)-nlg(e)+εε=0,1 V为搜索空间的测度,n为变量个数,e为变量要求的精度。另外,本文提出了约束—变量关联图,并在其基础上对算法做出改进工作,同时还讨论了基于符号计算的改进。最后,本文讨论了CSP求解在测试用例自动生成上的应用。

【共引文献】
中国期刊全文数据库 前10条
1 胡煜寒,张大庆,孙家军;非线性方程的一种区间迭代算法[J];鞍山钢铁学院学报;2000年05期
2 何希勤,黎明,张化光;基于区间数的神经网络逼近性质的研究[J];东北大学学报(自然科学版);1999年05期
3 王守相,王成山,刘若沁;基于模糊区间算法的配电网潮流计算[J];电力系统自动化;2000年20期
4 蔡金锭,马西奎,黄东泉;容差网络可及点优化方法的研究[J];电路与系统学报;2000年02期
5 裴爱华,刘明波,张弛;考虑负荷不确定性的区间潮流计算方法[J];电力系统及其自动化学报;2004年06期
6 蔡金锭,黄东泉;容差网络可及点合理选择的区间分析法[J];电子与信息学报;1995年04期
7 崔向照,杨大地,陈均明;求多项式全部零点的异步并行算法[J];重庆大学学报(自然科学版);2003年07期
8 蔡金锭,黄东泉;区间分析法在容差子网络级故障诊断中的应用[J];福州大学学报(自然科学版);1994年03期
9 仝凌云,杨钊;区间数和泛灰数在区间分析中的比较[J];河北工业大学学报;2001年04期
10 仝宗凯,李杰,王寿梅,邱志平;非线性区间迭代法在结构后屈曲分析中的应用[J];航空学报;1999年06期
中国博士学位论文全文数据库 前10条
1 李海滨;结构有限元分析神经网络计算研究[D];大连理工大学;2003年
2 吴杰;区间参数结构的动力优化[D];吉林大学;2004年
3 肖峻;城市电网规划计算机辅助决策新技术的研究与实现[D];天津大学;2003年
4 喻和平;区间分析理论及其在边坡工程中的应用[D];河海大学;2006年
5 曹筠;宏观经济预测系统集成建模方法与定性仿真研究[D];哈尔滨工程大学;2006年
6 王品;平面和空间机构运动学分析中若干问题的研究[D];北京邮电大学;2006年
7 郝京辉;制造协作组织形成过程任务与资源的集成优化[D];西北工业大学;2006年
8 彭瑞;区间分析在极大极小全局优化和鲁棒控制中的应用[D];同济大学;2007年
9 张曙光;区间参数结构的静力优化[D];吉林大学;2007年
10 麻凯;结构区间参数的二阶近似动态优化方法[D];吉林大学;2007年
中国硕士学位论文全文数据库 前10条
1 张明健;基于三温三电导法的铝酸钠溶液在线实时测量[D];辽宁工程技术大学;2004年
2 张小明;不确定闭环振动控制系统特征值及响应的区间有限元法[D];吉林大学;2004年
3 汪萍锋;确定空间连杆机构装配构形的综合消元法[D];上海海事大学;2003年
4 彭波涛;基于一种软件体系结构描述语言的构件集成测试研究[D];华中师范大学;2006年
5 李小唐;六自由度串联机械手位置逆解若干问题的研究[D];北京邮电大学;2006年
6 熊国辉;基于OPENGL技术6R机器人的仿真[D];北京邮电大学;2006年
7 陈伟;测试用例集极小化算法的研究[D];国防科学技术大学;2006年
8 苏鹊;高阶收敛的修正Chebyshev方法[D];浙江大学;2007年
9 郭洪波;面向对象的软件测试方法研究[D];东北师范大学;2007年
10 肖路;Web应用系统功能测试研究与应用[D];重庆大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 张彩环;刘栋;冯勇;;单变元多项式方程的高效区间牛顿算法[J];四川大学学报(工程科学版);2011年04期
2 谢永强;陈建军;朱增青;;不确定系统响应上下界分析的改进仿射算法[J];电子科技大学学报;2011年04期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 吴子敬;宫云战;郭毅军;;基于区间运算和组测试求解CSP以及在测试用例自动生成上的应用[A];第五届中国测试学术会议论文集[C];2008年
2 刘莉;金大海;宫云战;;区间运算中提高循环处理精度的研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
3 张志克;牛永青;张瑞忠;;邯钢CSP连铸机的技术创新与生产实践[A];河北省2011年炼钢连铸生产技术与学术交流会论文集[C];2011年
4 张志克;牛永青;张瑞忠;;邯钢CSP连铸机的技术创新与生产实践[A];2011年第九届全国连铸学术会议论文集[C];2011年
5 赵海峰;;提高CSP连拉炉数的应用研究[A];河北省2010年炼钢—连铸—轧钢生产技术与学术交流会论文集(上)[C];2010年
6 王和军;;低碳钢C高对CSP连铸的影响[A];2010年全国炼钢—连铸生产技术会议文集[C];2010年
7 吕文学;;CSP连铸连轧生产过程协调控制系统[A];中国计量协会冶金分会2010年会论文集[C];2010年
8 周明伟;吴浩鸿;崔宏荣;;涟钢CSP薄规格生产实践[A];2010年全国轧钢生产技术会议文集[C];2010年
9 邓建军;王彦杰;郝强;;CSP低碳铝镇静钢用钢砂铝脱氧工艺研究与实践[A];第十六届全国炼钢学术会议论文集[C];2010年
10 邓建军;王彦杰;郝强;;CSP低碳铝镇静钢用钢砂铝脱氧工艺研究与实践[A];河北省2010年炼钢—连铸—轧钢生产技术与学术交流会论文集(上)[C];2010年
中国重要报纸全文数据库 前10条
1 长城证券新能源分析师 周涛;资源和政策促进CSP技术发展[N];中国电子报;2010年
2 Uwe Grafe,Ingo Schuster;模拟材料和微观结构设计CSP■设备[N];世界金属导报;2009年
3 王会军;CSP支承辊锁紧门钉断裂分析及预防[N];世界金属导报;2010年
4 朱铮;特尔尼钢铁公司建世界首台生产不锈钢CSP铸机[N];世界金属导报;2001年
5 通讯员 鲜军 陈蛟 李敏;川庆钻探CSP—9队举行联合消防演习[N];中国石油报;2008年
6 阎红;剖宫产再妊娠警惕CSP[N];健康报;2009年
7 本报记者 董征;为运营商增收[N];中国计算机报;2001年
8 本报记者 于进 章利军;创新工艺 催生“钢铁艺术品”[N];中国冶金报;2009年
9 Openet公司 戴诺华;数据调节平台的价值[N];计算机世界;2001年
10 程刚;武钢连铸连轧0.8mm超薄板成功[N];中国冶金报;2009年
中国博士学位论文全文数据库 前10条
1 张超;CSP薄板坯连铸连轧钢的热变形规律及其强化机理[D];武汉科技大学;2012年
2 张波;CSP板级封装在跌落冲击载荷下的可靠性研究[D];上海交通大学;2008年
3 阎志华;虚拟企业信息系统若干关键技术研究[D];南京航空航天大学;2005年
4 沈静;约束满足问题的模型构造和相变现象[D];华中师范大学;2011年
5 孙海龙;结构可靠性分析区间模型的若干问题研究[D];南京航空航天大学;2007年
6 单美静;求解非线性实代数系统的混合算法研究[D];华东师范大学;2008年
7 莫晓云;帕金森病(PD)致病基因LRRK2启动子分离及PD相关基因CSP-α、Nrdp1、USP24突变筛查研究[D];中南大学;2010年
8 沈悦;基于导航通信多模应用的位置服务技术研究[D];中国科学技术大学;2012年
9 樊旭川;区间多项式与区间隐式化方法[D];中国科学技术大学;2005年
10 陈景浒;中高碳合金钢薄板坯连铸连轧新工艺的研究[D];广东工业大学;2011年
中国硕士学位论文全文数据库 前10条
1 陈魁;CSP算法在多任务下的扩展及在脑—机接口中的应用[D];南昌大学;2010年
2 陈磊;CSP和传统热连轧工艺生产的冷轧深冲板性能研究[D];武汉科技大学;2011年
3 钱彦军;WS-CDL与CSP的映射及验证自动化研究[D];云南大学;2011年
4 李书黎;CSP供板冷轧工艺与深冲性能研究[D];武汉科技大学;2012年
5 丁艳;约氏疟原虫CSP抑制肿瘤细胞增殖和存活及其机制研究[D];第三军医大学;2010年
6 宋畅;CSP再结晶模型及其组织与性能研究[D];武汉科技大学;2011年
7 杨柳;CSP生产Q235B热轧带钢边部裂纹分析[D];武汉科技大学;2012年
8 张勇福;CSP生产高强钢再结晶及强化机理[D];武汉科技大学;2012年
9 魏远征;CSP-冷轧基材的热变形规律及深冲板的性能[D];武汉科技大学;2012年
10 薛明;SPHD钢CSP热轧过程计算机模拟[D];武汉科技大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026