共查询到20条相似文献,搜索用时 78 毫秒
1.
2.
在分析基路径覆盖测试技术及相关最新研究成果基础上,以被测程序及其程序图为依据,通过对变量依赖、非关联路径等的定义,推导出有效路径数量公式VE,进而提出了一种解决无效路径问题的算法模型.通过对算法模型的理论推导和验证,证明该算法模型是有效的. 相似文献
3.
文章介绍了软件测试的基本原则,按照软件测试的基本理论和方法,针对纺织资源管理系统的结构特点,制定了该系统的测试策略,并采用边界测试、功能测试和回归测试等测试方法对系统进行了全面的测试,取得了显著的测试效果。 相似文献
4.
5.
基于控制流程的软件测试用例自动生成方法研究 总被引:1,自引:0,他引:1
软件测试中最重要的就是设计和生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.首先提供了一种从流程图自动生成测试用例的方法,然后介绍了从流程图生成交互有限状态自动机的算法以及从交互有限状态自动机生成测试用例的算法.最后,介绍了相关支持工具ATCG. 相似文献
6.
测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明:该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。 相似文献
7.
本文针对民用飞机航电系统集成验证流程复杂、周期长的特点,研究了航电系统试验的自动化测试方法、测试用例的规划以及试验管理方法,并根据民用飞机航电系统验证流程,提出了一个低开发风险的、灵活的自动化测试与管理系统架构,该系统可集成多种成熟商用软件并且不依赖于硬件平台,可与现有的航电系统试验设施结合,兼容已有的试验数据文件,实现试验过程的自动化与集中式管理。 相似文献
8.
为了找出WS-CDL组合流程中存在的错误,减少软件维护产生的开销,提出一种基于控制流图生成测试路径的方法,用于对WS-CDL进行测试.首先解析WS-CDL文档,根据元素特点生成各类节点,并根据流程结构确定节点的源节点和目标节点;然后通过在源节点和目标节点间添加有向边构造成控制流囹;最后通过遍历控制流图生成所有可能的测试路径.测试路径中覆盖的WS-CDL元素越多,则发现的错误数也可能越多.为提高发现错误的效率,提出了2种基于路径中元素数量的排序算法,对路径的执行顺序进行排序.实验结果表明,将测试路径按路径中未被覆盖的元素总数降序排列,可以更快地发现错误. 相似文献
9.
本文总结了独特的测试用例设计原则,提出了适用于多种网络环境的科学有效的新型网络测试方法,其可完成对交换系统、安全系统和应用系统等多个层面性能与业务的测试,满足不同厂家、不同用户的适用需求。 相似文献
10.
蒋学勤 《贵州大学学报(自然科学版)》2005,22(1):96-99
对具体地面电波传播的信号进行测试。经比较,验证了在地面LOS范围的双斜率及室内对数距离路径损耗模式,并提出针对2.4GHz频段的拟合参数取值,对无线组网有参考价值。 相似文献
11.
听力测试是语言测试的重要组成部分,也是了解个体语言行为的一种重要手段。数十年来,分离式听力测试模式被广泛应用于各类英语考试中。然而,近年来有很多学者对分离式测试的有效性提出了质疑,他们认为现行的英语听力理解考试不能真正体现受测者的实际语言运用能力。同时,交际法听力测试随着交际法理论的发展而越来越受到人们的关注。这两种测试各有利弊,不能只是简单舍弃,而应扬长避短。 相似文献
12.
提出了一种采用有限元法对钻杆外螺纹检测中磁化器的各项几何参数进行设计的方法.以齿根有1.0mm深0.2 mm宽的根部裂纹、其管体直径为φ127的钻杆为例,分析了磁化器各项几何参数的变化对缺陷所产生的漏磁场的影响,得到了漏磁场水平分量随磁化器几何尺寸改变时的变化规律,通过实验对根据上述方法设计的磁化器进行了验证,实验结果与有限元分析结果完全相符.研究结果有助于从整体上设计磁化器,改善磁化效果,提高漏磁检测灵敏度,进而为漏磁检测中磁路的优化设计提供了依据. 相似文献
13.
提出了一种新的基于局域网的通用考试与评分的框架系统,研究了其用户需求与开发环境、通用试题的特点、框架系统的数据关系及面向对象的方法,对它的5个子系统进行了分析和设计。测试结果表明基于局域网的通用考试系统界面友好,使用方便,安全保密,适用于不带听力题的各种试题。 相似文献
14.
该文从政治参与的含义及意义、新农村地区农民的政治参与现实存在的问题、解决我国新农村地区农民政治参与问题的路径选择三个方面阐述了我国农民在政治参与方面问题及路径. 相似文献
15.
提出一种纱线强度测量方法,设计了单片机纱线强度测量系统.系统采用AT89C51作为纱线强度测试仪的检测与控制核心,扩展了键盘输入、数码管显示、电机驱动、图数检测及纱线断裂检测等5个电路模块,编制调试了其系统软件程序.系统可以替代人工手段检测纱线强度的特性参数,从而界定纱线的品质,有效提高纺织品的质量和稳定性. 相似文献
16.
利用主成分分析法对食品检测实验室能力验证的Z比分数进行了统计分析,考察了评价参数之间的相关性,从22个能力验证评价参数中,确定了反映实验室综合检测能力的7个主成分,建立了实验室综合检测能力评价的数学模型,并对12个实验室的综合能力进行了排序,与实际进行比对效果良好。 相似文献
17.
王海生 《佛山科学技术学院学报(自然科学版)》2003,21(2):40-42
通过对某工程预应力管桩的高应变及静载试验检测结果的对比分析,指出锤击预应力管桩在施工过程中出现质量问题的原因,并提出了几点相应的建议。 相似文献
18.
参数的配对组合测试是对于各种软件系统的一种实用且有效的测试方法,因为许多软件错误是由一些测试参数的相互作用造成的.要获得一个最优的配对覆盖测试集是一个NPC问题,作者证明了测试集大小是在一个可估计的范围之内.分析和比较了3种有效的配对覆盖测试集生成策略. 相似文献
19.
描述了在多象限光电探测器测试系统中,采用计算机网络技术和测试设备的编程接口,实现测试设备的自动控制和测试数据的自动采集,并应用数据库技术,对测试数据进行统计和分析,不仅提高了测试效率,而且实现了对工艺的优化控制. 相似文献
20.
提出了一种用CNN网络检测有灰阶图象轮廓的方法,与标准的CNN网络不同的是,这种网络的输入系统矩阵随图的灰质而变,文章论述了该网络的原理,结构和设计,并用计算机进行了模拟,得到了良好的结果。 相似文献