基于程序分析的通信软件模型驱动测试研究

1

作者 蒋凡 章磊 +1 位作者 陈军成 王建学 《计算机工程与应用》 CSCD 北大核心 2009年第31期66-68,84,共4页

针对通信软件的模型驱动测试框架中出现的测试生成问题,对MSC测试模型的测试生成方法进行改进,获得有效的系统测试集。采用符号执行和程序分析相结合的方法,收集生成的约束、测试脚本变量与被测系统变量之间的映射关系,据此生成测试模型... 针对通信软件的模型驱动测试框架中出现的测试生成问题,对MSC测试模型的测试生成方法进行改进,获得有效的系统测试集。采用符号执行和程序分析相结合的方法,收集生成的约束、测试脚本变量与被测系统变量之间的映射关系,据此生成测试模型,进一步进行模型验证和测试生成。这种方法可以对原有的测试集合进行半自动的扩展,对关心的程序路径进行测试覆盖,从而提高测试集合的有效性和完备性。 展开更多

关键词 通信软件 模型驱动的测试 程序分析 测试生成

在线阅读 下载PDF 职称材料

基于测试驱动模型的教学设计及实践研究

2

作者 马克西姆 李泽超 +1 位作者 张勇斌 付秀丽 《包装工程》 CAS 北大核心 2024年第S02期87-91,共5页

当前教学模式普遍存在教师与学生对于学习成果认知模糊以及评价标准单一的问题。为了解决这一问题,研究借鉴了成果导向教育(Outcome⁃Based Education,OBE)的核心理念,设计并实施了一种融合“测试驱动模型+课程考核”的创新教学方法,旨... 当前教学模式普遍存在教师与学生对于学习成果认知模糊以及评价标准单一的问题。为了解决这一问题,研究借鉴了成果导向教育(Outcome⁃Based Education,OBE)的核心理念,设计并实施了一种融合“测试驱动模型+课程考核”的创新教学方法,旨在构建一种新型的课堂教学模式。通过实验分析,验证了所提出教学模式的有效性。研究结果显示,在采用“测试驱动模型+课程考核”的教学环境中,学生的学习成果得到了显著提升。同时,学生群体和非任课教师对于该教学模式的反馈也显示出较高的认可度。 展开更多

关键词 OBE理念 测试驱动模型 课程考核

在线阅读 下载PDF 职称材料

模型驱动的自动化测试架构 被引量：7

3

作者 周景才 杨家红 陈毅波 《计算机工程与应用》 CSCD 北大核心 2010年第2期66-68,131,共4页

如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要。在实际工作中基于MDT的思路研究出了一种基于模型驱动的自动化测试架构。该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策... 如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要。在实际工作中基于MDT的思路研究出了一种基于模型驱动的自动化测试架构。该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策略和测试工程方法自动生成测试用例,实现了测试资源重利用和测试活动的前移从而有效缩短了测试周期。 展开更多

关键词 统一建模语言 基于模型驱动测试 被测系统 测试用例 测试逻辑 系统设计模型 测试设计模型

在线阅读 下载PDF 职称材料

一种模型驱动的协议测试故障注入引擎设计 被引量：3

4

作者 徐珞 吴际 刘超 《计算机工程与应用》 CSCD 北大核心 2007年第16期111-113,145,共4页

故障注入是一种测试协议实现容错能力的有效方法,而基于模型的故障描述方法能够提高测试的可视性和有效性。提出一种面向协议测试的故障注入引擎,并采用模型驱动的方法,通过测试模型指导故障注入活动,具有移植性强、简便高效等特点。

关键词 故障注入 协议测试 模型驱动测试

在线阅读 下载PDF 职称材料

模型驱动的分布式测试执行自动化研究与实现 被引量：4

5

作者 吴安怡 吴际 +1 位作者 陈金刚 刘超 《计算机工程与应用》 CSCD 北大核心 2007年第10期101-104,共4页

随着分布式应用在商业领域中的普及,对可用于有效缩短产品上市周期的分布式测试自动化技术的研究显得日益重要。提出了一种模型驱动的自动化测试方法,并将其应用于分布式测试中。为了能够支持分布式测试执行,提供了部署和调度两个测试模... 随着分布式应用在商业领域中的普及,对可用于有效缩短产品上市周期的分布式测试自动化技术的研究显得日益重要。提出了一种模型驱动的自动化测试方法,并将其应用于分布式测试中。为了能够支持分布式测试执行,提供了部署和调度两个测试模型,其中,部署模型描述了测试执行环境和脚本分发的情况,调度模型描述了远程测试执行机的调度运行顺序;为了能够实现测试执行的自动化,设计了一个分布式测试执行框架。最后,通过Web应用测试的实例验证了该方法能有效减少测试时间。 展开更多

关键词 模型驱动测试 测试自动化 分布式测试

在线阅读 下载PDF 职称材料

模型驱动的EJB构件测试建模研究 被引量：2

6

作者 邓雄 常创业 +2 位作者 吴际 金茂忠 刘超 《电子学报》 EI CAS CSCD 北大核心 2006年第B12期2467-2472,共6页

基于对Web系统的特点研究,提出了一个全面测试Web系统的框架.并基于模型驱动的软件测试思想(MDT),重点研究了此框架中的中间业务逻辑层的测试建模方法:定义了一个平台相关的测试模型(PSTM)——EJB构件测试模型;并给出了对它的模型复原... 基于对Web系统的特点研究,提出了一个全面测试Web系统的框架.并基于模型驱动的软件测试思想(MDT),重点研究了此框架中的中间业务逻辑层的测试建模方法:定义了一个平台相关的测试模型(PSTM)——EJB构件测试模型;并给出了对它的模型复原算法和模型一致性检测方法.该测试建模方法,从软件构件的层次,实现了EJB静态结构和动态行为的建模,并通过模型一致性检测实现EJB代码的潜在缺陷检查.这一测试模型将为测试用例和测试数据的生成提供有力的支持. 展开更多

关键词 EJB 构件测试 测试建模 模型驱动测试 构件识别 平台相关测试模型 模型复原 模型检查

在线阅读 下载PDF 职称材料

活动图模型驱动的Web应用程序测试方法 被引量：6

7

作者 何可 李晓红 冯志勇 《计算机应用》 CSCD 北大核心 2010年第9期2365-2369,共5页

提出了一种活动图(AD)模型驱动的Web应用程序测试方法,从活动图中生成满足往返路径覆盖准则的测试序列,基于测试输入语法生成驱动测试序列执行的测试数据,将测试数据整合到测试序列中生成测试用例,运行测试用例进行测试并生成测试结果... 提出了一种活动图(AD)模型驱动的Web应用程序测试方法,从活动图中生成满足往返路径覆盖准则的测试序列,基于测试输入语法生成驱动测试序列执行的测试数据,将测试数据整合到测试序列中生成测试用例,运行测试用例进行测试并生成测试结果的报告。实现了一个原型工具以支持活动图模型驱动的Web应用程序测试方法,设计并完成了一个实验,验证了该方法的可行性与有效性。 展开更多

关键词 统一建模语言 活动图 Web应用程序测试 模型驱动的测试

在线阅读 下载PDF 职称材料

模型驱动的Web应用测试

8

作者 李诺 黄陇 +2 位作者 吴际 金茂忠 刘超 《计算机工程》 CAS CSCD 北大核心 2007年第15期91-93,共3页

为了保证Web应用软件的质量,需要系统化的方法支持其测试。模型驱动的Web应用测试方法以模型为中心,通过建立Web应用模型描述被测系统,基于该模型产生测试用例,并且使用模型驱动的测试执行工具自动化执行测试,将测试结果返回到各个模型... 为了保证Web应用软件的质量,需要系统化的方法支持其测试。模型驱动的Web应用测试方法以模型为中心,通过建立Web应用模型描述被测系统,基于该模型产生测试用例,并且使用模型驱动的测试执行工具自动化执行测试,将测试结果返回到各个模型上。该文通过总结比较该领域的研究现状,讨论了实现模型驱动的Web应用测试的关键技术,并提出了目前研究的不足之处及潜在的研究方向和重点。 展开更多

关键词 WEB应用 模型驱动的测试 测试模型 测试用例生成

在线阅读 下载PDF 职称材料

针对模型驱动的Web应用测试的Web CraWler的设计和实现 被引量：1

9

作者 张晴 李诺 +1 位作者 吴际 刘超 《计算机工程与科学》 CSCD 2006年第z2期113-117,共5页

模型驱动的Web应用测试的第一步是建立被测Web应用的模型,作为生成测试用例的基础.但是,通常Web应用开发过程中相关文档较少,所以为在工程实践中应用模型驱动的Web应用测试,需要逆向建立被测Web应用模型.而逆向建立被测Web应用模型的基... 模型驱动的Web应用测试的第一步是建立被测Web应用的模型,作为生成测试用例的基础.但是,通常Web应用开发过程中相关文档较少,所以为在工程实践中应用模型驱动的Web应用测试,需要逆向建立被测Web应用模型.而逆向建立被测Web应用模型的基础之一是网页抓取技术(Web Crawler).本文首先介绍了网页抓取技术及其研究现状;然后分析了模型驱动的Web应用测试对网页抓取技术的需求;在阐述系统设计、实现之后,进行了总结与展望. 展开更多

关键词 网页抓取技术 逆向工程 模型驱动的测试

在线阅读 下载PDF 职称材料

测试驱动过程模型在辅助决策系统开发中的应用 被引量：1

10

作者 张博刚 张威 +1 位作者 王斌 陈月宁 《计算机研究与发展》 EI CSCD 北大核心 2010年第S1期44-49,共6页

为了解决辅助决策系统中模型、知识和数据的选择问题,在辅助决策系统开发过程中引入测试驱动过程模型,并对测试驱动过程模型及其开发步骤进行详细分析.以空调机组的辅助决策系统开发为例,研究测试驱动过程模型应用在辅助决策系统开发过... 为了解决辅助决策系统中模型、知识和数据的选择问题,在辅助决策系统开发过程中引入测试驱动过程模型,并对测试驱动过程模型及其开发步骤进行详细分析.以空调机组的辅助决策系统开发为例,研究测试驱动过程模型应用在辅助决策系统开发过程中的方法.最后以确定预测模型为例,说明测试驱动开发模型应用在模型和知识选择中的具体流程,并验证其优点.案例表明在辅助决策系统开发过程中应用测试驱动过程模型,开发过程更加有针对性,模型、知识和数据的选择更加明确. 展开更多

关键词 测试驱动开发 测试驱动过程模型 辅助决策系统 开发过程 决策资源

在线阅读 下载PDF 职称材料

基于JUnit和元模型的模型存储测试设计与实现 被引量：2

11

作者 黄陇 郭玉福 +1 位作者 吴际 金茂忠 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2007年第4期481-485,共5页

在模型驱动测试中,针对测试模型的存储测试问题,提出了单元素、单个测试元模型、组合测试元模型等测试覆盖准则,并通过实例化的方法生成了测试用例,讨论了测试结果的判定方法.在Eclipse平台上,借助于JUnit框架实现了模型存储测试.通过... 在模型驱动测试中,针对测试模型的存储测试问题,提出了单元素、单个测试元模型、组合测试元模型等测试覆盖准则,并通过实例化的方法生成了测试用例,讨论了测试结果的判定方法.在Eclipse平台上,借助于JUnit框架实现了模型存储测试.通过分析不同数量级的测试用例对执行效率的影响以及不同测试覆盖准则和相应的JUnit测试代码规模之间的关系,为测试元模型的设计与存储提供了实践指导,并表明JUnit框架可以用于基于元模型的测试.提出了一个基于JUnit和元模型的自动测试框架——JMetamodel,可以用于模型存储以及模型转换的测试. 展开更多

关键词 JUNIT 元模型 测试用例生成 模型驱动测试 模型存储

在线阅读 下载PDF 职称材料

面向TTCN-3性能测试的负载生成方法 被引量：4

12

作者 徐珞 吴际 刘超 《计算机学报》 EI CSCD 北大核心 2011年第6期985-1000,共16页

TTCN-3(Testing and Test Control Notation version 3)是一种面向黑盒测试的测试描述与实现语言.随着TTCN-3语言的广泛应用,用户对使用TTCN-3进行性能测试的需求日益强烈.然而,TTCN-3语言没有提供有效的负载描述和产生机制.目前,在使用... TTCN-3(Testing and Test Control Notation version 3)是一种面向黑盒测试的测试描述与实现语言.随着TTCN-3语言的广泛应用,用户对使用TTCN-3进行性能测试的需求日益强烈.然而,TTCN-3语言没有提供有效的负载描述和产生机制.目前,在使用TTCN-3产生性能测试的负载时,通常需要依靠大量的人工编码.该文提出了一种模型驱动方法以更加有效地支持面向TTCN-3的负载生成.在该方法中,负载指标模型用于刻画负载指标及约束关系;负载剖面模型则能够定义指标的取值及指标值随时间变化的情况.基于这些模型,该文提出的算法能够完成从模型到TTCN-3测试系统的自动转换.TTCN-3测试系统可在负载控制点的支持下得以执行,从而模拟出满足模型描述的负载场景.该文通过案例分析验证了上述方法的有效性和所模拟负载场景的准确性. 展开更多

关键词 TTCN-3 性能测试 模型驱动测试 负载建模 负载生成

在线阅读 下载PDF 职称材料

基于日志的Web系统互操作测试用例扩充方法 被引量：3

13

作者 王飞 刘超 《计算机科学与探索》 CSCD 北大核心 2015年第7期803-811,共9页

随着Web的发展,多应用Web系统成为一种主流形式,它能够为用户提供综合便捷的服务。Web系统中各应用间的交互直接影响着Web系统的功能性和可靠性,互操作性已经成为Web系统的主要特性之一。相较于传统软件系统,Web系统更新升级更为频繁,... 随着Web的发展,多应用Web系统成为一种主流形式,它能够为用户提供综合便捷的服务。Web系统中各应用间的交互直接影响着Web系统的功能性和可靠性,互操作性已经成为Web系统的主要特性之一。相较于传统软件系统,Web系统更新升级更为频繁,回归测试是保障Web系统质量的重要手段。针对以上问题,提出了一种基于访问日志的Web系统互操作性测试用例集扩充方法,利用Web系统独有的日志信息,在回归测试阶段对测试用例集进行扩充。该方法采用模型驱动测试的思想,使用顺序图对测试目标进行建模,转化成基础测试序列,然后将Web系统日志信息进行筛选、合并、解析,进而得到用户访问序列,将两种序列按照一定规则进行匹配,并结合相应的扩充规则对当前测试用例集进行扩充。 展开更多

关键词 互操作性测试 测试用例集扩充 模型驱动测试 WEB系统

在线阅读 下载PDF 职称材料

基于反馈的可信网络软件验证与测试集成框架研究 被引量：1

14

作者 蒋凡 邢学智 章磊 《中国科学技术大学学报》 CAS CSCD 北大核心 2010年第2期197-202,共6页

形式化方法被认为是高可信软件工程必不可少的工具,但是软件测试依然是提高软件质量最有效的方法.为此基于TTCN-3的测试集成环境,提出一种基于反馈的框架,可扩展地集成形式化规约和形式化证明方法,并把形式化方法和测试工程有效地结合起... 形式化方法被认为是高可信软件工程必不可少的工具,但是软件测试依然是提高软件质量最有效的方法.为此基于TTCN-3的测试集成环境,提出一种基于反馈的框架,可扩展地集成形式化规约和形式化证明方法,并把形式化方法和测试工程有效地结合起来,提高了测试的充分性和必要性. 展开更多

关键词 高可信软件 模型驱动测试 符号执行 约束求解 UML TTCN-3

在线阅读 下载PDF 职称材料

服务接口测试自动化工具的研究 被引量：7

15

作者 卓欣欣 白晓颖 +4 位作者 许静 李恩鹏 刘喻 康介恢 宋文莉 《计算机研究与发展》 EI CSCD 北大核心 2018年第2期358-376,共19页

在面向服务的架构中,软件功能通常被封装为服务,并以开放可编程接口的方式提供应用.因此,服务接口的正确性和可靠性对于服务理解、重用和集成至关重要.随着软件即服务的思想被广为认可,互联网上越来越多的软件应用以服务接口方式提供开... 在面向服务的架构中,软件功能通常被封装为服务,并以开放可编程接口的方式提供应用.因此,服务接口的正确性和可靠性对于服务理解、重用和集成至关重要.随着软件即服务的思想被广为认可,互联网上越来越多的软件应用以服务接口方式提供开放式访问.面对众多的服务接口,如何进行高效且有效的测试是一个亟待解决的问题.为此,提出了一种基于模型驱动的自动化测试方法,首先采用接口语义契约模型对被测服务接口建模,然后基于接口模型和测试覆盖率需求为单个服务和组合服务生成测试数据和测试用例.在此基础上,设计并实现了AutoTest自动化测试工具,该工具采用多种算法用于优化测试用例生成,且支持图形化测试计划编排和跨语言测试代码生成.实验结果表明,AutoTest能够有效支持大批量测试用例的设计和生成,根据OED(正交实验设计)算法生成的测试用例与IPO组合算法得到的用例相比,具有更为理想的测试覆盖率. 展开更多

关键词 服务接口 模型驱动测试 测试用例生成 自动化测试 测试工具

在线阅读 下载PDF 职称材料

基于测试需求的互操作性测试用例生成方法 被引量：2

16

作者 侯超凡 吴际 刘超 《计算机科学》 CSCD 北大核心 2014年第11期162-168,共7页

网络化应用将成为未来软件技术发展的主导模式。为了保证网络化应用之间能够有效地协同工作,必须对其进行互操作性测试。互操作性测试具有测试需求复杂易变、测试用例设计困难的特点,因而需要消耗大量成本。为此,提出一种基于测试需求... 网络化应用将成为未来软件技术发展的主导模式。为了保证网络化应用之间能够有效地协同工作,必须对其进行互操作性测试。互操作性测试具有测试需求复杂易变、测试用例设计困难的特点,因而需要消耗大量成本。为此,提出一种基于测试需求的互操作性测试用例生成方法。该方法采用模型驱动的测试思想,以测试需求模型描述互操作性测试需求,以状态图描述各被测应用的规格说明,通过两者的结合生成满足测试需求的测试用例。 展开更多

关键词 互操作性测试 测试用例生成 模型驱动测试 测试需求

在线阅读 下载PDF 职称材料

基于Smali Code的移动应用行为模型的自动构建方法 被引量：1

17

作者 余勇 郭骞 《计算机科学》 CSCD 北大核心 2017年第11期207-220,231,共15页

移动应用数量的快速增长,以及移动应用开发周期短、迭代速度快等特点,使得移动应用的测试面临挑战,许多应用没有经过充分测试就被投放到市场,其中可能包含程序缺陷,从而影响用户体验。模型驱动的测试方法是最有效的测试方法之一,在功能... 移动应用数量的快速增长,以及移动应用开发周期短、迭代速度快等特点,使得移动应用的测试面临挑战,许多应用没有经过充分测试就被投放到市场,其中可能包含程序缺陷,从而影响用户体验。模型驱动的测试方法是最有效的测试方法之一,在功能、性能、可用性、安全等测试方面均有应用,能在一定程度上提高测试的自动化程度。移动应用领域与传统研究领域的模型驱动测试方法的最大区别在于模型构建方法的不同,因为移动应用是事件驱动的。提出了一种构建移动应用行为状态机模型的方法。首先通过逆向工程的方法得到移动应用的中间码;然后在中间码上通过动静态结合的方法生成事件表;最后,建模时通过在系统层扫描屏幕变化来判断是否出现新状态,并定义所有出现的状态,从而组成最终的模型。该方法一方面避免了源代码的限制,另一方面也提高了模型的覆盖度。实验结果表明,所提方法可以准确有效地构建移动应用的行为状态机模型,解决现有移动应用测试中模型构建存在的部分问题。 展开更多

关键词 移动应用测试 模型驱动测试 模型构建 移动应用行为模型 逆向工程 状态机

在线阅读 下载PDF 职称材料

一种手绘制导的移动应用界面测试方法 被引量：2

18

作者 成浩亮 汤恩义 +5 位作者 玉淳舟 张初成 陈鑫 王林章 卜磊 李宣东 《软件学报》 EI CSCD 北大核心 2020年第12期3671-3684,共14页

软件测试在提高移动应用的安全性和可靠性方面扮演着重要角色.然而,目前主流的移动应用界面测试技术存在着许多不足:人工编写脚本和录制回放技术需要消耗大量的人力成本,自动化测试在移动应用界面测试的应用场景上受到了诸多限制.针对... 软件测试在提高移动应用的安全性和可靠性方面扮演着重要角色.然而,目前主流的移动应用界面测试技术存在着许多不足:人工编写脚本和录制回放技术需要消耗大量的人力成本,自动化测试在移动应用界面测试的应用场景上受到了诸多限制.针对这些问题,提出一种基于手绘制导的移动应用界面测试方法.该方法通过设计一种简单直观且具有较强表达能力的手绘语言来帮助测试者轻松表达其测试意图,测试者仅需在待测应用的界面图像上做简单绘制,就能生成对应的测试模型,并以此为基础生成界面测试所需的测试用例.以近年来在相关文献中已经用作移动应用界面测试的评估用例集为基准来评估该方法的测试效果.评估结果表明:在提供很少人力成本的条件下,手绘图形所表达的用户测试意图在制导移动应用界面测试上能起到非常关键的作用. 展开更多

关键词 手绘制导测试生成 模型驱动的自动化测试 移动应用 图形界面测试

在线阅读 下载PDF 职称材料