JP2832330B2 - Software remodeling support apparatus and method - Google Patents

Description

DETAILED DESCRIPTION OF THE INVENTION

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a software remodeling support apparatus and method, and more particularly to remodeling a function to be remodeled without affecting a non-modification function and without being affected by a non-modification part. The present invention relates to an apparatus and a method for supporting software remodeling.

[0002]

2. Description of the Related Art Conventionally, a slicing technique for extracting a part calculated for a function (an output value or the like) from an arbitrary function implemented in a program from the program has been applied. Software remodeling is supported. The slice relating to a certain output sentence S is a set of all the sentences that reach the sentence S following the data dependency and the control dependency shown below.

[0003] The data dependency will be described. For example, the data dependency from the statement S1 to the statement S2 means that the definition of a certain variable v in the statement S1 reaches the statement S using the variable v. That is, the variable v
Is set and the value of the variable v is not reset in the path from the sentence S1 to the sentence S2, and the value of the variable v is referred to in the sentence S2.

Next, the control dependency will be described. For example, there is a control dependency from the statement S1 to the statement S2.
The statement S1 is a control statement (such as a branch statement), in which case the result of control transfer of the statement S1 determines whether to execute the statement S2.

If a slice of the function to be remodeled is required,
Since the part of the program that calculates the function to be remodeled is known, the remodeling work is facilitated.

[0006] When modifying software,
It is important to make modifications so as not to affect parts that are not to be modified.

FIG. 7 is a schematic block diagram of a conventional software remodeling support device. Referring to FIG. 7, a conventional software remodeling support device 1 includes a slice acquisition unit 3 for remodeling so as not to affect a part that is not a remodeling target.
And a modification control unit 5. The slice obtaining unit 3 calculates, from the program 7 before remodeling, a part for calculating the remodeling target function (slice of the remodeling target function) and a part for calculating the non-remodeling function (slice of the non-remodeling function).
Is extracted. The modification control unit 5 modifies the slice of the modification target function so as not to affect the slice of the non-modification function. Thereby, the program 9 after the modification is created.

FIG. 8 is a diagram showing an example of a program before remodeling. FIG. 9 is a diagram for explaining slices for remodeling the program of FIG.
FIG. 3 is a diagram showing an example of a program after remodeling.

Referring to FIG. 8, program 7 before remodeling is performed.
Is a program showing that variables sl and d are obtained when four points A, B, C and D are given.
From sentence 1 to sentence 4, point A = (ax, ay), point B =
(Bx, by), point C = (cx, cy), point D = (d
x, dy) are obtained. Statement 5
And sentence 6 show the x and y components of the vector AB, respectively. Sentences 7 and 8 show the x and y components of the vector CD, respectively. Sentence 9 and minute 13 indicate the lengths of vector AB and vector CD, respectively. Sentence 10 and sentence 11 are vectors A
The x and y components of the combined vector of B and vector CD are shown, respectively. Statement 12 indicates the length of the combined vector of vector AB and vector CD. Sentence 1
4 indicates the sum of the length of the vector AB and the length of the vector CD.

The sentence 1 to the sentence 14 form the sentence 1
The variable sl shown in 5 is set by the sum of the length of the vector AB and the length of the vector CD, and the value is output. Similarly, the variable d shown in the sentence 16 by the sentence 1 to the sentence 14
Is set as the length of the combined vector of the vector AB and the vector CD, and the value is output.

Next, a case will be described in which the program 7 is modified so that the area of a parallelogram having two sides of the vector AB and the vector CD is obtained instead of obtaining the value of the variable sl.

Referring to FIG. 9, in program 7 before modification, slices relating to statement 15 indicating that the value of variable sl is to be output are sentence 1 to sentence 9, sentence 13, sentence 14, and sentence 15. is there. That is, slices other than the sentences 10 to 12 and the sentence 16 are slices related to the sentence 15. Such a sentence 1
The slice part for the area 5 is modified to have the area area
Modifications are made as required. In remodeling,
Slices for sentence 16, which is a non-modification function, must not be affected. Therefore, modification of the non-modifying function slices 1 to 8, statement 10 to statement 12, and statement 16 is prohibited, and insertion of a statement that defines a variable used in the non-modifying slice is also prohibited. It is forbidden.

FIG. 10 shows an example of the program 9 after the modification. Statements 14 and 15 are deleted, and statements R1 and R
2 has been inserted. The sentence R1 indicates an area area of a parallelogram having the vector AB and the vector CD as two sides. The statement R2 indicates that the value of the set variable area is output. The slice portion relating to the sentence R2, which is a remodeling function, is sentences 1 to 9, 13, R1, and R2, and the value of the area area is correctly calculated by the remodeling. This remodeling is performed by using the variable d
Does not affect the non-modification function that outputs. That is, the value of the variable d shown in the statement 16 is output by executing the same program as the program before the modification.

[0014]

However, regarding the variables vx and vy used in the modified statement R1, the slices of the non-modified function (statements 1 to 8, statement 10, statement 1)
1, sentence 12, sentence 16), the sentence 5,
Instead of using the value defined in statement 6, the values defined in statements 10 and 11 are used. Therefore,
The statement R1 does not correctly calculate the area area. As described above, the slice relating to the remodeling function could be remodeled so as not to affect the non-remodeling function. Conversely, the remodeling portion (sentence R1, sentence R2) is affected by the slice of the non-modification function. There is a problem.

SUMMARY OF THE INVENTION It is therefore an object of the present invention to provide a software remodeling support apparatus and method which does not affect the non-modification function and does not affect the remodeled part from the non-remodeled part. .

[0016]

According to a first aspect of the present invention, there is provided a software remodeling support apparatus for remodeling a software program, the first program part calculating a function to be remodeled, and Extraction means for extracting each of the second program parts calculated for the non-modification function from the program, and eliminating the influence of the first program parts extracted by the extraction means on the extracted second program parts. It comprises a remodeling means for remodeling while remodeling, and an influence removing means for removing the influence of the remodeled first program part from the extracted second program part.

According to a second aspect of the present invention, the first program portion includes a first unique portion and a common portion, and the second program portion includes a second unique portion. And the modification means modifies the first unique part, and the influence removing means modifies the modified first part.
Is redefined in the second eigenpart, a new variable is redefined instead of the variable in the eigenpart, and the first eigenpart receives from the common part Eliminate the effects.

According to a third aspect of the present invention, there is provided a processing method of a software remodeling support apparatus for remodeling a software program, wherein a first program part calculating a function to be remodeled and a non-modification function are calculated. Each of the second program parts that are calculated for are extracted from the program using the acquisition means, and the extracted first program parts are extracted in the first step using the modification means . the effect on the second program part modified while eliminating, remodeled first second influence the effect removal hand received from program parts which the program part is extracted in the first step
It removed by stage.

[0019]

According to a first aspect of the present invention, there is provided a software remodeling support apparatus for extracting a first program part calculated for a function to be remodeled and a second program part calculated for a non-remodeled function. The modifying means modifies the first program portion extracted by the extracting means while eliminating the influence on the second program portion, and the influence removing means modifies the first program portion by the modifying means.
Of the second program part extracted by the extracting means, and remodeling the software program.

According to a second aspect of the present invention, in the software remodeling support device, the remodeling means remodels the first unique part included in the first program part, and the variable included in the remodeled first unique part is the first unique part. In response to the re-definition in the second unique part, a new variable is redefined in place of the variable in the common part to remove the influence of the first unique part from the common part.

According to a third aspect of the present invention, there is provided a processing method of a software remodeling support apparatus, wherein a first program part calculating for a function to be remodeled and a second program part calculating for a non-remodeling function are programmed. And remodeling the extracted first program portion while eliminating the influence on the extracted second program portion, and reconstructing the reconstructed first program portion from the extracted second program portion. Modify the software program to remove the effects.

[0022]

FIG. 1 is a schematic block diagram of a software remodeling support device according to one embodiment of the present invention, and FIG. 2 is a flowchart for explaining the operation of the software remodeling support device shown in FIG.

FIG. 3 is a diagram showing an example of a program after the program before remodeling shown in FIG. 7 is remodeled by the software remodeling support device shown in FIG.

Referring to FIG. 1, the software remodeling support device 21 of this embodiment includes a slice obtaining unit 3, a remodeling control unit 5, and further includes an influence removing unit 23. The slice acquisition unit 3 and the modification control unit 5 are the same as in the conventional example, and have a configuration in which the influence removing unit 23 is newly added in the present apparatus.

As shown in FIG. 2, the slice acquiring unit 3
In step 11 included in step (represented by S in the drawing), a part (slice of the function to be remodeled) calculated for the function to be remodeled _A is obtained, and is extracted as S _A from the program. Further slice acquisition unit 3, seeking moiety that is calculated for the non-modified function B (slices of the non-modified object function), and S _B, extracted from the program. In the program 7 before remodeling shown in FIG. 8, as described above, the slices S _A of the function to be remodeled are sentence 1 to sentence 9 and sentence 13 to sentence 15, and the slice S _{B of the} non-remodeled function.
Are statements 1 to 8, statements 10 to 12, and statement 16. Here, the slice S _A of the function to be remodeled is a unique part (statement 9,
A statement 13 to statement 15), and a slice S _B a common intersection of the non-modified function (statement 1 to statement 8). Similarly, slice S _B also specific portion of the non-modified function (statement 10 statement 12,
A statement 16), and a common intersection slice S _A remodeled object function (statement 1 to statement 8).

Therefore, the modification control unit 5 obtains an independent part I (= S _A -S _B ) in step 21 included in step 2 shown in FIG. This independent part I corresponds to a unique portion of the slice S _A remodeled object function, statement 9, a statement 13 to statement 15. The modified control unit 5, which does not affect the slice S _B of the non-modified function in step 22 shown in FIG. 2, only allow reconstruction slice of the reconstruction function. That is, the remodeling control unit 5 prohibits modification of a sentence included in the slice of the non-modification function, insertion of a statement defining a variable used in the slice of the non-modification function, and remodels the independent part I.

The effects removal unit 23, revamped independent part I in step 3 to remove the influence from the slice S _B of the non-modified functional B.

[0028] As shown in FIG.
Variables vx and vy are the slices S of the non-modified function._BUnique
Set C (= S) which is a part (sentence 10 to sentence 12, sentence 16)_B
-S _A), The set S_AStatement in
Cannot use the value defined in. Therefore, the variables vx, v
the set S defining y_AImmediately after sentence 5 and sentence 6 in
Each sentence A1 “vx 1: = vx; ", sentence A2" vy
2: = vy; ". Also used in sentence R1
Variables vx and vy are vx 1, vy Change to 2
Is done. Finally, the newly introduced variable vx 1, vy
2 are inserted immediately after the variables vx and vy, and FIG.
A modified program 25 is created as shown in FIG.

FIGS. 4 and 5 are detailed flowcharts of step 3 in FIG. Next, step 3 shown in FIG. 2 will be described in detail with reference to FIGS. In step 301, a set of assignment statements for setting values to the independent variables inserted in the independent part I is set to S. Here, the independent variable, means a variable that has not been used in slices S _B of the non-modified. Therefore, for example, the set S in FIG. 10 is a sentence R1 and a sentence R2. Step 302
, The set C is obtained as S _B -S _A. The set C is, for example, sentences 10 to 12, and 16 in FIG.

In step 303, the variable no for processing is set to 0. In step 304, the set S
, One sentence s is extracted. For example, the sentence s is shown in FIG.
Is the sentence R1. In step 305, it is determined whether all the sentences s have been fetched. If all are taken out, the process is terminated via α. On the other hand, if the sentence s has not been extracted, the set Use
One variable w is extracted from (s). Where the set Us
e (s) represents a set of variables used in the sentence s. For example, when the sentence s is the sentence R1 in FIG. 10, the set Use (s) is represented by {vl, wl, vx, wx, vy, w
y｝, and the variable w is, for example, vx. Subsequently, in step 307, it is determined whether or not all the variables w have been extracted. If all the variables have been extracted, the process returns to step 304; otherwise, the process proceeds to step 308.

Next, in step 308, it is determined whether or not the definition of the variable w that reaches the sentence s exists in the set C. Here, the definition of the variable w in the sentence t reaches the sentence s means that the value of the variable w is set in the sentence t, and
This refers to a case where a path from the statement t to the statement s exists, and the value of the variable w is not reset in the path. For example, FIG.
As shown in (a), sentence 1 is get (x, y);
Is max: = x; sentence 3 is if x <y then, sentence 4 is max: = y; and endi is between sentence 4 and sentence 5.
f ;, if sentence 5 is put (max) ;, the definition of max in sentence 2 has reached sentence 5. That is, as shown in FIG. 6B, there is a path of sentence 2 → sentence 3 → sentence 5, and the value of max is not reset in that path. Such a case is called to reach the definition of the variable w in the sentence t or the sentence s. If the definition of the variable w that reaches the sentence s in step 308 does not exist in the set C, the process returns to step 306, and if it does, the process proceeds to step 309. In the case of FIG. 10, there is a statement 10 that defines vx as a variable w, so that step 30
Go to 9. In step 309, all the definitions of the variables w that reach the sentence s are obtained from the sentences in S _A , and the set is set to D. For example, a sentence s is set as a sentence R1 and a variable w
Is the variable vx, the set D is sentence 5.

Next, step 309 proceeds to step 310 via β. In step 310, 1 is added to the variable no for processing. Since no = 0 in step 303, in step 310, no
= 1. In step 311, one sentence d is extracted from the set D. For example, sentence d is sentence 5.

At step 312, it is determined whether or not all the sentences d have been fetched. If all of them cannot be taken out, the process proceeds to step 313. If all of them have been taken out, the process proceeds to step 314. In step 313, immediately after the sentence d, the sentence "w Val (no): = w; "is inserted. Here, Val (no) indicates a value obtained by expanding the value of the variable no in a character format. For example, if no = 1, w Val (no) is w Represents 1. Therefore, for example, immediately after sentence 5 in FIG. 3, A1 “vx
1: = vx; "is inserted. After step 313, the process returns to step 311 to make a determination in step 312. Since all the sentences d have been extracted, the sentence s is used in step 314. Variable w is w Val (n
o). For example, the variable vx used by the statement R1 is vx It is changed to 1. In step 315, the variable w The declaration of Val (no) is inserted immediately after the declaration of the variable w. For example, the variable vx The declaration of 1 is inserted immediately after the declaration of the variable vx as shown in the third line from the top in FIG. Then, the process returns from step 315 to step 306 via γ to perform a loop process.

As described above, the software remodeling support device according to the present embodiment performs remodeling so that the non-modification function is not affected and the remodeled portion is not affected by the non-modified portion. Therefore, compared to the conventional software remodeling support device, the remodeling work can be advanced by focusing only on the slice of the remodeling target function, which is a part for calculating the remodeling target function. Furthermore, there is an advantage that the test of the remodeling function is performed not on the entire program but on the slice of the remodeling target function.

[0035]

As described above, according to the present invention, the first program portion related to the function to be remodeled is remodeled while eliminating the influence on the second program portion related to the non-remodeling function. The modified first program part is the second
By removing the influence of the program portion, the remodeling work can be performed by focusing only on the first program portion.

[Brief description of the drawings]

FIG. 1 is a schematic block diagram of a software remodeling support device according to an embodiment of the present invention.

FIG. 2 is a flowchart for explaining the operation of the software remodeling support device shown in FIG.

FIG. 3 is a diagram showing an example of a program after the modification shown in FIG. 1;

FIG. 4 is a first detailed flowchart of step 3 in FIG. 2;

FIG. 5 is a second detailed flowchart of step 3 in FIG. 2;

FIG. 6 is a diagram for explaining that a definition of a variable w in a sentence t reaches a sentence s.

FIG. 7 is a schematic block diagram of a conventional software remodeling support device.

FIG. 8 is a diagram showing an example of a program before remodeling of FIG. 7;

FIG. 9 is a diagram for explaining a slice in order to explain a program modification.

FIG. 10 is a diagram showing an example of a program after the modification of FIG. 7;

[Explanation of symbols]

 21 Software Remodeling Support Device 3 Slice Acquisition Unit 5 Remodeling Control Unit 23 Effect Removal Unit

Claims (3)

(57) [Claims] 1. A software remodeling support device for remodeling a software program, wherein a first program part calculating for a function to be remodeled and a second program part calculating for a non-remodeling function are respectively converted into the first program part and the second program part. Extracting means for extracting from the program; modifying means for modifying the first program portion extracted by the extracting means while eliminating an influence on the second program portion extracted by the extracting means; An effect removing unit for removing an influence of the first program part on the second program part extracted by the extracting unit. 2. The first program portion includes a first unique portion and a common portion; the second program portion includes a second unique portion and the common portion; , Modifying the first unique portion, the influence removing means may determine that the variable included in the modified first unique portion is redefined in the second unique portion, 2. The software remodeling support device according to claim 1, wherein a new variable is redefined in place of the variable in a common portion to remove the influence of the first unique portion from the common portion. 3. A processing method of a software remodeling support device for remodeling a software program, comprising: a first program part calculating for a function to be remodeled; and a second program part calculating for a non-remodeling function. A first step of extracting each of them from the program by using the acquiring means, and a second program part of the first program extracted in the first step by using the remodeling means . A second step of remodeling while eliminating the effect on the program part of the second step, and an influence removing means for effecting the remodeled first program part from the second program part extracted in the first step by an influence removing means. And a third step of removing, the processing method of the software remodeling support device .