编写白盒测试程序主要包括以下几个步骤：
熟悉需求
在开始编写测试代码之前，首先需要对待测模块的需求有一个清晰的了解。这包括理解模块的功能、输入、输出以及性能要求。
编写测试用例
测试用例是测试的第一步，用于验证程序的正确性。测试用例应包括输入数据、预期输出以及测试方式。例如，对于加法函数，测试用例可能包括输入两个整数和预期结果。
编写测试方法
编写测试方法是实现测试用例的关键步骤，通过JUnit等测试框架来执行测试用例。测试方法应详细描述如何执行测试用例，并包含必要的断言来验证结果。
执行测试
执行测试是验证测试代码是否正确的重要环节，确保测试用例能够通过，并修复可能存在的问题。
分析结果
分析测试结果，确定测试是否覆盖了所有重要的代码路径，并识别出任何潜在的问题。
具体技术
白盒测试的主要技术包括：
静态测试方法：
桌面检查：研发交叉检查代码。
代码审查：组织会议，由研发讲解自己的代码内容。
代码走查：展示功能实现。
代码扫描工具：如SonarQube，用于检查代码规范问题。
动态测试方法：
逻辑覆盖法：包括语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖和路径覆盖。
基本路径测试法：通过控制流图确定程序的路径，并设计测试用例覆盖这些路径。
示例
```java
import org.junit.Test；
import static org.junit.Assert.assertEquals；
public class CalculatorTest {
@Test
public void testAddition（） {
int result = Calculator.add（3, 5）；
assertEquals（8, result）；
}
@Test
public void testSubtraction（） {
int result = Calculator.subtract（10, 3）；
assertEquals（7, result）；
}
@Test
public void testMultiplication（） {
int result = Calculator.multiply（4, 6）；
assertEquals（24, result）；
}
@Test
public void testDivision（） {
int result = Calculator.divide（10, 2）；
assertEquals（5, result）；
}
}
class Calculator {
public static int add（int a, int b） {
return a + b；
}
public static int subtract（int a, int b） {
return a - b；
}
public static int multiply（int a, int b） {
return a * b；
}
public static int divide（int a, int b） {
if （b == 0） {
throw new IllegalArgumentException（"Division by zero is not allowed"）；
}
return a / b；
}
}
```
建议
全面覆盖：确保测试用例覆盖了所有重要的代码路径，包括正常情况和异常情况。
持续集成：将测试集成到持续集成（CI）流程中，以便在代码变更时自动运行测试。
代码覆盖率：使用代码覆盖率工具（如JaCoCo）来监控测试覆盖情况，确保测试的有效性。
文档记录：详细记录测试用例和测试方法，便于后续维护和扩展。
通过以上步骤和技术，可以有效地编写和执行白盒测试程序，确保软件的质量和可靠性。