Abstract
In many cases, the programmer may require to encode business rules into the database applications. To do this, a large number of program elements may need to be examined by the programmer, to determine which have the capacity to violate a new rule and if so what minimal changes are required to prevent such violations. This process can be time-consuming, and even seasoned programmers can miss difficult and obscure cases in the mass of code. In this paper, we describe a static source code analysis technique to assist the programmer in enforcing business rules in a way that cuts down the amount of irrelevant code to be examined. Our technique derives all the possible ways in which a new business rule can be violated by the programs in the system being modified, and the specific program elements responsible. © 2007 IEEE.
Original language | English |
---|---|
Title of host publication | Proceedings - International Computer Software and Applications Conference|Proc Int Comput Software Appl Conf |
Publisher | IEEE Computer Society |
Pages | 157-160 |
Number of pages | 3 |
Volume | 1 |
ISBN (Print) | 9780769528700 |
DOIs | |
Publication status | Published - 2007 |
Event | 31st Annual International Computer Software and Applications Conference, COMPSAC 2007 - Beijing Duration: 1 Jul 2007 → … |
Conference
Conference | 31st Annual International Computer Software and Applications Conference, COMPSAC 2007 |
---|---|
City | Beijing |
Period | 1/07/07 → … |
Keywords
- Computer Science, Information Systems
- Computer Science, Software
- Engineering
- Engineering, Electrical & Electronic