CN106407122A - 一种用于软件自动生成***的测试方法 - Google Patents

一种用于软件自动生成***的测试方法 Download PDF

Info

Publication number
CN106407122A
CN106407122A CN201610925059.0A CN201610925059A CN106407122A CN 106407122 A CN106407122 A CN 106407122A CN 201610925059 A CN201610925059 A CN 201610925059A CN 106407122 A CN106407122 A CN 106407122A
Authority
CN
China
Prior art keywords
instrument
test case
testing
software
software automatic
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN201610925059.0A
Other languages
English (en)
Inventor
张介飞
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hefei Mdt Infotech Ltd
Original Assignee
Hefei Mdt Infotech Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Hefei Mdt Infotech Ltd filed Critical Hefei Mdt Infotech Ltd
Priority to CN201610925059.0A priority Critical patent/CN106407122A/zh
Publication of CN106407122A publication Critical patent/CN106407122A/zh
Pending legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)

Abstract

本发明公开了一种用于软件自动生成***的测试方法。包括如下步骤：步骤一，通过编辑器进行***建模，得到软件***；步骤二，在***完成后，对***进行仿真，仿真***包括被仿真***、外界环境模拟模块和交互监视模块；通过仿真器构成被仿真***；通过外界环境模拟模块负责与***交互各种消息；交互监视模块作为数据交互接口；步骤三，通过工具对***进行遍历，得到所有的测试用例；步骤四，通过工具进行测试用例的验证。本发明通过采用对***建模，通过对***进行仿真、通过工具对***进行遍历，得到所有的测试用例；通过工具进行测试用例的验证的三个过程进行对***的测试，有效的进行定位错误位置，提高***开发与维护的经济性。

Description

一种用于软件自动生成***的测试方法
技术领域
本发明属于软件开发技术领域，特别是涉及一种用于软件自动生成***的测试方法。
背景技术
软件测试的真正确立是在20世纪70年代，在1972年北卡罗来纳举行的首届软件测试正式会议上，Myers定义测试”为发现程序错误而执行程序的过程”。到了80年代，一些软件开发人员和测试人员一起制订了软件测试相关的各种标准，包括IEEE、美国的ANSI标准以及ISO国际标准。由于这些标准过于庞大，在实际应用中无法全部落实，但它们确实为一些测试提供了非常宝贵的参考。直到90年代，软件测试以及各种测试工具才比较盛行起来。在这段时间内，测试理论以及测试用例的选择一直是研究的热点。现在，测试理论已经渐渐趋于完善，而测试用例的选择问题却仍处在研究阶段，怎样选取测试用例才能够使被测软件得到充分的测试，在测试时选择不一样的测试序列是否会对测试结果产生影响等等问题还在研究中。
发明内容
本发明的目的在于提供一种用于软件自动生成***的测试方法，通过采用对***建模，通过对***进行仿真、通过工具对***进行遍历，得到所有的测试用例。
本发明是通过以下技术方案实现的：
本发明为一种用于软件自动生成***的测试方法，包括如下步骤：
步骤一，通过编辑器进行***建模，得到软件***；
步骤二，在***完成后，对***进行仿真，仿真***包括被仿真***、外界环境模拟模块和交互监视模块；通过仿真器构成被仿真***；通过外界环境模拟模块负责与***交互各种消息；交互监视模块作为数据交互接口；
步骤三，通过工具对***进行遍历，得到所有的测试用例；
步骤四，通过工具进行测试用例的验证。
优选地，所述步骤三，通过工具对***进行遍历，得到所有MSC序列组合，每一个MSC图表示一个测试用例中，通过Validator工具进行对***的测试。
优选地，所述步骤四，通过工具进行测试用例的验证中采用TTCN-SDLCo-simulator工具进行定位错误位置。
本发明具有以下有益效果：
本发明通过采用对***建模，通过对***进行仿真、通过工具对***进行遍历，得到所有的测试用例；通过工具进行测试用例的验证的三个过程进行对***的测试，有效的进行定位错误位置，提高***开发与维护的经济性。
当然，实施本发明的任一产品并不一定需要同时达到以上所述的所有优点。
附图说明
为了更清楚地说明本发明实施例的技术方案，下面将对实施例描述所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。
图1为本发明的一种用于软件自动生成***的测试方法流程图。
具体实施方式
下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本发明一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有作出创造性劳动前提下所获得的所有其它实施例，都属于本发明保护的范围。
请参阅图1所示，本发明为一种用于软件自动生成***的测试方法，包括如下步骤：
步骤一，通过编辑器进行***建模，得到软件***；
步骤二，在***完成后，对***进行仿真，仿真***包括被仿真***、外界环境模拟模块和交互监视模块；通过仿真器构成被仿真***；通过外界环境模拟模块负责与***交互各种消息；交互监视模块作为数据交互接口；
步骤三，通过工具对***进行遍历，得到所有的测试用例；
步骤四，通过工具进行测试用例的验证。
其中，步骤三，通过工具对***进行遍历，得到所有MSC序列组合，每一个MSC图表示一个测试用例中，通过Validator工具进行对***的测试。
其中，步骤四，通过工具进行测试用例的验证中采用TTCN-SDLCo-simulator工具进行定位错误位置。
Validator可用多种算法(如一叉树搜索、穷举法等)来遍历我们设计的SDL***，从而自动生成多种可能出现的MSC序列组合，每一个MSC图表示—个测试用例。另外它可以和Autolink联合使用，Autolink支持自动生成的TTCN测试套的声明，约朿和动态行为表，其生成的上述说明的基础是SDL说明及其相应的MSC图。Autolink的输出是一个MP文件格式的测试套文件。
交互监视模块作为数据交互接口，其下又分为GUI接口、SDL接口以及MSC接口；通过GUI接口可以控制***的运行、设罝接口数据值等操作；SDL接口将***的执行情况与SDL图进行映射，这样可以从SDL阁中实时的获悉各个进程的运行情况；MSC接口提供整个***的消息交互试图
值得注意的是，上述***实施例中，所包括的各个单元只是按照功能逻辑进行划分的，但并不局限于上述的划分，只要能够实现相应的功能即可；另外，各功能单元的具体名称也只是为了便于相互区分，并不用于限制本发明的保护范围。
另外，本领域普通技术人员可以理解实现上述各实施例方法中的全部或部分步骤是可以通过程序来指令相关的硬件来完成，相应的程序可以存储于一计算机可读取存储介质中，所述的存储介质，如ROM/RAM、磁盘或光盘等。
以上公开的本发明优选实施例只是用于帮助阐述本发明。优选实施例并没有详尽叙述所有的细节，也不限制该发明仅为所述的具体实施方式。显然，根据本说明书的内容，可作很多的修改和变化。本说明书选取并具体描述这些实施例，是为了更好地解释本发明的原理和实际应用，从而使所属技术领域技术人员能很好地理解和利用本发明。本发明仅受权利要求书及其全部范围和等效物的限制。

Claims (3)

1.一种用于软件自动生成***的测试方法，其特征在于，包括如下步骤：
步骤一，通过编辑器进行***建模，得到软件***；
步骤二，在***完成后，对***进行仿真，仿真***包括被仿真***、外界环境模拟模块和交互监视模块；通过仿真器构成被仿真***；通过外界环境模拟模块负责与***交互各种消息；交互监视模块作为数据交互接口；
步骤三，通过工具对***进行遍历，得到所有的测试用例；
步骤四，通过工具进行测试用例的验证。
2.根据权利要求1所述的一种用于软件自动生成***的测试方法，其特征在于，所述步骤三，通过工具对***进行遍历，得到所有MSC序列组合，每一个MSC图表示一个测试用例中，通过Validator工具进行对***的测试。
3.根据权利要求1所述的一种用于软件自动生成***的测试方法，其特征在于，所述步骤四，通过工具进行测试用例的验证中采用TTCN-SDL Co-simulator工具进行定位错误位置。
CN201610925059.0A 2016-10-30 2016-10-30 一种用于软件自动生成***的测试方法 Pending CN106407122A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201610925059.0A CN106407122A (zh) 2016-10-30 2016-10-30 一种用于软件自动生成***的测试方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201610925059.0A CN106407122A (zh) 2016-10-30 2016-10-30 一种用于软件自动生成***的测试方法

Publications (1)

Publication Number Publication Date
CN106407122A true CN106407122A (zh) 2017-02-15

Family

ID=58013312

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201610925059.0A Pending CN106407122A (zh) 2016-10-30 2016-10-30 一种用于软件自动生成***的测试方法

Country Status (1)

Country Link
CN (1) CN106407122A (zh)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106933741A (zh) * 2017-03-16 2017-07-07 东软集团股份有限公司 联调测试的方法及装置
CN109088741A (zh) * 2017-06-14 2018-12-25 北京航空航天大学 一种区块链***形式化建模与验证方法
CN111044925A (zh) * 2019-12-20 2020-04-21 深圳市新威尔电子有限公司 用于电池检测***的仿真器

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102004826A (zh) * 2010-11-09 2011-04-06 北京交通大学 列控***通信协议规范化开发的方法及***

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102004826A (zh) * 2010-11-09 2011-04-06 北京交通大学 列控***通信协议规范化开发的方法及***

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
刘凌卉: "中国优秀硕士学位论文全文数据库工程科技Ⅱ辑", 《中国优秀硕士学位论文全文数据库工程科技Ⅱ辑》 *

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106933741A (zh) * 2017-03-16 2017-07-07 东软集团股份有限公司 联调测试的方法及装置
CN109088741A (zh) * 2017-06-14 2018-12-25 北京航空航天大学 一种区块链***形式化建模与验证方法
CN109088741B (zh) * 2017-06-14 2021-01-01 北京航空航天大学 一种区块链***形式化建模与验证方法
CN111044925A (zh) * 2019-12-20 2020-04-21 深圳市新威尔电子有限公司 用于电池检测***的仿真器

Similar Documents

Publication Publication Date Title
CN110008113B (zh) 一种测试方法、装置、电子设备
US8402438B1 (en) Method and system for generating verification information and tests for software
JP2007012003A (ja) フィーチャ指向ソフトウェア製品ラインの開発環境を提供するシステム
CN107659455B (zh) 一种iOS端Mock数据的方法、存储介质、设备及***
JP2017533491A (ja) 情報処理方法、装置及びコンピュータ記憶媒体
US8578309B2 (en) Format conversion from value change dump (VCD) to universal verification methodology (UVM)
CN112817872A (zh) 开发测试***及方法
US8271252B2 (en) Automatic verification of device models
US20070061641A1 (en) Apparatus and method for generating test driver
CN105049281A (zh) 一种报文解析方法和设备
CN106407122A (zh) 一种用于软件自动生成***的测试方法
CN102999419B (zh) 一种Android测试事件记录回放方法及装置
KR100937689B1 (ko) 사용자 환경 프로파일링에 기반을 두어 테스트 대상소프트웨어의 테스트를 지원하는 시뮬레이션 방법
CN104484267A (zh) 一种测试***及方法
CN111737154A (zh) 基于uft的车联网自动化测试方法及装置
CN106528429A (zh) 一种ui界面测试方法及装置
US8265918B1 (en) Simulation and emulation of a circuit design
CN109557900A (zh) 一种验证dcs模拟机逻辑运算功能的测试方法及***
US20070150249A1 (en) Verification Operation Supporting System and Method of the Same
JP2002099584A (ja) 設計検証システム、設計検証方法および設計検証プログラムを格納したコンピュータ読取り可能な記録媒体
CN114692383B (zh) 全范围模拟机仿真对象的建模方法、装置及计算机设备
CN104156308B (zh) 一种基于用户执行踪迹重放的移动应用测试方法
CN111459814A (zh) 自动化测试用例生成方法、装置及电子设备
CN106021109A (zh) 一种面向程序结构分析自动化框架模型
CN104239199B (zh) 虚拟机器人的生成方法、自动化测试方法及相关装置

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
RJ01 Rejection of invention patent application after publication
RJ01 Rejection of invention patent application after publication

Application publication date: 20170215