No abstract

No abstract

SUMMARY For the maintenance of a business system, developers must understand the business rules implemented in the system. One type of business rules defines computational business rules; they represent how an output value of a feature is computed from the valid inputs. Unfortunately, understanding business rules is a tedious and error-prone activity. We propose a program-dependence analysis technique tailored to understanding computational business rules. Given a variable representing an output, the proposed technique extracts the conditional statements that may affect the computation of the output. To evaluate the usefulness of the technique, we conducted an experiment with eight developers in one company. The results confirm that the proposed technique enables developers to accurately identify conditional statements corresponding to computational business rules. Furthermore, we compare the number of conditional statements extracted by the proposed technique and program slicing. We conclude that the proposed technique, in general, is more effective than program slicing.

In the maintenance of a business system, developers must understand the computational business rules implemented in the system. Computational business rules de¿ne how an output value of a feature is computed from inputs; the rules are represented by conditional statements in the source code. Unfortunately, understanding business rules is a tedious and error-prone activity. Since a feature computes various outputs, developers must analyze the implementation of the feature and extract the conditional statements relevant to a particular output. In this paper, we propose a program dependence analysis technique tailored for understanding business rules. Given a variable representing an output, our approach extracts conditional statements that may affect the computation of the output. To evaluate the usefulness of the approach, we conducted an experiment with eight developers in a company. The results showed that our approach enables developers to accurately identify conditional statements relevant to business rules.