测试多线程/并发代码之所以困难，主要有以下几个原因：

1. 状态复杂性：多线程程序中的每个线程都可能独立地改变共享状态，这导致程序的执行路径变得复杂且难以预测。这意味着要验证多线程程序的正确性变得极具挑战性，因为必须考虑所有可能的并发状态和事件组合。

2. 竞争条件和非确定性：并发编程中的竞争条件可能导致在测试期间无法观察到的错误或缺陷。例如，两个或多个线程试图同时访问和修改共享资源时，可能会出现预期之外的后果。非确定性则使程序的执行顺序变得不可预测，进一步增加了测试的难度。

3. 同步问题：多线程程序必须正确地同步以避免竞态条件和其他并发问题。测试必须验证这些同步机制是否按预期工作，但这也带来了测试难度，因为同步机制的复杂性以及其可能导致的不同行为组合。

4. 死锁和活锁：并发编程中可能出现死锁和活锁等问题，这些问题的出现会使程序陷入僵局或无效的循环中。测试需要确保这些情况不会发生，并确保程序的正常终止和恢复。

5. 测试环境的复杂性：多线程程序的测试环境需要模拟多个线程同时运行的情况，这需要复杂的测试环境和工具支持。此外，还需要考虑不同操作系统、硬件平台和编译器之间的差异，这进一步增加了测试的复杂性。

6. 测试用例设计：设计针对多线程程序的测试用例是一项挑战。需要确保测试用例能够覆盖所有可能的并发场景和路径，以及各种边界条件和异常情况。

7. 调试难度：当多线程程序出现错误时，调试往往比单线程程序更困难。由于多个线程同时运行并可能相互影响，因此很难确定错误的具体位置和原因。

为了有效地测试多线程/并发代码，需要采用一些策略和技术，如使用专门的并发测试工具、编写针对并发特性的测试用例、模拟多种并发场景等。此外，使用断言库和日志记录可以帮助跟踪和验证程序的执行状态。同时，持续集成和持续部署（CI/CD）等实践也有助于及早发现和修复并发问题。