Software testing

• US 20020138787A1
• Filed: 02/14/2001
• Published: 09/26/2002
• Est. Priority Date: 02/14/2001
• Status: Active Grant

• Current Assignee: Kyndryl Incorporated
• Original Assignee: International Business Machines Corporation
• Inventors: Pal, Kallol, Kolar, Vinay Kumar, Chaudhary, Sanjeev K.
• Granted Patent: US 7,363,618 B2
• Time in Patent Office: Days
• US Class Current: 714/38
• CPC Class Codes: G06F 11/3696 Methods or tools to render software testable

Abstract

A testing tool allowing convenient testing of programs and also classes in general. The tool automatically divides each program into many groups such that if one line (or statement) is executed it may reasonably be assumed that all the lines in the group are also executed. A tester is provided the ability to provide desired arguments (including class instances) and cause all groups to be executed such that all lines of code in the programs of a class are executed at least once. The groups are conveniently further logically combined into hierarchical blocks, with each block at a higher level corresponding to a logical structure such as if structure, for structure, while structure, etc. The blocks at the lowest level may contain a single group. Due to such hierarchy, a tester may visually easily identify the unexecuted blocks/groups. The tester may further define and execute small pieces of code (macros) in the middle of testing.

Claims

1. A method of testing a program, said method comprising:

dividing said program into a plurality of groups, wherein each of said plurality of groups contains a sequence of statements such that a tester can be sure that all the sequence of statements of a group are executed if at least one statement of said group is executed;

determining a plurality of executed groups when said program is executed while testing said program;

indicating a plurality of unexecuted groups, wherein said plurality of unexecuted groups are determined based on said determining; and

enabling said tester to execute said plurality of unexecuted groups such that said tester can ensure that all statements in said program are executed at least once.

2. The method of claim 1, further comprising including an extra statement in each of said groups, wherein execution of said extra statement enables said determining to identify the execution of said extra statement in the corresponding group.

3. The method of claim 2, wherein said extra statement contains a group identifier, wherein said determining further comprises examining said group identifier to determine the specific group which has been executed.

4. The method of claim 2, wherein said program is contained in a plurality of programs which in turn are contained in a class of an object oriented environment.

5. The method of claim 4, further comprising grouping a plurality of sequential groups into a block, and wherein said indicating comprises indicating that said block has been executed only if all groups of the block are executed.

6. The method of claim 5, wherein said grouping comprises:

determining a language structure present in said plurality of programs;

grouping a subset of groups present in said language structure into a block such that the statements in said language structure are presented as a block to said tester.

7. The method of claim 6, wherein said blocks are defined hierarchically according to the inclusive relationship of language structures in said plurality of programs.

8. The method of claim 7, wherein said language structure comprises one of program delimiters, control structure and loop structure.

9. The method of claim 4, wherein said enabling comprises:

enabling said tester to examine the statements associated with said unexecuted blocks such that said tester can determine the arguments which would cause an unexecuted block to be executed;

enabling said tester to enter said determined arguments to cause said unexecuted block to be executed.

10. The method of claim 9, wherein said argument comprises an instance of another object.

11. The method of claim 10, further comprises:

enabling said tester to instantiate said instance of said another object;

enabling said tester to assign a name to said instance, wherein said tester can enter said name to provide said instance as an argument value.

12. The method of claim 11, further comprising:

receiving a string as an argument; and

determining that said string indicates that said instance is said argument value if said name matches said string.

13. The method of claim 4, further comprising:

enabling said tester to define a macro containing a plurality of program lines;

storing said macro in a database; and

enabling said tester to execute said macro in the middle of testing said plurality of programs.

14. The method of claim 13, wherein said macro is designed to examine the data structures within an instance of an object or to set the values for the variables in the object.

15. The method of claim 4, wherein said dividing, determining, indicating and enabling are performed in a single computer system.

16. The method of claim 4, wherein said object is generated in Java Programming language.

17. The method of claim 4, further comprising:

enabling said tester to load said class;

enabling said tester to instantiate an instance of said class; and

enabling said tester to execute said program on said instance.

19. The computer program product of claim 18, further comprising including means for including an extra statement in each of said groups, wherein execution of said extra statement enables said determining means to identify the execution of said extra statement in the corresponding group

20. The computer program product of claim 19, wherein said extra statement contains a group identifier, wherein said determining means examines said group identifier to determine the specific group which has been executed.

21. The computer program product of claim 19, wherein said program is contained in a plurality of programs which in turn are contained in a class of an object oriented environment.

22. The computer program product of claim 21, further comprising grouping means for grouping a plurality of sequential groups into a block, and wherein said indicating means indicates that said block has been executed only if all groups of the block are executed.

23. The computer program product of claim 22, wherein said grouping means comprises:

determining means for determining a language structure present in said plurality of programs;

a second grouping means for grouping a subset of groups present in said language structure into a block such that the statements in said language structure are presented as a block to said tester.

24. The computer program product of claim 23, wherein said blocks are defined hierarchically according to the inclusive relationship of language structures in said plurality of programs.

25. The computer program product of claim 21, wherein said enabling means comprises:

second enabling means for enabling said tester to examine the statements associated with said unexecuted blocks such that said tester can determine the arguments which would cause an unexecuted block to be executed;

third enabling means for enabling said tester to enter said determined arguments to cause said unexecuted block to be executed.

26. The computer program product of claim 21, further comprises:

means for enabling said tester to instantiate said instance of said another object;

means for enabling said tester to assign a name to said instance, wherein said tester can enter said name to provide said instance as an argument value.

27. The computer program product of claim 26, further comprising:

means for receiving a string as an argument; and

means for determining that said string indicates that said instance is said argument if said name matches said string.

28. The computer program product of claim 28, wherein said macro is designed to examine the data structures within an instance of an object or to set the values for the variables in the object.

29. The computer program product of claim 21, further comprising:

second enabling means for enabling said tester to define a macro containing a plurality of program lines;

storing means for storing said macro; and

third enabling means for enabling said tester to execute said macro in the middle of testing said plurality of programs.

30. The computer program product of claim 26, further comprising:

means for enabling said tester to load said class;

means for enabling said tester to instantiate an instance of said class; and

means for enabling said tester to execute said program on said instance.

18. A computer program product for use with a computer system, said computer program product comprising a computer usable medium having computer readable program code means embodied in said computer usable medium, said computer readable program code means enabling testing of a program, said computer readable program code means comprising:

dividing means for dividing said program into a plurality of groups, wherein each of said plurality of groups contains a sequence of statements such that a tester can be sure that all the sequence of statements of a group are executed if at least one statement of said group is executed;

determining means for determining a plurality of executed groups when said program is executed while testing said class;

indicating means for indicating a plurality of unexecuted groups, wherein said plurality of unexecuted groups are determined based on said determining; and

enabling means for enabling said tester to execute said plurality of unexecuted groups such that said tester can ensure that all statements in said program are executed at least once.

31. A system enabling a tester to test a program, said computer system comprising:

a random access memory (RAM);

a display unit containing a display screen;

an input interface;

a processor dividing said program into a plurality of groups, wherein each of said plurality of groups contains a sequence of statements such that a tester can be sure that all the sequence of statements of a group are executed if at least one statement of said group is executed,

said processor executing said program in response to instructions received from said input interface,

said processor determining a plurality of executed groups when said program is executed,

said processor causing a display to be generated on said display unit, said display indicating a plurality of unexecuted groups; and

said processor enabling said tester to execute said plurality of unexecuted groups such that said tester can ensure that all statements in said program are executed at least once.

32. The system of claim 31, wherein said processor includes an extra statement in each of said groups, wherein execution of said extra statement enables said processor to identify the execution of said extra statement in the corresponding group, said computer system further comprising a secondary storage wherein said processor stores said program including said extra statement on said secondary storage.

33. The system of claim 32, wherein said extra statement contains a group identifier, wherein said processor examines said group identifier to determine the specific group which has been executed.

34. The system of claim 32, wherein said program is contained in a plurality of programs which in turn are contained in a class of an object oriented environment.

35. The system of claim 34, wherein said processor groups a plurality of sequential groups into a block, and wherein said display indicates that said block has been executed only if all groups of the block are executed.

36. The system of claim 35, wherein said processor groups said sequential groups according to a language structure present in said plurality of programs.

37. The system of claim 36, wherein said blocks are defined hierarchically according to the inclusive relationship of language structures in said plurality of programs.

38. The system of claim 34, wherein said processor receives instructions from said input interface to display the statements associated with said unexecuted blocks, said processor causing the statements to be displayed on said display unit such that said tester can determine the arguments which would cause an unexecuted block to be execute.

39. The system of claim 38, wherein said argument comprises an instance of another object.

40. The system of claim 39, wherein said processor instantiates said instance of another object in response to receiving an instruction to instantiate said instance of said another object, said processor further associating a name associated with said instance of another object, wherein said name is received from said input interface and said tester can enter said name to provide said instance as an argument value.

41. The system of claim 40, wherein said processor receives a string as an argument and determines that said string indicates that said instance is said argument value if said name matches said string.

42. The system of claim 34, wherein said processor receives a plurality of program lines representing a macro, said processor storing said macro in a database, said processor executing said macro in response to receiving an instruction to execute said macro.

43. The system of claim 42, wherein said macro is designed to examine the data structures within an instance of an object or to set the values for the variables in the object.

44. The system of claim 34, wherein said processor loads said class into said RAM in response to receiving an instruction to load said class, said processor further instantiating an instance of said class in response to receiving another instruction, said processor executing said program on said instance in response to receiving one more instruction.

45. The system of claim 31, wherein said input interface is connected to at least one of a mouse and a key-board.