EVENT SEQUENCE CONSTRUCTION OF EVENT-DRIVEN SOFTWARE BY COMBINATIONAL COMPUTATIONS

• US 20160140016A1
• Filed: 11/18/2014
• Published: 05/19/2016
• Est. Priority Date: 11/18/2014
• Status: Active Grant

• Current Assignee: Fujitsu Limited
• Original Assignee: Fujitsu Limited
• Inventors: LI, Guodong, GHOSH, Indradeep
• Granted Patent: US 9,619,362 B2
• Time in Patent Office: Days
• US Class Current: 1/1
• CPC Class Codes: G06F 11/3612 by runtime analysis performance monitoring G06F11/3466
• CPC Class Codes: G06F 11/3664 Environments for testing or debugging software
• CPC Class Codes: G06F 11/3668 Software testing software testing in telephone exchanges H04M3/242, testing of hardware G06F11/22

Abstract

According to an aspect of an embodiment, a method may include determining event sequences of an event-driven software application. The method may further include determining, for each event sequence, a distance with respect to each of one or more target conditions of the event-driven software application. The event sequence distance may indicate a degree to which execution of its corresponding event sequence satisfies a corresponding target condition. The method may also include prioritizing execution of the plurality of event sequences based on the event sequence distances. Further, the method may include exploring, according to the prioritization of execution, an event space that includes one or more of the event sequences and a dependent event that corresponds to the one or more target conditions.

Claims

1. A method comprising:

determining a first event sequence of an event-driven software application, the first event sequence including a first variable set;

determining a second event sequence of an event-driven software application, the second event sequence including a second variable set;

identifying a dependent event of the first event sequence and the second event sequence, the dependent event including a target condition that includes one or more variables in the first variable set and the second variable set;

determining a first distance for the first event sequence that indicates a degree to which execution of the first event sequence satisfies the target condition;

determining a second distance for the second event sequence that indicates the degree to which execution of the second event sequence satisfies the target condition;

prioritizing execution of the first event sequence over the second event sequence based on the first distance and the second distance indicating that execution of the first event sequence satisfies the target condition to a higher degree than execution of the second event sequence; and

exploring, according to the prioritization, an event space that includes one or more of the first event sequence, the second event sequence, and the dependent event.

2. The method of claim 1, wherein the first variable set and the second variable set correspond to the same set of variables.

3. The method of claim 1, wherein the first variable set and the second variable set correspond to different variables.

4. The method of claim 1, further comprising executing the first event sequence followed by executing the dependent event when the first distance indicates that execution of the first event sequence satisfies the target condition.

5. The method of claim 1, further comprising executing the first event sequence over the second event sequence based on the first distance and the second distance indicating that execution of the first event sequence satisfies the target condition to a higher degree than execution of the second event sequence.

6. The method of claim 1, further comprising:

determining a first set of event sequences that includes the first event sequence and the second event sequence;

appending, based on the first distance, the first event sequence to each event sequence of the first set of event sequences to generate a second set of event sequences;

adding the second set of event sequences to the first set of event sequences to generate a third set of event sequences;

determining, for each event sequence of the third set of event sequences, an event sequence distance with respect to the target condition;

prioritizing execution of the event sequences of the third set of event sequences based on the event sequence distances; and

exploring, according to the prioritization of execution, an event space that includes the third set of event sequences and the dependent event.

7. The method of claim 1, wherein the target condition includes a numeric constraint and the method further comprises:

determining one or more intervals for the target condition; and

determining the first distance and the second distance based on the one or more intervals.

8. The method of claim 1, wherein the target condition includes a string constraint and the method further comprises:

determining one or more character automata for the target condition; and

determining the first distance and the second distance based on the one or more character automata.

9. A method comprising:

determining a plurality of event sequences of an event-driven software application;

determining, for each event sequence of the plurality of event sequences, a distance with respect to each of one or more target conditions of the event-driven software application, the event sequence distance indicating a degree to which execution of its corresponding event sequence satisfies a corresponding target condition;

prioritizing execution of the plurality of event sequences based on the event sequence distances; and

exploring, according to the prioritization of execution, an event space that includes one or more of the plurality of event sequences and a dependent event that corresponds to the one or more target conditions.

10. The method of claim 9, wherein the one or more target conditions each include a numeric constraint and the method further comprises:

determining one or more intervals for each of the one or more target conditions; and

determining the event sequence distances based on the one or more intervals.

11. The method of claim 9, wherein the one or more target conditions each include a string constraint and the method further comprises:

determining one or more character automata for each of the one or more target conditions; and

determining the event sequence distances based on the one or more character automata.

12. The method of claim 9, further comprising adjusting the prioritization of execution of the plurality of event sequences based on a combinational computation.

13. The method of claim 12, wherein the combinational computation includes a local search-based combinational computation, global search-based combinational computation, a mutation-based combinational computation, or any combination thereof.

14. The method of claim 13, wherein the mutation-based combinational computation includes a simulated annealing (SA) computation, a genetic computation, a tabu search, a particle swarm optimization computation, or any combination thereof.

15. Computer-readable storage media including computer-executable instructions configured to cause a system to perform operations, the operations comprising:

determining a plurality of event sequences of an event-driven software application;

determining, for each event sequence of the plurality of event sequences, a distance with respect to each of one or more target conditions of the event-driven software application, the event sequence distance indicating a degree to which execution of its corresponding event sequence satisfies a corresponding target condition;

prioritizing execution of the plurality of event sequences based on the event sequence distances; and

exploring, according to the prioritization of execution, an event space that includes one or more of the plurality of event sequences and a dependent event that corresponds to the one or more target conditions.

16. The computer-readable storage media of claim 15, wherein the one or more target conditions each include a numeric constraint and the operations further comprise:

determining one or more intervals for each of the one or more target conditions; and

determining the event sequence distances based on the one or more intervals.

17. The computer-readable storage media of claim 15, wherein the one or more target conditions each include a string constraint and the operations further comprise:

determining one or more character automata for each of the one or more target conditions; and

determining the event sequence distances based on the one or more character automata.

18. The computer-readable storage media of claim 15, wherein the operations further comprise adjusting the prioritization of execution of the plurality of event sequences based on a combinational computation.

19. Computer-readable storage media including computer-executable instructions configured to cause a system to perform operations, the operations comprising:

determining a first event sequence of an event-driven software application, the first event sequence including a first variable;

determining a second event sequence of an event-driven software application, the second event sequence including a second variable;

identifying a dependent event of the first event sequence and the second event sequence, the dependent event including a target condition that includes on one or more of the first variable and the second variable;

determining a first distance for the first event sequence that indicates a degree to which execution of the first event sequence satisfies the target condition;

determining a second distance for the second event sequence that indicates the degree to which execution of the second event sequence satisfies the target condition;

prioritizing execution of the first event sequence over the second event sequence based on the first distance and the second distance indicating that execution of the first event sequence satisfies the target condition to a higher degree than execution of the second event sequence; and

exploring, according to the prioritization, an event space that includes one or more of the first event sequence, the second event sequence, and the dependent event.

20. The computer-readable storage media of claim 19, wherein the operations further comprise executing the first event sequence over the second event sequence based on the first distance and the second distance indicating that execution of the first event sequence satisfies the target condition to a higher degree than execution of the second event sequence.