期刊文献+
共找到30篇文章
< 1 2 >
每页显示 20 50 100
自动化测试执行管理工具的研究与设计 被引量:6
1
作者 高雯雯 兰雨晴 +2 位作者 高静 郭敏华 金茂忠 《计算机应用研究》 CSCD 北大核心 2008年第1期126-128,共3页
主要设计并实现了一个自动化测试执行管理工具,并详细阐述了其总体框架、模块设计和关键技术的实现。该工具提供串行、并行、重复和分布式等多种测试执行顺序,可实时远程监控测试执行过程,并可提供详细的测试报告和多样的数据分析方法。
关键词 测试执行管理 测试监控 测试执行顺序
在线阅读 下载PDF
一种形式化的基于TTCN的测试执行方法 被引量:4
2
作者 郝瑞兵 吴建平 史美林 《软件学报》 EI CSCD 北大核心 1997年第5期367-375,共9页
探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节.本文提出了一种形式化的基于测试描述语言TTCN的操作语义的测试执行方法,并使用标号变迁系统刻画了这一方法的整个执行过程,同时讨论了这个方法的... 探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节.本文提出了一种形式化的基于测试描述语言TTCN的操作语义的测试执行方法,并使用标号变迁系统刻画了这一方法的整个执行过程,同时讨论了这个方法的一个具体实现.这种形式化的基于TTCN的测试执行方法非常适合于构造通用的协议测试系统。 展开更多
关键词 协议一致性 测试 TTCN 测试执行 计算机
在线阅读 下载PDF
面向TTCN-3分布式测试执行平台的测试适配器框架的研究与设计 被引量:5
3
作者 王冠 吴际 +1 位作者 徐珞 金茂忠 《电子学报》 EI CAS CSCD 北大核心 2009年第B04期125-130,117,共7页
由于分布式系统具有物理分布、并发访问、时序敏感、平台异构等特点,所以分布式测试系统必须适应上述特点.TTCN-3分布式测试执行平台能够满足分布式测试的要求,但TTCN-3测试系统静态绑定测试适配器的特点导致测试系统在单个测试执行节... 由于分布式系统具有物理分布、并发访问、时序敏感、平台异构等特点,所以分布式测试系统必须适应上述特点.TTCN-3分布式测试执行平台能够满足分布式测试的要求,但TTCN-3测试系统静态绑定测试适配器的特点导致测试系统在单个测试执行节点上不具备同时和多种被测系统交互的能力,因此本文提出测试适配器框架的概念.该框架支持TTCN-3标准接口规范,在具备基本测试适配功能的基础上,整合面向多种被测系统的测试适配器,并在测试执行过程中根据测试脚本和被测系统的不同动态选择并调用适合的测试适配器,满足了TTCN-3分布式测试执行平台的需求,同时也增强了TTCN-3在分布式测试领域的应用能力. 展开更多
关键词 TTCN-3 分布式测试 TTCN-3分布式测试执行平台 测试适配器 测试适配器框架
在线阅读 下载PDF
下一代网络协议一致性测试执行系统的实现 被引量:1
4
作者 叶新铭 王红霞 石立新 《计算机科学》 CSCD 北大核心 2003年第4期51-54,共4页
In order to go along the work of next generation network protocol conformance testing effectively and thorough, we bring forward a sign idea about test executing system and implement it base on Linux environment, whic... In order to go along the work of next generation network protocol conformance testing effectively and thorough, we bring forward a sign idea about test executing system and implement it base on Linux environment, which is obtained based ISO' criterion and method. The main function of test executing system is to execute automatically the test suit in TTCN form in course of protocol conformance testing and present the testing report in the end. In this paper,we first introduce the realization Idea of test executing system base on Linux environment and some interrelated arithmetic. We emphasize on the sign flow and implement procedure of test executing system and discuss some arithmetic for central module. Finally, we give test procedure and test result for IPv6 protocol using this test executing system. 展开更多
关键词 网络协议 一致性测试执行系统 MPLS协议 IPV6协议 通讯协议 计算机网络
在线阅读 下载PDF
基于TTCN的测试执行方法及其应用
5
作者 郝瑞兵 吴建平 史美林 《通信学报》 EI CSCD 北大核心 1996年第5期9-14,共6页
测试执行是协议一致性测试系统中的主要部分,本文提出了一种基于测试描述语言TTCN的操作语义对标准测试集进行解释执行的测试执行方法。利用这种方法所实现的一致性测试系统具有很强的灵活性和独立性,同时大大提高了测试的效率。... 测试执行是协议一致性测试系统中的主要部分,本文提出了一种基于测试描述语言TTCN的操作语义对标准测试集进行解释执行的测试执行方法。利用这种方法所实现的一致性测试系统具有很强的灵活性和独立性,同时大大提高了测试的效率。另外,我们还介绍了基于这种测试方法所完成的协议一致性测试系统(PCTS)的总体结构、设计思想以及测试配置。 展开更多
关键词 一致性测试 测试执行 TTCN 网络协议 计算机网络
在线阅读 下载PDF
面向软件错误定位与理解的测试执行离散特征筛选 被引量:3
6
作者 刘梦冷 杨小双 +1 位作者 赵磊 王丽娜 《计算机科学》 CSCD 北大核心 2016年第3期179-187,共9页
软件错误定位与错误理解是软件调试过程中的重要步骤,然而调试人员利用基于覆盖分析的软件错误定位获取的可疑度,从高到低静态分析每条程序语句的检查方式,与实际软件调试过程并不相符。为了能够筛选更有助于理解错误根源的测试执行,尤... 软件错误定位与错误理解是软件调试过程中的重要步骤,然而调试人员利用基于覆盖分析的软件错误定位获取的可疑度,从高到低静态分析每条程序语句的检查方式,与实际软件调试过程并不相符。为了能够筛选更有助于理解错误根源的测试执行,尤其是致使程序失效的失效执行,帮助调试人员进行动态差异化分析,针对失效执行提出基于高可疑度覆盖率、揭示错误潜力和覆盖语句可疑度离散特征的3种优先级策略,针对成功执行提出加权余弦相似度匹配策略。通过将3种失效执行优先级策略与随机选择在常用错误定位技术中进行实验对比,验证了基于覆盖语句可疑度离散特征的失效执行筛选策略能够对筛选前后的错误理解工作量变化产生更强的积极影响和更弱的消极影响,并能够在相同工作量下理解更多的错误,进而更有助于将错误定位结果应用于错误根源的理解。 展开更多
关键词 软件错误定位 错误理解 覆盖分析 测试执行优先级 离散特征
在线阅读 下载PDF
并发TTCN测试执行器的实现研究
7
作者 胡宇 李中杰 +1 位作者 夏宜 吴建平 《小型微型计算机系统》 CSCD 北大核心 2002年第7期780-785,共6页
并发 TTCN同时拥有多个测试部件的特性 ,改变了整个测试框架 ,也带来了如何协调和管理测试部件之间通信的新问题 .本文在传统 TTCN测试执行模块的基础上为并发 TTCN设计了测试执行模块的整体框架 ,并进行了具体的实现 .
关键词 并发TTCN 测试执行 一致性测试 树表结合表示法 并发树表结合表示法 通信协议 计算机网络
在线阅读 下载PDF
面向Web服务测试的单线执行序列生成方法 被引量:2
8
作者 何娟娟 刘冬梅 +3 位作者 朱鸿 杜益宁 周子健 郑小宇 《计算机工程与科学》 CSCD 北大核心 2019年第6期1034-1043,共10页
测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性,但第三方Web服务并不支持这些操作,无法将测试用例转换成可执行操作序列。一种可行的解... 测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性,但第三方Web服务并不支持这些操作,无法将测试用例转换成可执行操作序列。一种可行的解决方案是将测试用例转换成只包含一个被测服务实例、不包括实例初始化、只对实例进行状态修改和检查的线性执行序列。改进已有工作,提出包含逆项的测试执行图TEG-I来描述测试用例执行过程中的状态变化,设计TEG-I构造算法和单线执行序列生成算法并实现相应原型工具。实验结果表明,提出的方法能够有效地自动完成测试用例生成,提高Web服务的可测试性。 展开更多
关键词 WEB服务 代数规约 单线测试序列 测试执行
在线阅读 下载PDF
一种目标制导的混合执行测试方法 被引量:18
9
作者 崔展齐 王林章 李宣东 《计算机学报》 EI CSCD 北大核心 2011年第6期953-964,共12页
混合执行测试(concolic testing)是一种将具体执行与符号执行相结合的自动化测试方法.由于混合执行测试从程序本身出发,未将目标缺陷的先验知识作为指导,会导致生成和执行大量不能发现缺陷的测试输入,从发现缺陷的角度看浪费了时间和计... 混合执行测试(concolic testing)是一种将具体执行与符号执行相结合的自动化测试方法.由于混合执行测试从程序本身出发,未将目标缺陷的先验知识作为指导,会导致生成和执行大量不能发现缺陷的测试输入,从发现缺陷的角度看浪费了时间和计算资源开销.这个问题在具有时间、成本及资源约束的实际测试任务中更加突出.为解决这一问题,文中提出了一种结合静态分析和混合执行测试技术的目标制导的混合执行测试方法:使用静态分析工具分析待测程序中可能含有缺陷的可疑语句及其缺陷类型,并将静态分析所报告的可疑语句作为目标指导测试.目标制导的混合执行测试技术分为3个步骤:首先,计算从程序各分支到待检测缺陷语句的可达性;其次,对待测试程序进行插装以支持混合执行测试;第三,使用静态分析的结果和可达性信息作为指导,只生成和执行可能会覆盖待检测缺陷语句的测试输入,以避免生成和执行不能发现缺陷的测试输入.基于此方法,作者实现了一个测试缓冲区溢出缺陷的原型工具:TARGET,并在一组C语言基准程序上进行了对比实验.实验结果表明与原有的混合执行测试技术相比较,TARGET能在更短的时间内发现程序中更多的缺陷. 展开更多
关键词 目标制导测试 缺陷触发 静态分析 混合执行测试
在线阅读 下载PDF
一个基于下推自动机的Web测试自动执行器 被引量:2
10
作者 贾晓霞 刘昶 +3 位作者 吴际 柳永坡 金茂忠 刘超 《计算机科学》 CSCD 北大核心 2006年第4期269-273,共5页
随着 Web 应用系统的广泛应用,对其质量要求也越来越高。如何进行有效的测试以保证 Web 应用系统的质量是值得关注的研究问题。支持测试用例自动执行的测试执行器(Test runner)是其中的一个热点和难点。文章研究并提出了基于下推自动机... 随着 Web 应用系统的广泛应用,对其质量要求也越来越高。如何进行有效的测试以保证 Web 应用系统的质量是值得关注的研究问题。支持测试用例自动执行的测试执行器(Test runner)是其中的一个热点和难点。文章研究并提出了基于下推自动机的 Web 测试自动执行器,并实现了其原型系统。该执行器支持测试用例的自动执行并给出测试结果报告,并通过 Web 应用测试实例验证了其有效性。 展开更多
关键词 测试自动执行 下推自动机 WEB测试
在线阅读 下载PDF
移动IPv6协议中移动节点的可执行测试序列生成方法研究
11
作者 李华 叶新铭 +1 位作者 刘静 刘龙 《计算机科学》 CSCD 北大核心 2009年第10期137-140,共4页
移动IPv6可以为主机移动提供便利,使得它可以以一个永久的IPv6地址连接到任何链路上。对于它的测试研究可以保证协议的实现与说明的一致性。在移动IPv6中共有移动节点、家乡代理以及对端节点3个角色。分析了移动节点的控制流模型以及它... 移动IPv6可以为主机移动提供便利,使得它可以以一个永久的IPv6地址连接到任何链路上。对于它的测试研究可以保证协议的实现与说明的一致性。在移动IPv6中共有移动节点、家乡代理以及对端节点3个角色。分析了移动节点的控制流模型以及它的基于控制流的测试序列,基于该序列重构并形成了扩展有限状态机,其中考虑加入数据流,构建了可执行的测试序列,然后基于可执行测试序列提取了测试例,此方法可以减缓甚至避免爆炸问题。通过测试实践展示了本方法的有效性,最后给出了结论。 展开更多
关键词 移动IPV6 移动节点 一致性测试 执行测试序列
在线阅读 下载PDF
面向乱序执行漏洞测试的ARM处理器核隔离方法
12
作者 赵旭 王佳慧 +1 位作者 张伟 马利民 《信息安全研究》 CSCD 2023年第4期347-355,共9页
随着spectre,meltdown为代表的处理器微架构漏洞的发现,微架构安全漏洞逐渐引起了学术界的关注,针对相关微架构漏洞的自动化测试方案陆续出台.但是在真实的测试环境中,测试微架构环境会被中断或被调度系统打断干扰,造成有效测试用例的遗... 随着spectre,meltdown为代表的处理器微架构漏洞的发现,微架构安全漏洞逐渐引起了学术界的关注,针对相关微架构漏洞的自动化测试方案陆续出台.但是在真实的测试环境中,测试微架构环境会被中断或被调度系统打断干扰,造成有效测试用例的遗漏.因此提出面向乱序执行漏洞测试的ARM处理器核隔离方法.该方法通过利用ARM处理器与Linux内核对中断及调度的管理机制及相应的进程同步机制,在测试过程中将处理器核隔离出中断与调度系统,保证测试指令块的运行不会被中断及调度程序打断,并通过设计相应的同步机制保证进程切换过程中不会被其他进程插入执行,保证测试的有效性. 展开更多
关键词 瞬态执行 乱序执行漏洞测试 中断 内核调度器 LINUX内核
在线阅读 下载PDF
Web应用自动化测试的研究 被引量:19
13
作者 冯振华 高菊 曾红卫 《计算机工程与设计》 CSCD 北大核心 2010年第1期175-178,共4页
针对目前Web应用"捕捉/回放"式测试脚本复用率不高的问题,根据Web应用的特性给出了一种基于数据驱动的Web测试框架,并设计了基于XML语言的自动化测试脚本。该测试脚本描述了Web应用行为的多请求/响应的迁移模型,并清晰地定义... 针对目前Web应用"捕捉/回放"式测试脚本复用率不高的问题,根据Web应用的特性给出了一种基于数据驱动的Web测试框架,并设计了基于XML语言的自动化测试脚本。该测试脚本描述了Web应用行为的多请求/响应的迁移模型,并清晰地定义了外部测试数据避免了数据"硬编码"的缺陷,可对Web应用不同方面(例如功能、性能)上进行测试。开发了一个测试执行的原型工具,它以测试脚本为输入并自动化执行测试用例并生成测试结果。 展开更多
关键词 WEB应用 数据驱动 测试框架 测试脚本 测试执行
在线阅读 下载PDF
基于模型的Web应用测试 被引量:16
14
作者 缪淮扣 陈圣波 曾红卫 《计算机学报》 EI CSCD 北大核心 2011年第6期1012-1028,共17页
提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、... 提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、测试序列生成器、FSM和测试序列可视化以及Web应用测试执行引擎等工具.除支持状态覆盖、迁移覆盖、迁移对覆盖等传统的覆盖准则外,还改进/提出了优化状态迁移覆盖、完整消息传递覆盖、完整功能交互覆盖和功能循环交互覆盖等覆盖准则.该文以兴宁水库移民信息管理系统为例演示了该系统. 展开更多
关键词 WEB应用 模型转换 测试用例生成 测试执行
在线阅读 下载PDF
Web服务组合测试综述 被引量:12
15
作者 丁志军 周泽霞 《软件学报》 EI CSCD 北大核心 2018年第2期299-319,共21页
随着面向服务技术和云计算技术的不断成熟,尤其是面向服务体系结构SOA的不断完善以及推广,其主要内容Web服务已经被广泛应用.为了充分利用Web服务并解决单个Web服务功能有限的问题,业界将多个原子Web服务按照一定的规则和业务逻辑进行组... 随着面向服务技术和云计算技术的不断成熟,尤其是面向服务体系结构SOA的不断完善以及推广,其主要内容Web服务已经被广泛应用.为了充分利用Web服务并解决单个Web服务功能有限的问题,业界将多个原子Web服务按照一定的规则和业务逻辑进行组合,以提供更多功能更强大的服务,实现了Web服务的增值和复用.为了保证Web服务组合的质量,需要对Web服务组合进行全面、充分的测试.然而,Web服务组合的动态特性和分布式特点使得其测试技术和方法与传统的软件测试有很大的区别,存在很多挑战.针对Web服务组合测试,对近年来Web服务组合测试研究中的测试用例生成技术、回归测试技术、测试执行和度量方法进行了系统的总结和分析.此外,还对Web服务组合测试中有待研究的问题进行了分析和展望. 展开更多
关键词 WEB服务组合 测试 测试用例生成 测试执行和度量 回归测试
在线阅读 下载PDF
基于C++语言转换的TTCN-3执行器的设计与实现 被引量:2
16
作者 蒋凡 张辉 《中国科学技术大学学报》 CAS CSCD 北大核心 2007年第9期1155-1158,共4页
在TTCN-3标准与执行语义研究的基础上,提出一种将TTCN-3语言翻译成C++语言的转换方案.首先将TTCN-3书写的抽象测试套翻译为C++语言,在翻译语言中添加执行要素,从而生成可执行的测试套,然后执行器调度该测试套完成测试套的执行.这种方案... 在TTCN-3标准与执行语义研究的基础上,提出一种将TTCN-3语言翻译成C++语言的转换方案.首先将TTCN-3书写的抽象测试套翻译为C++语言,在翻译语言中添加执行要素,从而生成可执行的测试套,然后执行器调度该测试套完成测试套的执行.这种方案已经应用在新设计的TTCN-3测试系统中.运行结果表明,基于C++语言转换的TTCN-3测试系统在总体性能上比编译成内存对象并执行的方式有一定的提高. 展开更多
关键词 TTCN-3 语言转换 C++ 测试执行
在线阅读 下载PDF
Web应用的自动测试 被引量:8
17
作者 周晓宇 许蕾 +1 位作者 徐宝文 陈火旺 《计算机科学》 CSCD 北大核心 2005年第1期125-127,共3页
Web应用测试涉及到各种纷繁芜杂的测试对象、方法和过程,需要增强其测试执行过程的自动化、智能化水平以提高测试效率。为此,本文结合Web应用的特性,对自动、智能执行Web应用测试的必要性、可行性进行分析;在此基础上,详细描述并深入分... Web应用测试涉及到各种纷繁芜杂的测试对象、方法和过程,需要增强其测试执行过程的自动化、智能化水平以提高测试效率。为此,本文结合Web应用的特性,对自动、智能执行Web应用测试的必要性、可行性进行分析;在此基础上,详细描述并深入分析web应用测试的执行过程,明确测试执行的步骤、流程以及采用的技术、工具等相关内容;再次,改进捕捉-回放技术使之适应Web应用的动态特性,并采用智能Agent来实现对整个测试执行过程的监控、管理和应急处理,从而自动、智能地执行Web应用测试。 展开更多
关键词 WEB应用 自动测试 执行测试 捕捉-回放 智能AGENT
在线阅读 下载PDF
类状态测试模型
18
作者 蒋林超 李军义 陈剑 《计算机工程与设计》 CSCD 北大核心 2011年第1期188-191,196,共5页
针对类状态测试可能遗漏数据错误问题,利用数据流分析技术对生成的测试序列进行分析,找出数据流异常进而对其改进,能较好地解决数据错误问题。为解决在状态测试执行时需要插装代码来跟踪状态转换以便进行可行性检测分析,以及需要通过改... 针对类状态测试可能遗漏数据错误问题,利用数据流分析技术对生成的测试序列进行分析,找出数据流异常进而对其改进,能较好地解决数据错误问题。为解决在状态测试执行时需要插装代码来跟踪状态转换以便进行可行性检测分析,以及需要通过改写被测类代码来解决类封装性限制进行类状态验证,导致测试脚本臃肿、强聚合和被测类代码版本不一致问题,提出了一种基于AOP类状态测试执行方法,它通过分离关注点、突破类封装性限制,能有效地解决这些问题。基于上述技术和方法,提出一种类状态测试模型,实例分析和实验结果表明,该模型能较好地实现类状态测试。 展开更多
关键词 类状态测试 状态测试序列 数据流分析 测试执行 AOP
在线阅读 下载PDF
EPA协议一致性测试方法 被引量:7
19
作者 易明华 王平 +2 位作者 汪春华 陈良华 王浩文 《仪器仪表学报》 EI CAS CSCD 北大核心 2007年第3期451-455,共5页
EPA是我国第一个拥有自主知识产权并被国际电工委员会(IEC)认可的工业自动化领域国际标准。本文在研究EPA协议一致性测试原理、静态测试与动态测试方法与实现技术的基础上,参照TTCN的结构框架对EPA抽象测试集进行形式化描述,提出了一种... EPA是我国第一个拥有自主知识产权并被国际电工委员会(IEC)认可的工业自动化领域国际标准。本文在研究EPA协议一致性测试原理、静态测试与动态测试方法与实现技术的基础上,参照TTCN的结构框架对EPA抽象测试集进行形式化描述,提出了一种EPA协议一致性测试的方法,阐述了EPA协议实现一致性说明和协议实施附加信息的生成方法,并以变量写服务的测试为例,说明了EPA协议一致性测试流程。国家863/CIMS验收专家组委托的专家测试表明这种测试方法能够准确测试出被测协议实现与标准的一致程度。 展开更多
关键词 EPA协议 一致性测试 抽象测试 执行测试 协议实现一致性说明 协议实施附加信息
在线阅读 下载PDF
列车用CAN协议一致性测试平台的设计与实现 被引量:1
20
作者 朱琴跃 陆晔祺 +1 位作者 谭喜堂 叶双挺 《计算机应用》 CSCD 北大核心 2014年第A02期59-62,共4页
列车用CAN总线协议一致性测试是保证不同设备制造厂家生产的CAN通信设备之间实现互联、互通和互操作的前提。在对协议一致性测试原理和CAN总线协议特点进行简要分析的基础上,提出了针对CAN总线协议一致性测试的协同测试方法和相应的一... 列车用CAN总线协议一致性测试是保证不同设备制造厂家生产的CAN通信设备之间实现互联、互通和互操作的前提。在对协议一致性测试原理和CAN总线协议特点进行简要分析的基础上,提出了针对CAN总线协议一致性测试的协同测试方法和相应的一致性测试内容,设计并构建了相应的一致性测试硬件平台,并对测试软件平台中可执行测试实例产生、测试执行、测试评估以及测试管理等诸多环节所涉及的基本功能软件进行了设计和实现,完成了CAN协议一致性测试的基本功能。实际运行和测试结果表明:所设计的测试平台达到了预期结果,为下一步列车用CAN总线协议的一致性测试打下了基础。 展开更多
关键词 CAN 协议一致性测试 协同测试 执行测试 测试评估
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部