logo

For the Inventor, By the Inventor

The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Patent No.:

US 11960807 B1

PDFFull Text
Date of Patent:
Apr. 16, 2024

Filed:

Sep. 06, 2022

Proving whether software functionality has changed following a software change

Applicant:

Aurora Labs Ltd., Tel Aviv, IL;

Inventors:

Zohar Fox, Tel Aviv, IL;

Carmit Sahar, Tel Aviv, IL;

Assignee:

Aurora Labs Ltd., Tel Aviv, IL;

Attorney:

Finnegan, Henderson, Farabow, Garrett & Dunner LLP

Primary Examiner:

Jacob Lipman

Int. Cl.
CPC ...
G06F 30/33 (2020.01); G06F 8/34 (2018.01); G06F 8/65 (2018.01); G06F 8/71 (2018.01); G06F 8/75 (2018.01); G06F 11/36 (2006.01); G06F 16/901 (2019.01); G06F 17/18 (2006.01); G06F 18/24 (2023.01); G06F 21/52 (2013.01); G06F 21/56 (2013.01); G06F 21/57 (2013.01); G06F 21/62 (2013.01); G06N 20/00 (2019.01); G06F 30/15 (2020.01); G10H 1/00 (2006.01);
U.S. Cl.
CPC ...
G06F 30/33 (2020.01); G06F 8/34 (2013.01); G06F 8/65 (2013.01); G06F 8/71 (2013.01); G06F 8/75 (2013.01); G06F 11/3604 (2013.01); G06F 11/3612 (2013.01); G06F 11/362 (2013.01); G06F 11/3692 (2013.01); G06F 16/9014 (2019.01); G06F 17/18 (2013.01); G06F 18/24 (2023.01); G06F 21/52 (2013.01); G06F 21/563 (2013.01); G06F 21/57 (2013.01); G06F 21/6218 (2013.01); G06N 20/00 (2019.01); G06F 30/15 (2020.01); G10H 1/0058 (2013.01);
Abstract

Disclosed herein are techniques for using a line-of-code behavior and relation model to determine software functionality changes. Techniques include identifying a first portion of executable code and a second portion of executable code; accessing a first line-of-code behavior and relation model representing execution of functions of the first portion of executable code; constructing, based on the second portion of executable code, a second line-of-code behavior and relation model representing execution of functions of the second portion of executable code; performing a functional differential comparison of the first line-of-code behavior and relation model to the second line-of-code behavior and relation model; determining, based on the functional differential comparison, a status of functional equivalence between the first portion of executable code and the code portion of executable code; and generating, based on the determined difference, a report identifying the status of functional equivalence.

Find Patent Forward Citations

Loading…