IP Library › Granted Patent US 11,194,700
Granted Patent B2
US 11,194,700 · App. 17/136,280 · Granted Dec 7, 2021

Method of testing of IoT system behaviour in case of limited network connection

Inventors: Miroslav Bures (Zizkov, CZ); Matej Klima (Hodkovicky, CZ)
Assignee: CESKE VYSOKE UCENI TECHNICKE V PRAZE
G06F11/3676G06F11/368G06F11/3688G06F11/3692
View Patent ↗
Loading inventors, assignments & file history…
Monitor This Case
Get email alerts when status or documents change.
Order Certified Copies
Most orders are placed with the USPTO same day — all within 24 business hours.
Order via The Patent Place →
Pre-filled with this patent's details
Quick Facts
Patent No.
US 11,194,700
App. No.
17/136,280
Granted
Dec 7, 2021
Kind
B2
Abstract

The invention concerns the method of testing of the IoT system process behaviour in the case of limited network connection affecting part of the tested process where the basic structure for the tested process modelling is a directed graph and where the parts of the process in which failures of the network connection are expected are modelled as specific subgraphs—zones with a risk of connection failure (hereinafter referred to as ZRCF). Two levels of the testing coverage are employed that define the intensity of the generated test scenarios, meaning the number of tested combinations, wherein at the level one, each boundary is included once, where each transition with a failure and the subsequent recovery of network connection, modelled as a ZRCF boundary node, must be included in the test scenarios at least once, and wherein at the level two, all combinations of the boundaries where the test scenarios must include all possible combinations of the transition where a failure of connection with the transition will occur, in which recovery of connection will occur, where such transitions are modelled as a ZRCF boundary node, the input of which is the model of the tested process and the required level of the test coverage, and the output of which is a set of test scenarios defined as a sequence of nodes and edges in the model of the tested process which needs to be performed in the tests, being such that they meet the level of the testing coverage.

Claims (4)

1. A method of testing of an IoT system process behaviour in a case of limited network connection affecting a part of a tested process, where a basic structure for the tested process modelling is a directed graph and where the part of the tested process in which failures of network connection are expected are modelled as specific subgraphs——zones with a risk of connection failure “ZRCF”, characterized in that the method utilizes two levels of testing coverage defining intensity of generated test scenarios, meaning a number of tested combinations, wherein at the level one, each boundary is included once, where each transition with a failure and subsequent recovery of network connection, modelled as a ZRCF boundary node, must be included in the test scenarios at least once, and wherein at the level two, all combinations of the boundaries where the test scenarios must include all possible combinations of the transition where a failure of connection with the transition will occur, in which recovery of connection will occur, where such transitions are modelled as a ZRCF boundary node, an input of which is a model of the tested process and the required level of the test coverage, and an output of which is a set of test scenarios defined as a sequence of nodes and edges in the model of the tested process which needs to be performed in tests, being such that they meet the level of the testing coverage.

2. The method according to claim 1 , characterized in that creation of the test scenarios proceeds in two basic steps:

(1) finding relevant paths inside the ZRCF between their boundary nodes via which it is possible to enter and exit the ZRCF in the tested process, and

(2) subsequent incorporation of these paths in overall test scenarios, which should be minimal from a point of view of a total number of test steps, start in an initial node of the tested process and end in some of its terminal nodes.

Assignments (2)
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Jun 25, 2021
From: BURES, MIROSLAV; KLIMA, MATEJ
To: CESKE VYSOKE UCENI TECHNICKE V PRAZE
Reel/Frame 056671/0232 →
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Dec 29, 2020
From: BURES, MIROSLAV; KLIMA, MATEJ
To: CESKE VYSOKE UCENI TECHNICKE V PRAZE
Reel/Frame 054763/0341 →
Priority Claims (1)
CZ CZ2019-804 · Dec 30, 2019 · national
Continuity (1)
Related Publication 20210311857A1 · Oct 7, 2021