Method and system for determining one or more frontier branches during software testing

A processing system (123) for determining one or more frontier branches during software testing, the processing system (123) comprising:

• a processor (301);
• and
• a memory (303), communicatively coupled to the processor (301), wherein the memory (303) stores processor executable instructions, which, on execution, causes the processor (301) to:
• receive a branch of a software code under test from a fuzzer (125) associated with the processing system (123), wherein the branch comprises key information associated with each of its two end-points characterized as first end-point and second end-point, wherein the key information comprises address of the end-point, a first list position indicative of location of file information related to the end-point in a first list (131) of a look-up database (127) and a second list position indicative of location of a basic block information related to the end-point in a second list (137) of the look-up database (127);
• determine status of each of the two end-points to be “processed” or “not-processed” based on the corresponding key information;
• based on the determination of the status of each of the two end points performing one of:
• for the end-points whose status is determined to be “not-processed”:
• determine from the look-up database (127) for the end-points, by the processing system (123), the first list position and the second list position of the end-points;
• and
• retrieve basic block information related to the end-points using the determined first list position and the determined second list position;
• or
• for the end-points whose status is determined to be “processed”:
• retrieve basic block information of the end-points using updated location information of the end-point in the first list position and updated location information of the basic block information of the end-point in the second list position in the key information of the end-points;
• determine status of at least one of, one or more child blocks of the second end-point based on the basic block information of the second end-point and one or more sibling blocks of the second end-point based on the basic block information of the first end-point;
• and
• determine one or more frontier branches based on the determined status of the at least one of, the one or more child blocks and the one or more sibling blocks.