期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于依赖模型的REST接口测试用例生成方法研究 被引量:1
1
作者 刘盈盈 杨秋辉 +1 位作者 姚邦国 刘巧韵 《计算机科学》 CSCD 北大核心 2023年第9期101-107,共7页
REST接口中普遍存在依赖关系,导致生成合理的接口调用序列与输入参数变得十分困难。现有的大多数方法只考虑了其中一种依赖关系,并需要人工执行繁杂的前置操作,生成的测试用例有效性仍然较低。针对以上问题,文中提出了一种基于依赖模型... REST接口中普遍存在依赖关系,导致生成合理的接口调用序列与输入参数变得十分困难。现有的大多数方法只考虑了其中一种依赖关系,并需要人工执行繁杂的前置操作,生成的测试用例有效性仍然较低。针对以上问题,文中提出了一种基于依赖模型的测试用例生成方法。通过解析OpenAPI文档,该方法提取了接口内的操作间依赖关系与参数间依赖关系,并据此建立了两种依赖模型,从模型生成测试用例,最后从3方面确定测试预言。实验结果表明,该方法的输入度量覆盖率达到了100%,状态码类别、状态码、响应资源类型的覆盖率分别达到了100%,91.67%,83.33%,并能在限定时间内检出接口内部缺陷;与RESTler和RESTest相比,该方法的输出度量覆盖率最大提高了36%,触发了最多次的异常响应状态码,检测到接口异常响应的比例最大提高了10%。该方法为REST接口的测试用例生成问题提供了有价值的参考。 展开更多
关键词 REST接口 测试用例生成 操作依赖 参数间依赖 BERT模型
下载PDF
一种过程间单子切片方法 被引量:2
2
作者 张迎周 符炜 《电子学报》 EI CAS CSCD 北大核心 2013年第8期1457-1461,共5页
在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得... 在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得所需的过程间单子切片.算法充分利用了过程内单子切片的结果,相当程度上避免了重复计算,无需进一步构造诸如特征子图、连接语法等中间形式,同时通过参数间依赖避免了调用上下文问题.此外,文中算法保留了过程内单子切片算法的强语言适应性和组合性. 展开更多
关键词 单子切片方法 模块单子语义 过程程序 参数间依赖 组合性
下载PDF
Berry Phase of Composite System Induced by Time-Dependent Interaction
3
作者 杨林广 邵彬 邹健 《Communications in Theoretical Physics》 SCIE CAS CSCD 2010年第4期631-634,共4页
The Berry phase in a composite system induced by the time-dependent interaction is discussed. We choose two coupled spin-1/2 systems as the composite system: one of the subsystems is subjected to a static magnetic fi... The Berry phase in a composite system induced by the time-dependent interaction is discussed. We choose two coupled spin-1/2 systems as the composite system: one of the subsystems is subjected to a static magnetic field, and the coupling parameters between two spins are controllable in time. We show that the time-dependent interaction can induce the Berry phase in a similar way as that a spin-1/2 system (qubit) is driven by an effective time-dependent magnetic field. Furthermore, using two consecutive cycles with opposite directions of both the static magnetic field as well as opposite signs of the coupling parameters, a nontrivial two-qubit unitary transformation purely based on Berry phases can be constructed. 展开更多
关键词 Berry phase time-dependent interaction Dzyaloshinskii-Moriya interaction
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部