CN104050079A - 一种基于时间自动机的实时系统测试方法 - Google Patents
一种基于时间自动机的实时系统测试方法 Download PDFInfo
- Publication number
- CN104050079A CN104050079A CN201410225563.0A CN201410225563A CN104050079A CN 104050079 A CN104050079 A CN 104050079A CN 201410225563 A CN201410225563 A CN 201410225563A CN 104050079 A CN104050079 A CN 104050079A
- Authority
- CN
- China
- Prior art keywords
- time
- real
- sign condition
- sign
- stable
- 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
Links
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
本发明提供一种基于时间自动机的实时系统测试方法,其具体实现过程为:根据稳定符号状态迁移图来静态生成含时间延迟变量的迁移动作序列;引入时间延迟变量目标函数,采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量并执行测试。该一种基于时间自动机的实时系统测试方法和现有技术相比,该测试方法对各类实时系统的一致性测试是十分有效的,实用性强,提高测试用例的错误检测能力并减少生成的测试用例的数目,适用范围广泛,易于推广。
Description
技术领域
本发明涉及计算机领域系统测试技术,具体的说是一种提高实时系统质量、基于时间自动机的实时系统测试方法。
背景技术
从20世纪90年代中期开始,随着时序逻辑(temporal logic,简称TL)、时间自动机(timed automata,简称TA)、时间标号迁移系统(timed labeled transition system,简称TLTS)等时间相关形式模型理论的逐步成熟,人们开始研究如何利用时间相关的形式模型来对实时系统进行测试。然而,由于实时系统引入了时间维,理论上来说其状态空间是无限的。另外,系统中的时间约束也增加了分析系统可能行为的难度,这些都给实时系统测试带来了极大的困难。
与运行环境的交互行为存在时间约束的系统,称为实时系统。对于很多实时系统而言,系统的功能性错误或者对时间约束的偏移,都会产生灾难性的后果。为了提高实时系统的质量,一般采用验证或测试的方法,其中,测试是唯一能够在运行时刻检验实时系统动态行为的方法,基于此,现提供一种基于时间自动机的实时系统测试方法。
发明内容
本发明的技术任务是解决现有技术的不足,提供一种实用性强、基于时间自动机的实时系统测试方法。
本发明的技术方案是按以下方式实现的,该一种基于时间自动机的实时系统测试方法,其具体实现过程如下:
一、根据稳定符号状态迁移图来静态生成含时间延迟变量的迁移动作序列;
二、引入时间延迟变量目标函数,采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量并执行测试。
作为优选,所述步骤一中稳定符号状态迁移图由时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的。
进一步的,所述稳定符号状态迁移图的获得过程为:
将时间安全输入/输出自动机的每一个位置与其时间不变量组合构成最初的符号状态集合W;
将W中的每一个符号状态根据与其相关的迁移的条件进行拆分;
如果一个可达符号状态X已经是稳定的,将X加到σ并将其所有紧后符号状态加入α中;否则,将X移出α;这里的α是可达符号状态集;
对X的拆分结果进行判断,如果存在含有初始状态的符号状态Y,则将其加入到α;
将X的紧前符号状态移出σ,并根据拆分结果更新ρ,这里的σ是当前α集合中稳定的符号状态集合,ρ是当前符号状态集,从而最终得最稳定的符号状态集合;
将该稳定符号状态集合中去除与测试无关的抽象时间延迟迁移,得到不含抽象时间迁移的稳定符号状态迁移图。
本发明与现有技术相比所产生的有益效果是:
本发明的一种基于时间自动机的实时系统测试方法相对于其他实时系统测试方法而言,该方法采用改进的符号状态拆分算法和抽象时间迁移去除技术,获得了更加简洁且满足稳定性的USTGSS,从而可以将时间测试用例中的迁移动作和时间延迟量分开处理,其中:前者是在USTGSS基础上,利用输入/输出标号迁移系统静态测试方法获得;后者通过建立线性约束系统和引入时间极值函数在测试过程中动态求解得到。用这种方法,可以根据系统的TSIOA模型,很方便地生成满足各种结构覆盖和时间延迟极值覆盖标准的测试用例集合,因此,本专利所提出的测试方法对各类实时系统的一致性测试是十分有效的,实用性强,提高测试用例的错误检测能力并减少生成的测试用例的数目,适用范围广泛,易于推广。
附图说明
附图1为本发明的时间安全输入/输出自动机模型示意图。
附图2为本发明中获得最稳定符号状态集合示意图。
附图3为本发明中获得稳定符号状态迁移图示意图。
具体实施方式
下面结合附图对本发明的一种基于时间自动机的实时系统测试方法作以下详细说明。
本发明采用TA的一种变体——时间安全输入/输出自动机,(即timed safety input/output automata,简称TSIOA)作为系统的形式模型,该模型如附图1所示。基于该模型通过增加预处理过程以及采用更加简洁的符号状态拆分算子等方法改进了PR算法,并从所生成的MSTGSS中去除了与测试无关的抽象时间延迟迁移,从而得到更加简单的不含抽象时间迁移稳定符号状态迁移图(untimed stable transition graph of symbolic state,简称USTGSS)。获得USTGSS之后,便利用它来构造和执行测试用例,为了提高测试用例的错误检 测能力并减少生成的测试用例的数目,在生成迁移动作序列时,要考虑针对USTGSS的各种结构覆盖标准,而在求解时间延迟量时还需要引入时间延迟策略。现提供一种基于时间自动机的实时系统测试方法,其具体实现过程如下:
一、根据稳定符号状态迁移图来静态生成含时间延迟变量的迁移动作序列;
二、引入时间延迟变量目标函数,采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量并执行测试。
所述稳定符号状态迁移图由时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的。
进一步的,上述稳定符号状态迁移图的获取包括以下两个步骤。其中第一个步骤是获取稳定符号状态集合,第二个步骤则是获取稳定符号状态迁移图。
如附图2所示,其中第一个步骤获取稳定符号状态集合具体包括以下内容:
在上述步骤中,参数A是一个时间安全输入/输出自动机TSIOA;ρ是当前符号状态集;α是可达符号状态集;σ是当前α集合中稳定的符号状态集合。
第3)步~第6)步是预处理过程,其中:第3)步、第4)步将A的每一个位置与其时间不变量组合构成最初的符号状态集合W。
第5)步、第6)步将W中的每一个符号状态根据与其相关的迁移的条件进行拆分。
算法从第8)步开始对符号状态集中符号状态进行拆分,如果一个可达符号状态X已经是稳定的,那么第12)步将X加到σ并将其所有紧后符号状态加入α中;否则,将X移出α。
为了避免α为空,第14)步对X的拆分结果进行判断,如果存在含有初始状态的符号状态Y,则将其加入到α。
第15)步、第16)步分别将X的紧前符号状态移出σ,并根据拆分结果更新ρ。
根据前面的定理,算法第10)步中split拆分操作得到的符号状态集合是最简稳定的,所以最终得到的符号状态集合是最简稳定的。
如附图3所示,获取稳定符号状态迁移图的步骤二如下所示,该步骤中通过抽象时间延迟迁移去除(abstract time delay transitions removing,简称ATDTR)算法用于去除符号状态迁移图中的抽象时间迁移:
该步骤二所获得的USTGSS即为不含抽象时间迁移稳定符号状态迁移图(untimed stable transition graph of symbolic state,简称USTGSS),利用它来构造和执行上述测试用例。
最后应当说明的是,以上内容仅用以说明本发明的技术方案,而非对本发明保护范围的限制,尽管该具体实施方式部分对本发明作了详细地说明,本领域的普通技术人员应当理解,可以对本发明的技术方案进行修改或者等同替换,都不脱离本发明技术方案的实质和范围。
Claims (3)
1.一种基于时间自动机的实时系统测试方法,其特征在于其具体实现过程为:
一、根据稳定符号状态迁移图来静态生成含时间延迟变量的迁移动作序列;
二、引入时间延迟变量目标函数,采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量并执行测试。
2.根据权利要求1所述的一种基于时间自动机的实时系统测试方法,其特征在于:所述稳定符号状态迁移图由时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的。
3.根据权利要求2所述的一种基于时间自动机的实时系统测试方法,其特征在于所述稳定符号状态迁移图的获得过程为:
将时间安全输入/输出自动机的每一个位置与其时间不变量组合构成最初的符号状态集合W;
将W中的每一个符号状态根据与其相关的迁移的条件进行拆分;
如果一个可达符号状态X已经是稳定的,将X加到σ并将其所有紧后符号状态加入α中;否则,将X移出α;这里的α是可达符号状态集;
对X的拆分结果进行判断, 如果存在含有初始状态的符号状态Y, 则将其加入到α;
将X的紧前符号状态移出σ,并根据拆分结果更新ρ,这里的σ是当前α集合中稳定的符号状态集合,ρ是当前符号状态集,从而最终得最稳定的符号状态集合;
将该稳定符号状态集合中去除与测试无关的抽象时间延迟迁移,得到不含抽象时间迁移的稳定符号状态迁移图。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410225563.0A CN104050079A (zh) | 2014-05-27 | 2014-05-27 | 一种基于时间自动机的实时系统测试方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410225563.0A CN104050079A (zh) | 2014-05-27 | 2014-05-27 | 一种基于时间自动机的实时系统测试方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN104050079A true CN104050079A (zh) | 2014-09-17 |
Family
ID=51502965
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201410225563.0A Pending CN104050079A (zh) | 2014-05-27 | 2014-05-27 | 一种基于时间自动机的实时系统测试方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN104050079A (zh) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104462793A (zh) * | 2014-11-25 | 2015-03-25 | 北京数迅科技有限公司 | 时间序列实时预测方法及装置 |
CN104702598A (zh) * | 2015-02-16 | 2015-06-10 | 南京邮电大学 | 一种智能电网分布式网络协议安全性检测方法 |
WO2019085353A1 (zh) * | 2017-11-01 | 2019-05-09 | 平安科技(深圳)有限公司 | 测试用例迁移终端、测试用例迁移方法及存储介质 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20020144236A1 (en) * | 2001-01-15 | 2002-10-03 | International Business Machines Corporation | Automatic abstraction of software source |
CN1971535A (zh) * | 2005-11-21 | 2007-05-30 | 中国科学院软件研究所 | 基于时间安全输入输出自动机的测试方法及系统 |
CN101013441A (zh) * | 2007-02-12 | 2007-08-08 | 杭州华为三康技术有限公司 | 确定性有限自动机生成方法和装置及索引方法和索引系统 |
CN101201753A (zh) * | 2007-12-13 | 2008-06-18 | 浪潮通信信息系统有限公司 | 一种多状态机管理引擎的配置管理方法 |
-
2014
- 2014-05-27 CN CN201410225563.0A patent/CN104050079A/zh active Pending
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20020144236A1 (en) * | 2001-01-15 | 2002-10-03 | International Business Machines Corporation | Automatic abstraction of software source |
CN1971535A (zh) * | 2005-11-21 | 2007-05-30 | 中国科学院软件研究所 | 基于时间安全输入输出自动机的测试方法及系统 |
CN101013441A (zh) * | 2007-02-12 | 2007-08-08 | 杭州华为三康技术有限公司 | 确定性有限自动机生成方法和装置及索引方法和索引系统 |
CN101201753A (zh) * | 2007-12-13 | 2008-06-18 | 浪潮通信信息系统有限公司 | 一种多状态机管理引擎的配置管理方法 |
Non-Patent Citations (1)
Title |
---|
陈伟等: "一种基于时间自动机的实时系统测试方法", 《软件学报》 * |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104462793A (zh) * | 2014-11-25 | 2015-03-25 | 北京数迅科技有限公司 | 时间序列实时预测方法及装置 |
CN104702598A (zh) * | 2015-02-16 | 2015-06-10 | 南京邮电大学 | 一种智能电网分布式网络协议安全性检测方法 |
CN104702598B (zh) * | 2015-02-16 | 2017-08-29 | 南京邮电大学 | 一种智能电网分布式网络协议安全性检测方法 |
WO2019085353A1 (zh) * | 2017-11-01 | 2019-05-09 | 平安科技(深圳)有限公司 | 测试用例迁移终端、测试用例迁移方法及存储介质 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN105572498A (zh) | 一种电子产品可靠性加速试验方法 | |
BR112016007163A2 (pt) | codificação de procedimento médico direcionado ontologicamente | |
CN111488740B (zh) | 一种因果关系的判别方法、装置、电子设备及存储介质 | |
EP2657859A3 (en) | Ensuring database log recovery consistency | |
CN104317749A (zh) | 信息写入方法和装置 | |
CN111967569A (zh) | 神经网络结构的生成方法、装置、存储介质及电子设备 | |
CN102650995A (zh) | 多维数据分析模型生成系统及方法 | |
IN2015DE02745A (zh) | ||
RU2014135303A (ru) | Способ обработки текстов (варианты) и постоянный машиночитаемый носитель (варианты) | |
CN104050079A (zh) | 一种基于时间自动机的实时系统测试方法 | |
CN106294138A (zh) | 测试用例生成方法和装置 | |
CN105117430A (zh) | 一种基于等价类的重复任务过程发现方法 | |
CN106547743B (zh) | 一种进行翻译的方法及其系统 | |
CN103761398A (zh) | 一种基于知识本体的知识体系的建模方法 | |
CN111428489B (zh) | 一种评论生成方法、装置、电子设备及存储介质 | |
Shao et al. | On approximating grey model DGM (2, 1) | |
CN115809688B (zh) | 一种模型调试方法、装置、电子设备及存储介质 | |
CN103279328A (zh) | 基于Haloop的BlogRank算法并行化处理的构建方法 | |
CN115481594B (zh) | 计分板实现方法、计分板、电子设备及存储介质 | |
KR101348849B1 (ko) | 빈발 부분그래프의 마이닝 방법 | |
RU2014146944A (ru) | Способ моделирования совокупности элементов и компьютерная программа, применяемая при его осуществлении | |
CN103077284A (zh) | 利用通用文本模板自动生成辅助代码文件的方法及系统 | |
Liu et al. | A graph-based text similarity algorithm | |
CN104616332A (zh) | 一种快速显示方法 | |
CN105138762A (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 | ||
WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20140917 |
|
WD01 | Invention patent application deemed withdrawn after publication |