Back to results
US 9,883,412 B2Granted
Verification of a wireless protocol implementation
AssigneeMicrosoft Technology Licensing, LLC
InventorsRanveer Chandra, Jinghao Shi, Sam M. Sarmast, Mark A. Champion, Shuvendu K. Lahiri
Life of this patent
Estimating the term…
Abstract
The description relates to wireless protocol verification. One example can obtain information relating to a wireless protocol and receive information relating to wireless communications associated with a wireless device. The example can compare the wireless communications with the wireless protocol and generate a verification report that conveys whether the wireless communications comply with the wireless protocol.
Claims20
A system, comprising:
- a processing device;
- and a memory having instructions which, when executed by the processing device, configure the processing device to:
- provide usage scenarios for a wireless device that includes a wireless implementation of a wireless protocol;
- influence a wireless condition in a wireless testing environment that includes the wireless device;
- wirelessly obtain different potential packet traces by observing the wireless device when performing the usage scenarios;
- process the different potential packet traces using different state transitions through a state machine and assign different probabilities to the different state transitions;
- based at least on the different probabilities, select a particular state transition through the state machine to a particular state, the particular state being associated with a corresponding aspect defined in the wireless protocol;
- determine whether observed behavior of the wireless device complies with the corresponding aspect defined in the wireless protocol;
- and
- output a report that conveys whether the observed behavior of the wireless device complies with the corresponding aspect defined in the wireless protocol.
7 more elements
A method comprising:
- receiving information relating to wireless communications associated with a wireless device;
- identifying different potential packet traces represented by the information relating to the wireless communications;
- processing the different potential packet traces by assigning different probabilities to different state transitions between different states of a state machine, the different potential packet traces being represented by different paths through the different states of the state machine;
- inputting the information relating to the wireless communications to a state machine having associated assertions for a wireless protocol, individual assertions being associated with specific state transitions in the state machine;
- based at least on the different probabilities, selecting a particular state transition through the state machine, based at least on a probability associated with the particular state transition, the particular state transition leading to a particular state associated with a particular aspect defined in a wireless protocol assertion;
- determining whether the wireless communications comply with the particular aspect defined in the wireless protocol;
- generating a wireless verification report that conveys whether the wireless communications comply with the particular aspect defined in the wireless protocol;
- and outputting the wireless verification report.
5 more elements
A device, comprising:
- communication circuitry configured to receive signals relating to wireless communications associated with a wireless device;
- and a processing device configured to:
- identify different potential packet traces represented by the signals relating to the wireless communications;
- process the different potential packet traces by assigning different probabilities to different state transitions between different states of a state machine, the different potential packet traces being represented by different paths through the different states of the state machine;
- based at least on the different probabilities, select a particular state transition through the state machine, the particular state transition leading to a particular state associated with a particular assertion associated with a wireless protocol;
- determine whether the wireless communications comply with the particular assertion associated with the wireless protocol;
- and
- output a report that conveys whether the wireless communications comply with the particular assertion associated with the wireless protocol.
5 more elements
Dependencies are inferred from the claim text.