• 人民日报为人民,70年办报不容易,办报人付出了心血和汗水,记录了中国的发展过程,祝愿办得越来越好! 2019-07-20
  • 最美逆行!高速隧道突发火灾  交警三次逆行穿火线撤离400多名群众 2019-07-17
  • 《陕西省县域经济社会发展监测考评办法》解读 2019-07-17
  • 一切都是老板炒工人的鱿鱼 2019-07-14
  • 赏花不用跑远 宗角禄康开得正艳 2019-07-14
  • 车俊会见毛里求斯代总统 2019-07-14
  • 除了杨崇勇,“2亿元贪官俱乐部”至少还有这些人 2019-07-09
  • [民生热线]咸安西大街烤鸭店每天油烟扰民 区政府:已责令整改 2019-07-09
  • 海淀:得天独厚的自然条件 2019-07-09
  • 进京通行证限次数!70.9万辆本地化使用外埠号牌车或将受影响 2019-07-06
  • 6月14日凤凰直通车:茅台再开市场化招聘大门,32个部门要285人葡萄 种植 2019-07-05
  • 东京湾产业转型启示录 2019-07-05
  • 中国三星获第十二届人民企业社会责任奖年度扶贫奖 2019-06-30
  • 一个语文基础都没有的人就喜欢指手画脚, 2019-06-30
  • 匹夫有责之一百一十二—道义大义的博客—强国博客—人民网 2019-06-25
    • / 13
    • 下载费用:20 金币  

    彩票走势图广西11选5: 一种基于四值逻辑的位运算测试用例生成方法.pdf

    摘要
    申请专利号:

    广西11选5大小走势图 www.fnjpv.tw CN201510416680.X

    申请日:

    2015.07.15

    公开号:

    CN105005530A

    公开日:

    2015.10.28

    当前法律状态:

    驳回

    有效性:

    无权

    法律详情: 发明专利申请公布后的驳回IPC(主分类):G06F 11/36申请公布日:20151028|||实质审查的生效IPC(主分类):G06F 11/36申请日:20150715|||公开
    IPC分类号: G06F11/36 主分类号: G06F11/36
    申请人: 北京邮电大学
    发明人: 金大海; 李峰; 宫云战; 王雅文; 黄俊飞
    地址: 100876北京市海淀区西土城路10号
    优先权:
    专利代理机构: 北京永创新实专利事务所11121 代理人: 赵文利
    PDF完整版下载: PDF下载
    法律状态
    申请(专利)号:

    CN201510416680.X

    授权公告号:

    ||||||

    法律状态公告日:

    2018.11.02|||2015.11.25|||2015.10.28

    法律状态类型:

    发明专利申请公布后的驳回|||实质审查的生效|||公开

    摘要

    本发明公开了一种基于四值逻辑的位运算测试用例生成方法,属于软件测试中测试用例生成技术领域,具体步骤包括:步骤一、分别设定四值逻辑运算的方法和四值逻辑运算的逆运算方法;步骤二、将位运算约束分解为逻辑运算约束;步骤三、将逻辑运算约束对应为约束满足问题;步骤四、依据四值逻辑运算和逆运算的方法使用搜索算法求解逻辑运算约束;步骤五、将逻辑运算约束的解合成为位运算约束的解。优点在于:应用多值逻辑来计算变量的值域,从而提高搜索空间和位运算的搜索效率,进一步提高了位运算的测试用例生成效率。

    权利要求书

    权利要求书
    1.  一种基于四值逻辑的位运算测试用例生成方法,其特征在于,具体步骤如下:
    步骤一、分别设定四值逻辑运算的方法和四值逻辑运算的逆运算方法;
    四值逻辑运算是指将逻辑变量的值域抽象成四种取值,分别表示为:⊥,0,1,T;其中0={0}、1={1}、T={0,1};
    逻辑运算的逆运算是指,已知逻辑运算xRy=z,通过y和z求x的运算称为R的逆运算,记为x=zR-1y;R是位运算符,R∈{&、|、^};
    基于四值逻辑的运算式包括:x与y,x或y,x异或y,以及x按位取反;分别用符号表示为:x&y,x|y,x^y和~x;
    四值逻辑的逆运算式包括:x与y的逆运算,x或y的逆运算,x异或y的逆运算和x按位取反的逆运算;分别用符号表示:z&-1y,z|-1y,z^-1y和~z-1;
    步骤二、将位运算约束分解为逻辑运算约束;
    位运算约束的形式有两种:①一元约束:~x=y;②二元约束:xRy=z;其中,x、y、z是整数;将位运算约束中的整型变量表示成二进制形式,则二进制形式中的每一位对应一个逻辑运算约束;
    步骤三、将逻辑运算约束对应为约束满足问题;
    约束满足问题表示成三元组<X,D,C>;X是变量集,D是与变量集对应的值域集,C是变量的约束集;
    步骤四、依据四值逻辑运算和逆运算的方法使用搜索算法求解逻辑运算约束;
    步骤401、应用四值逻辑运算和逆运算的方法对约束集C进行抽象计算;得到变量集X中各个子集的抽象结果;
    变量集X中的元素即为子集,用xi表示基于四值逻辑的位运算生成的测试用例的二进制形式;
    步骤402、从变量集X的抽象结果中选择一个子集变量xi进行处理;
    步骤403、选定子集变量xi后,从对应的值域集D中选择一个子集Di;
    步骤404、将<xi,Di>代入约束集C,如果发生矛盾,则从值域集D中重新选择子集Di;否则,继续选择下一组<xi+1,Di+1>,直至变量集X中所有变量都赋值;
    步骤405、变量集X中所有变量都赋值且满足约束,求解成功;
    变量集X的一个赋值如果是约束求解问题的一个解,满足当且仅当该赋值包含所有变量且满足所有约束;
    步骤五、将逻辑运算约束的解合成为位运算约束的解,该位运算约束的解为生成的测试用例。

    2.  如权利要求1所述的一种基于四值逻辑的位运算测试用例生成方法,其特征在于,所述的步骤一中四值逻辑运算的方法如下:
    (1)x&y:x的值为⊥时,无论y是什么值,x&y的结果都为⊥;
    x的值为0时,y从⊥、0、1或T中选取,当y为⊥,则x&y的结果为⊥;当y为0、1或T中任一值时,x&y的结果为0;
    x的值为1时,y从⊥、0、1或T中选取,当y为⊥,则x&y的结果为⊥;当y为0则x&y的结果为0,当y为1则x&y的结果为1,当y为T,则x&y的结果为T;
    x的值为T时,y从⊥、0、1或T中选取,当y为⊥,则x&y的结果为⊥,当y为0则x&y的结果为0,当y为1则x&y的结果为T,当y为T,则x&y的结果为T;
    (2)x|y:x的值为⊥时,无论y是什么值,x|y的结果都为⊥;
    x的值为0时,y从⊥、0、1或T中选取,当y为⊥,则x|y的结果为⊥,当y为0,则x|y的结果为0,当y为1,则x|y的结果为1,当y为T则x|y的结果为T;
    x的值为1时,y从⊥、0、1或T中选取,当y为⊥,则x|y的结果为⊥,否则,当y为0、1或T中任一值时,x|y的结果为1;
    x的值为T时,y从⊥、0、1或T中选取,当y为⊥,则x|y的结果为⊥,当y为0,则x|y的结果为T,当y为1,则x|y的结果为1,当y为T,则x|y的结果为T;
    (3)x^y:x的值为⊥时,无论y是什么值,x^y的结果都为⊥;
    x的值为0时,y从⊥、0、1或T中选取,当y为⊥,则x^y的结果为⊥,当y为0则x^y的结果为0,当y为1则x^y的结果为1,当y为T则x^y的结果为T;
    x的值为1时,y从⊥、0、1或T中选取,当y为⊥,则x^y的结果为⊥,当y为0则x^y的结果为1,当y为1则x^y的结果为0,当y为T则x^y的结果为T;
    x的值为T时,y从⊥、0、1或T中选取,当y为⊥,则x^y的结果为⊥,否则当y为0、1或T中任一值时,x^y的结果为T;
    (4)~x:x的值为⊥时,~x为⊥;x的值为0时,~x为1;x的值为1时,~x为0;x的值为T时,~x为T;
    四值逻辑运算的逆运算方法如下:
    (5)z&-1y:z的值为⊥时,y从⊥、0、1或T中选取,当y为⊥,则z&-1y的结果为T,否则当y为0、1或T中任一值时,z&-1y的结果为⊥;
    z的值为0时,y从⊥、0、1或T中选取,当y为⊥,则z&-1y的结果为⊥,当y为0则z&-1y的结果为T,当y为1则z&-1y的结果为0,当y为T则z&-1y的结果为T;
    z的值为1时,y从⊥、0、1或T中选取,当y为⊥,则z&-1y的结果为⊥,当y为0则z&-1y的结果为⊥,当y为1则z&-1y的结果为1,当y为T则z&-1y的结果为1;
    z的值为T时,y从⊥、0、1或T中选取,当y为⊥,则z&-1y的结果为⊥,否则当y为0、1或T中任一值时,z&-1y的结果为T;
    (6)z|-1y:z的值为⊥时,y从⊥、0、1或T中选取,当y为⊥,则z|-1y的结果为T,否则,当y为0、1或T中任一值时,z|-1y的结果为⊥;
    z的值为0时,y从⊥、0、1或T中选取,当y为⊥,则z|-1y的结果为⊥,当y为0,则z|-1y的结果为0,当y为1,则z|-1y的结果为⊥,当y为T,则z|-1y的结果为0;
    z的值为1时,y从⊥、0、1或T中选取,当y为⊥,则z|-1y的结果为⊥,当y为0,则z|-1y的结果为1,当y为1,则z|-1y的结果为T,当y为T,则z|-1y的结果为T;
    z的值为T时,y从⊥、0、1或T中选取,当y为⊥,则z|-1y的结果为⊥,否则当y为0、1或T中任一值时,z|-1y的结果为T;
    (7)z^-1y:z的值为⊥时,y从⊥、0、1或T中选取,当y为⊥,则z^-1y的结果为T,否则当y为0、1或T中任一值时,z^-1y的结果为⊥;
    z的值为0时,y从⊥、0、1或T中选取,当y为⊥,则z^-1y的结果为⊥;当y为0则z^-1y的结果为0,当y为1,则z^-1y的结果为1;当y为T,则z^-1y的结果为T;
    z的值为1时,y从⊥、0、1或T中选取,当y为⊥,则z^-1y的结果为⊥;当y为0则z^-1y的结果为1,当y为1,则z^-1y的结果为0;当y为T,则z^-1y的结果为T;
    z的值为T时,y为⊥则z^-1y的结果为⊥;否则当y为0、1或T中任一值时,z^-1y的结果为T;
    (8)~z-1:当z的值为⊥时,~z为⊥;当z的值为0时,~z为1;当z的值为1时,~z为0;当z的值为T时,~z为T。

    3.  如权利要求1所述的一种基于四值逻辑的位运算测试用例生成方法,其特征在于,所述的步骤二,位运算约束的形式符号化描述如下:
    ~x=y→~x1x2...xi...xn=y1y2...yi...yn→~x1=y1∧~x2=y2...∧~xi=yi...∧~xn=yn,其中xi,yi∈{0,1};
    xRy=z→x1x2...xi...xnRy1y2...yi...yn=z1z2...zi...zn→x1Ry1=z1∧x2Ry2=z2∧...xiRyi=zi...∧xnRyn=zn
    其中,xi,yi,zi∈{0,1};n为整数,表示二进制形式下的位数。

    关 键 词:
    一种 基于 逻辑 运算 测试 生成 方法
      专利查询网所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
    0条评论

    还可以输入200字符

    暂无评论,赶快抢占沙发吧。

    关于本文
    本文标题:一种基于四值逻辑的位运算测试用例生成方法.pdf
    链接地址://www.fnjpv.tw/p-6376011.html
    关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服客服 - 联系我们

    [email protected] 2017-2018 www.fnjpv.tw网站版权所有
    经营许可证编号:粤ICP备17046363号-1 
     


    收起
    展开
  • 人民日报为人民,70年办报不容易,办报人付出了心血和汗水,记录了中国的发展过程,祝愿办得越来越好! 2019-07-20
  • 最美逆行!高速隧道突发火灾  交警三次逆行穿火线撤离400多名群众 2019-07-17
  • 《陕西省县域经济社会发展监测考评办法》解读 2019-07-17
  • 一切都是老板炒工人的鱿鱼 2019-07-14
  • 赏花不用跑远 宗角禄康开得正艳 2019-07-14
  • 车俊会见毛里求斯代总统 2019-07-14
  • 除了杨崇勇,“2亿元贪官俱乐部”至少还有这些人 2019-07-09
  • [民生热线]咸安西大街烤鸭店每天油烟扰民 区政府:已责令整改 2019-07-09
  • 海淀:得天独厚的自然条件 2019-07-09
  • 进京通行证限次数!70.9万辆本地化使用外埠号牌车或将受影响 2019-07-06
  • 6月14日凤凰直通车:茅台再开市场化招聘大门,32个部门要285人葡萄 种植 2019-07-05
  • 东京湾产业转型启示录 2019-07-05
  • 中国三星获第十二届人民企业社会责任奖年度扶贫奖 2019-06-30
  • 一个语文基础都没有的人就喜欢指手画脚, 2019-06-30
  • 匹夫有责之一百一十二—道义大义的博客—强国博客—人民网 2019-06-25
  • 湖北彩票快3走势图 开心消消乐试玩 哪个网站最准一尾中特 重庆时时彩走势 香港六和合曾道人资料 翻倍钱彩金 热刺球员名单2014 赫塔菲-米歇尔 黄金之旅免费试玩 20级3d真人游戏