在使用ArchUnit进行静态代码分析时，可以通过逐步减少数量的违规情况来解决问题。以下是一个包含代码示例的解决方法：

假设我们有一个名为MyService的服务类，该类应该只依赖于特定的包com.example.services中的其他类。我们可以使用ArchUnit来验证MyService是否只依赖于这个特定的包。如果有违规情况存在，我们可以逐步减少违规情况的数量，直到最终达到我们的要求。

首先，我们需要将ArchUnit添加到项目的依赖中。可以通过在pom.xml文件中添加以下依赖来实现：

    com.tngtech.archunit
    archunit
    0.17.0
    test

然后，我们可以编写一个测试类，使用ArchUnit来验证MyService是否只依赖于com.example.services包中的类。以下是一个示例：

import com.tngtech.archunit.core.domain.JavaClasses;
import com.tngtech.archunit.core.importer.ClassFileImporter;
import com.tngtech.archunit.lang.ArchRule;
import com.tngtech.archunit.lang.syntax.ArchRuleDefinition;

import org.junit.jupiter.api.Test;

public class MyServiceTest {

    @Test
    public void testMyServiceDependencies() {
        JavaClasses importedClasses = new ClassFileImporter().importPackages("com.example");

        // 定义规则：MyService只能依赖于com.example.services包中的类
        ArchRule rule = ArchRuleDefinition.classes()
                .that().resideInAPackage("..services..")
                .should().onlyDependOnClassesThat().resideInAnyPackage("..services..");

        rule.check(importedClasses);
    }
}

在上面的示例中，我们定义了一个规则rule，它要求MyService类只能依赖于com.example.services包中的类。然后，我们使用rule.check(importedClasses)来检查导入的类是否符合这个规则。

如果运行测试，ArchUnit将会检查MyService类的依赖关系，并报告任何违规情况。根据报告，我们可以逐步减少违规情况的数量，直到最终达到我们的要求。

请注意，上述示例中的包名和规则仅供参考，您需要根据您的实际情况进行适当的调整。