CN111555941B - 一种通信协议测试驱动数据自动生成方法 - Google Patents
一种通信协议测试驱动数据自动生成方法 Download PDFInfo
- Publication number
- CN111555941B CN111555941B CN202010367464.1A CN202010367464A CN111555941B CN 111555941 B CN111555941 B CN 111555941B CN 202010367464 A CN202010367464 A CN 202010367464A CN 111555941 B CN111555941 B CN 111555941B
- Authority
- CN
- China
- Prior art keywords
- data
- communication protocol
- elements
- value
- test
- 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.)
- Active
Links
Images
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L43/00—Arrangements for monitoring or testing data switching networks
- H04L43/18—Protocol analysers
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/2205—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using arrangements specific to the hardware being tested
- G06F11/221—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using arrangements specific to the hardware being tested to test buses, lines or interfaces, e.g. stuck-at or open line faults
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/2273—Test methods
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Computer And Data Communications (AREA)
Abstract
本发明涉及接口通信协议测试领域,特别涉及一种通信协议测试驱动数据自动生成方法;本发明对通信协议中涉及的数据项进行分析描述,将通信协议的应用层协议,分解为数据包,数据包可分解为数据元素,从而建立数据存储模型,根据字节序号,分析数据存储模型中的数据元素,对数据元素的值特征的属性进行标记,分析数据存储模型中数据包的数据元素组成个数,根据数据包的数据元素组成个数,挑选数据元素,从而自动组成测试驱动数据,本发明可以通过自动组成测试驱动数据,从而满足对没有标准格式的协议进行无条件测试,测试无阻碍,测试效果好,可以对各个系统之间的总线内的协议测试进行全面覆盖测试。
Description
技术领域
本发明涉及接口通信协议测试领域,特别涉及一种通信协议测试驱动数据自动生成方法。
背景技术
航天/航空载荷、武器装备等一般由多个系统组成,各个系统之间交互信息,使用各自领域的总线,比如RS232/422/485/UART、CAN、ARINC429等,通信协议在物理层、数据链路层等都按照各自总线标准组建数据,在面向应用的应用层,由于系统设备工作方式千差万别,设计人员在设计应用层通信协议时,无法遵循统一的应用标准,而是根据系统信息交互的需要综合考虑。
然而这种没有标准格式的协议进行测试是对系统功能测试的一个重要方式,对这种没有标准格式的协议进行测试,需要耗费大量的人力和资源,取得的测试效果也不令人满意,不能达到协议测试的充分覆盖。
发明内容
本发明主要解决的技术问题是提供一种通信协议测试驱动数据自动生成方法,其可以通过自动组成测试驱动数据,从而满足对没有标准格式的协议进行无条件测试,测试无阻碍,测试效果好,可以对各个系统之间的总线内的协议测试进行全面覆盖测试。
为解决上述技术问题,本发明采用的一个技术方案是:提供一种通信协议测试驱动数据自动生成方法,其中,包括如下步骤:
步骤S1、对接口的通信协议的应用数据进行分析:对通信协议中涉及的数据项进行分析描述,将通信协议的应用层协议,分解为数据包,数据包可分解为数据元素,从而建立数据存储模型;
步骤S2、根据字节序号,分析数据存储模型中的数据元素,将数据元素按照字节宽度左侧高位补齐0;
步骤S3、根据字节序号,分析数据存储模型中的数据元素,对数据元素的值特征的属性进行标记;
步骤S4、根据字节序号,分析数据存储模型中数据包的数据元素组成个数;
步骤S5、根据数据包的数据元素组成个数,挑选数据元素,从而自动组成测试驱动数据,测试驱动数据包括有效测试驱动数据包和无效测试驱动数据包。
作为本发明的一种改进,在步骤S1内,数据元素可由二进制的至少一个字节组成。
作为本发明的进一步改进,在步骤S1内,所述通信协议为串行数据传输方式,所述通信协议的协议数据内容为面向应用者的顶层数据的测试数据生成约束。
作为本发明的更进一步改进,在步骤S3内,对数据元素值特征属性进行标记:标记0代表为与前序数据元素值重复,标记1代表为唯一合法值,标记x代表为数据元素重复值,标记空代表为连续取值。
作为本发明的更进一步改进,在步骤S5内,挑选数据元素的方法:先选择有效数据元素,组成若干个有效驱动数据包,再选择含有非法数据元素,组成若干个无效驱动数据包。
作为本发明的更进一步改进,在选择有效测试驱动数据包时,根据数据元素关系属性中的乘积关系、参数的范围、重复数据确定合法驱动数据包的个数。
作为本发明的更进一步改进,对于乘积关系的数据元素,选择相关元素的取值个数的乘积作为数据包中有效驱动数据的个数。
作为本发明的更进一步改进,对于参数范围的数据元素,取参数的7个典型值作为有效驱动数据的个数。
作为本发明的更进一步改进,对于重复数据的数据元素,取重复数据中的最大值作为有效驱动数据的个数。
作为本发明的更进一步改进,在步骤S5内,根据数据元素取值计算非法驱动数据包,计算方法为:至少单独取每个数据元素的非法值一次,每个非法驱动数据包只有一个数据元素含有非法值。
本发明的有益效果是:与现有技术相比,本发明可以通过自动组成测试驱动数据,从而满足对没有标准格式的协议进行无条件测试,测试无阻碍,测试效果好,可以对各个系统之间的总线内的协议测试进行全面覆盖测试。
附图说明
图1是本发明的通信协议测试驱动数据自动生成方法的步骤流程图;
图2是本发明的一个实施例涉及到的航天/航空载荷系统的系统组成结构示意图。
具体实施方式
如图1所示,本发明提供一种通信协议测试驱动数据自动生成方法,包括如下步骤:
步骤S1、对接口的通信协议的应用数据进行分析:对通信协议中涉及的数据项进行分析描述,将通信协议的应用层协议,分解为数据包,数据包可分解为数据元素,从而建立数据存储模型;
步骤S2、根据字节序号,分析数据存储模型中的数据元素,将数据元素按照字节宽度左侧高位补齐0;
步骤S3、根据字节序号,分析数据存储模型中的数据元素,对数据元素的值特征的属性进行标记;
步骤S4、根据字节序号,分析数据存储模型中数据包的数据元素组成个数;
步骤S5、根据数据包的数据元素组成个数,挑选数据元素,从而自动组成测试驱动数据,测试驱动数据包括有效测试驱动数据包和无效测试驱动数据包。
其中,在步骤S1内,数据元素可由二进制的至少一个字节组成;通信协议为串行数据传输方式,通信协议的协议数据内容为面向应用者的顶层数据的测试数据生成约束。
在步骤S3内,对数据元素值特征属性进行标记:标记0代表为与前序数据元素值重复,标记1代表为唯一合法值,标记x代表为数据元素重复值,第一个数据元素为重复值个数为x;标记空代表为连续取值。
在步骤S5内,挑选数据元素的方法:先选择有效数据元素,组成若干个有效驱动数据包,再选择含有非法数据元素,组成若干个无效驱动数据包;具体地讲,在选择有效测试驱动数据包时,根据数据元素关系属性中的乘积关系、参数的范围、重复数据确定合法驱动数据包的个数;对于乘积关系的数据元素,选择相关元素的取值个数的乘积作为数据包中有效驱动数据的个数;对于参数范围的数据元素,取参数的7个典型值作为有效驱动数据的个数;对于重复数据的数据元素,取重复数据中的最大值作为有效驱动数据的个数;如果存在校验数据元素,根据校验的类型计算校验值,校验包含:累加和校验、异或和校验、CRC8校验、CRC16校验、CRC32校验。
在步骤S5内,根据数据元素取值计算非法驱动数据包,计算方法为:至少单独取每个数据元素的非法值一次,如果一个数据包有10个数据元素,那么至少有10个非法驱动数据包,每个非法驱动数据包只有一个数据元素含有非法值。
本发明提供一个实施例,如图2所示,航天/航空载荷系统包括飞控系统S0和载荷系统,载荷系统包括载荷控制系统S1、图像处理系统S2和伺服控制系统S3。
飞控系统S0:与载荷控制系统S1之间通过CAN总线连接,涉及到双向数据交互,数据交互内容见表1、表2。
载荷控制系统S1:与飞控系统S0之间通过CAN总线连接,涉及到双向数据交互,数据交互内容见表1、表2;与图像处理系统S2之间通过RS422总线连接,涉及到双向数据交互,数据交互内容见表3、表4;与伺服控制系统S3之间通过RS422总线连接,涉及到双向数据交互,数据交互内容见表5、表6。
在本实施例中,共有6个表,分别为表1、表2、表3、表4、表5和表6,每个表中的内容组成通信协议的一个数据包,从而意味着共包含6种不同类型的数据包,表格中每一个参数名称为一个数据元素,共有数据元素30个。
表1飞控系统发往载荷控制系统数据
表2载荷控制系统发往飞控系统
图像处理系统S2:与载荷控制系统S1之间通过RS422总线连接,涉及到双向数据交互,数据交互内容见表3、表4。
表3载荷控制系统发往图像处理系统
表4图像处理系统发往载荷控制系统
伺服控制系统S3:与载荷控制系统之间通过RS422总线连接,涉及到双向数据交互,数据交互内容见表5、表6。
表5载荷控制系统发往伺服控制系统
字节号 | 数据元素 | 取值范围 | 备注 |
1~2 | 同步头 | 0x7E7E | |
3 | 地址码 | 0x66 | |
4 | 命令 | 离散值 | 同表1,字节号3。 |
5~6 | 航向角 | 0x7000~0x8FFF | |
7~8 | 横滚角 | 0x7000~0x8FFF | |
9~11 | 时间码 | 0x000000~0xFFFFFF | |
12 | 校验字 | 4-11字节和 |
表6伺服控制系统发往载荷控制系统波特率
对本实施例中的航天/航空载荷系统进行通信协议测试驱动数据自动生成方法,具体包括如下:
第一步、对接口通信协议应用数据分析,对通信协议中的涉及的数据项进行分析描述,无论什么样的应用层协议,都可分解为数据包,数据包可分解为数据元素;数据元素的组成可由二进制的一位到多个字节,依据特定的存储模型建模方法,保存通信协议;假设被测试系统为图2中的载荷控制系统,对其进行测试,涉及到产生测试驱动数据来自其他三个系统发放载荷控制系统的协议,具体为表1、表4、表6,现在只以表6的数据作为测试驱动数据实例说明,因为表1、表4与表6相类似。将表6按照通信协议测试驱动数据自动生成方法建立数据存储模型,结果见表7。
表7通信协议建模
步骤二、根据字节序号,分析存储模型中的数据元素,将数据元素按照字节宽度左侧高位补齐0,表7的4-8行自动补齐位数。
步骤三、根据字节序号,分析存储模型中的数据元素,对数据元素值特征属性进行标记,0-与前序数据元素值重复;1-唯一合法值;x-数据元素重复值,第一个数据元素为重复值个数为x个;空-连续取值。
步骤四、根据字节序号,分析存储模型中数据包的数据元素组成个数,本实施例为6个元素组成。
步骤五、根据数据包的数据元素组成个数,挑选数据元素,组成测试驱动数据,挑选原则:先选择有效数据,组成多个有效驱动数据包,再选择含有非法数据元素组成多个无效的驱动数据包。
步骤六、在选择有效测试驱动数据包时,根据数据元素关系属性中的乘积关系、参数的范围、重复数据确定合法驱动数据包的个数,本实例合法驱动数据包6个。
步骤七、对于乘积关系的数据元素,选择相关元素的取值个数的乘积作为数据包中有效驱动数据的个数;对于参数范围的数据元素,取参数的7个典型值作为驱动数据的个数;对于重复数据,取重复数据中的最大值作为驱动数据的个数;驱动数据包的最终个数有两种模式,简约模式:取上述最大值作为最终的驱动数据包个数;全面模式:取上述数据的和作为驱动数据包的个数。
步骤八、如果存在校验数据元素,根据校验的类型计算校验值,校验包含:累加和校验、异或和校验、CRC8校验、CRC16校验、CRC32校验,本实施例为4-7字节累加和校验。
步骤九、根据数据元素取值计算非法驱动数据包,计算原则,至少单独取每个数据元素的非法值一次,如果一个数据包有10个数据元素,那么至少有10个非法驱动数据包,每个非法驱动数据包只有一个数据元素含有非法值,本实例的状态数据元素和参数数据元素无非法数据,所以共有4个非法数据包。
在本实施例中,将处理后的状态转换图按照步骤五~步骤七转换为状态转换树。
步骤二到步骤九的结果见表8。
表8自动生成测试驱动数据
在本发明内,可以通过自动组成测试驱动数据,从而满足对没有标准格式的协议进行无条件测试,测试无阻碍,测试效果好,可以对各个系统之间的总线内的协议测试进行全面覆盖测试。
以上所述仅为本发明的实施方式,并非因此限制本发明的专利范围,凡是利用本发明说明书及附图内容所作的等效结构或等效流程变换,或直接或间接运用在其他相关的技术领域,均同理包括在本发明的专利保护范围内。
Claims (9)
1.一种通信协议测试驱动数据自动生成方法,其特征在于,包括如下步骤:
步骤S1、对接口的通信协议的应用数据进行分析:对通信协议中涉及的数据项进行分析描述,将通信协议的应用层协议,分解为数据包,数据包可分解为数据元素,从而建立数据存储模型;
步骤S2、根据字节序号,分析数据存储模型中的数据元素,将数据元素按照字节宽度左侧高位补齐0;
步骤S3、根据字节序号,分析数据存储模型中的数据元素,对数据元素的值特征的属性进行标记;
步骤S4、根据字节序号,分析数据存储模型中数据包的数据元素组成个数;
步骤S5、根据数据包的数据元素组成个数,挑选数据元素,从而自动组成测试驱动数据,测试驱动数据包括有效测试驱动数据包和无效测试驱动数据包;
在步骤S3内,对数据元素值特征属性进行标记:标记0代表为与前序数据元素值重复,标记1代表为唯一合法值,标记x代表为数据元素重复值,标记空代表为连续取值。
2.根据权利要求1所述的一种通信协议测试驱动数据自动生成方法,其特征在于,在步骤S1内,数据元素可由二进制的至少一个字节组成。
3.根据权利要求1所述的一种通信协议测试驱动数据自动生成方法,其特征在于,在步骤S1内,所述通信协议为串行数据传输方式,所述通信协议的协议数据内容为面向应用者的顶层数据的测试数据生成约束。
4.根据权利要求1所述的一种通信协议测试驱动数据自动生成方法,其特征在于,在步骤S5内,挑选数据元素的方法:先选择有效数据元素,组成若干个有效驱动数据包,再选择含有非法数据元素,组成若干个无效驱动数据包。
5.根据权利要求4所述的一种通信协议测试驱动数据自动生成方法,其特征在于,在选择有效测试驱动数据包时,根据数据元素关系属性中的乘积关系、参数的范围、重复数据确定合法驱动数据包的个数。
6.根据权利要求5所述的一种通信协议测试驱动数据自动生成方法,其特征在于,对于乘积关系的数据元素,选择相关元素的取值个数的乘积作为数据包中有效驱动数据的个数。
7.根据权利要求5所述的一种通信协议测试驱动数据自动生成方法,其特征在于,对于参数范围的数据元素,取参数的7个典型值作为有效驱动数据的个数。
8.根据权利要求5所述的一种通信协议测试驱动数据自动生成方法,其特征在于,对于重复数据的数据元素,取重复数据中的最大值作为有效驱动数据的个数。
9.根据权利要求1所述的一种通信协议测试驱动数据自动生成方法,其特征在于,在步骤S5内,根据数据元素取值计算非法驱动数据包,计算方法为:至少单独取每个数据元素的非法值一次,每个非法驱动数据包只有一个数据元素含有非法值。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202010367464.1A CN111555941B (zh) | 2020-04-30 | 2020-04-30 | 一种通信协议测试驱动数据自动生成方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202010367464.1A CN111555941B (zh) | 2020-04-30 | 2020-04-30 | 一种通信协议测试驱动数据自动生成方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN111555941A CN111555941A (zh) | 2020-08-18 |
CN111555941B true CN111555941B (zh) | 2021-12-17 |
Family
ID=72004504
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202010367464.1A Active CN111555941B (zh) | 2020-04-30 | 2020-04-30 | 一种通信协议测试驱动数据自动生成方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN111555941B (zh) |
Citations (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102546301A (zh) * | 2012-01-16 | 2012-07-04 | 中国科学院深圳先进技术研究院 | 一种数字信号逻辑分析系统 |
EP2695085A1 (en) * | 2011-04-06 | 2014-02-12 | Headwater Partners II LLC | Distributing content and service launch objects to mobile devices |
CN104850027A (zh) * | 2014-08-13 | 2015-08-19 | 北汽福田汽车股份有限公司 | 一种can数据接口建模自动生成方法及系统 |
CN106326096A (zh) * | 2015-06-30 | 2017-01-11 | 中国船舶工业综合技术经济研究院 | 一种舰船装备软件接口协议形式化建模方法 |
CN106603581A (zh) * | 2017-02-22 | 2017-04-26 | 欣旺达电子股份有限公司 | 支持多种通信协议的测试方法及装置 |
EP3316261A1 (en) * | 2015-06-25 | 2018-05-02 | Federal State Unitary Enterprise "All - Russian Research Institute Of Automatics" | Control system for the safety of nuclear power plant |
CN108055167A (zh) * | 2017-12-29 | 2018-05-18 | 长春长光精密仪器集团有限公司 | 一种面向应用的接口通信协议建模方法及装置 |
CN109450731A (zh) * | 2018-11-09 | 2019-03-08 | 中国科学院长春光学精密机械与物理研究所 | 一种应用层通信协议的测试数据生成方法 |
CN110073301A (zh) * | 2017-08-02 | 2019-07-30 | 强力物联网投资组合2016有限公司 | 工业物联网中具有大数据集的数据收集环境下的检测方法和系统 |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP2175379A1 (en) * | 2008-10-07 | 2010-04-14 | EADS Secure Networks Oy | Enhanced data access for information systems |
CN101902757B (zh) * | 2009-12-02 | 2014-10-29 | 北京星河亮点技术股份有限公司 | 支持一致性测试的方法和系统 |
TWI453693B (zh) * | 2011-12-16 | 2014-09-21 | Universal Scient Ind Shanghai | 用以自動測試待測物之通訊功能的方法及其電腦可讀取媒體 |
CN104320320A (zh) * | 2014-11-18 | 2015-01-28 | 哈尔滨工业大学 | 自动测试装备中can总线从节点标识符的自动配置方法 |
JP7005482B2 (ja) * | 2015-07-16 | 2022-01-21 | ブラスト モーション インコーポレイテッド | 多センサ事象相関システム |
CN111078483A (zh) * | 2019-12-31 | 2020-04-28 | 中国科学院长春光学精密机械与物理研究所 | 通信协议状态转换序列生成方法 |
-
2020
- 2020-04-30 CN CN202010367464.1A patent/CN111555941B/zh active Active
Patent Citations (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP2695085A1 (en) * | 2011-04-06 | 2014-02-12 | Headwater Partners II LLC | Distributing content and service launch objects to mobile devices |
CN102546301A (zh) * | 2012-01-16 | 2012-07-04 | 中国科学院深圳先进技术研究院 | 一种数字信号逻辑分析系统 |
CN104850027A (zh) * | 2014-08-13 | 2015-08-19 | 北汽福田汽车股份有限公司 | 一种can数据接口建模自动生成方法及系统 |
EP3316261A1 (en) * | 2015-06-25 | 2018-05-02 | Federal State Unitary Enterprise "All - Russian Research Institute Of Automatics" | Control system for the safety of nuclear power plant |
CN106326096A (zh) * | 2015-06-30 | 2017-01-11 | 中国船舶工业综合技术经济研究院 | 一种舰船装备软件接口协议形式化建模方法 |
CN106603581A (zh) * | 2017-02-22 | 2017-04-26 | 欣旺达电子股份有限公司 | 支持多种通信协议的测试方法及装置 |
CN110073301A (zh) * | 2017-08-02 | 2019-07-30 | 强力物联网投资组合2016有限公司 | 工业物联网中具有大数据集的数据收集环境下的检测方法和系统 |
CN108055167A (zh) * | 2017-12-29 | 2018-05-18 | 长春长光精密仪器集团有限公司 | 一种面向应用的接口通信协议建模方法及装置 |
CN109450731A (zh) * | 2018-11-09 | 2019-03-08 | 中国科学院长春光学精密机械与物理研究所 | 一种应用层通信协议的测试数据生成方法 |
Non-Patent Citations (2)
Title |
---|
"High-Speed Digital Bus Testing using AUtomatic Test-Markup Language(ATML)";D.Coons,W.Doyle,etc.;《2019 IEEE AUTOTESTCON,2019》;20200116;全文 * |
"Modbus通信协议自动测试系统的研究与开发";胡能辉;《中国优秀硕士学位论文全文数据库》;20120515;全文 * |
Also Published As
Publication number | Publication date |
---|---|
CN111555941A (zh) | 2020-08-18 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US7890476B2 (en) | Data generator apparatus for testing data dependent applications, verifying schemas and sizing systems | |
CN1953461B (zh) | 编码数据包头以启用PCIe链路高带宽效率的系统和方法 | |
CN101739292B (zh) | 基于应用特征的异构集群作业自适应调度方法和系统 | |
CN110706345A (zh) | 一种基于构件实例合并的铁路bim模型轻量化方法及系统 | |
CN105260354A (zh) | 一种基于关键词字典树构造的中文ac自动机工作方法 | |
CN107547574B (zh) | 一种基于通用协议的通信系统及方法 | |
DE102016119991B4 (de) | Emulation von Taktjittern | |
CN104658033A (zh) | 多光源下的全局光照绘制方法及装置 | |
CN114443503B (zh) | 测试用例的生成方法、装置、计算机设备、存储介质 | |
CN104809161B (zh) | 一种对稀疏矩阵进行压缩和查询的方法及系统 | |
CN106991514A (zh) | 车间模型创建装置及车间模型创建方法 | |
CN106649230A (zh) | 一种列车网络控制系统逻辑图的图形自动生成方法 | |
CN111555941B (zh) | 一种通信协议测试驱动数据自动生成方法 | |
CN107024926A (zh) | 一种汽车ecu的模拟系统及其模拟方法 | |
CN112906132B (zh) | 一种用于生成飞机线束组件数据的方法和装置 | |
CN106681850B (zh) | 一种车辆型号校验方法及装置 | |
CN101667219B (zh) | 印制电路板测试路径优化方法 | |
CN106273470B (zh) | 立体打印装置及其打印数据存储方法 | |
Astanaliev | Important principles of innovative reforms in the process of electronic document management in railway automation and telemechanics | |
CN111970172A (zh) | 软件测试需求分析方法及相关组件 | |
Zaitsev et al. | Modeling with colored Petri nets: specification, verification, and performance evaluation of systems | |
US20050043913A1 (en) | Method of determining the level of structural coverage testing of test cases which are written for a program that does not provide for structural coverage testing | |
Stowers et al. | Lot sizing problems with strong set-up interactions | |
CN104658608A (zh) | 存储设备的写入方法及写入装置 | |
CN113821881A (zh) | 一种大型水陆两栖飞机铁鸟试验台结构安装协调数据构建方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |