Analyzing the conditions of coupling existence based on program slicing and some abstract information-flow

In this article, we pay more attention to the discussion of the conditions, which possibly produces software coupling between basic components in object-oriented programs. Six possible conditions are discussed in this article with some illuminations.