766

到目前为止,我已经避免了测试多线程代码的噩梦,因为它看起来像是一个雷区。我想问一下人们是如何测试依赖线程成功执行的代码的,或者人们是如何测试那些仅在两个线程以给定方式交互时才出现的问题的?

对于今天的程序员来说,这似乎是一个非常关键的问题,将我们的知识集中在这个恕我直言上会很有用。

4

27 回答 27

267

看,没有简单的方法可以做到这一点。我正在研究一个本质上是多线程的项目。事件来自操作系统,我必须同时处理它们。

处理测试复杂的多线程应用程序代码的最简单方法是:如果测试太复杂,则说明您做错了。如果您有一个有多个线程作用于它的单个实例,并且您无法测试这些线程相互交叉的情况,那么您的设计需要重做。它既简单又复杂。

有许多多线程编程方法可以避免线程同时通过实例运行。最简单的方法是使所有对象不可变。当然,这通常是不可能的。因此,您必须在设计中识别线程与同一实例交互的那些位置,并减少这些位置的数量。通过这样做,您可以隔离一些实际发生多线程的类,从而降低测试系统的整体复杂性。

但是您必须意识到,即使这样做,您仍然无法测试两个线程相互踩踏的所有情况。为此,您必须在同一个测试中同时运行两个线程,然后准确控制它们在任何给定时刻正在执行的行。你能做的最好的就是模拟这种情况。但这可能需要您专门为测试编写代码,而这充其量只是迈向真正解决方案的一半。

测试代码是否存在线程问题的最佳方法可能是通过代码的静态分析。如果您的线程代码不遵循有限的线程安全模式集,那么您可能会遇到问题。我相信 VS 中的代码分析确实包含一些线程知识,但可能不多。

看,就目前的情况来看(并且可能会在未来的好时机出现),测试多线程应用程序的最佳方法是尽可能降低线程代码的复杂性。尽量减少线程交互的区域,尽可能进行测试,并使用代码分析来识别危险区域。

于 2008-08-15T13:29:01.523 回答
106

这个问题已经有一段时间了,但仍然没有回答......

kleolb02的回答很好。我会尝试更详细的。

有一种方法,我为 C# 代码练习。对于单元测试,您应该能够编写可重现的测试,这是多线程代码中的最大挑战。因此,我的答案旨在将异步代码强制转换为同步工作的测试工具。

这是 Gerard Meszaros 的书“ xUnit Test Patterns ”中的一个想法,被称为“Humble Object”(第 695 页):您必须将核心逻辑代码和任何闻起来像异步代码的东西分开。这将产生一个用于核心逻辑的类,它可以同步工作。

这使您能够以同步的方式测试核心逻辑代码。您可以完全控制您在核心逻辑上执行的调用的时间,因此可以进行可重复的测试。这是分离核心逻辑和异步逻辑的收获。

这个核心逻辑需要被另一个类包裹起来,该类负责异步接收对核心逻辑的调用,并将这些调用委托给核心逻辑。生产代码只能通过该类访问核心逻辑。因为这个类应该只委托调用,所以它是一个非常“愚蠢”的类,没有太多逻辑。因此,您可以将这个异步工作类的单元测试保持在最低限度。

任何高于此(测试类之间的交互)都是组件测试。同样在这种情况下,如果您坚持“Humble Object”模式,您应该能够绝对控制时间。

于 2009-01-18T12:30:21.310 回答
72

确实是硬汉!在我的 (C++) 单元测试中,我按照所使用的并发模式将其分为几个类别:

  1. 对在单线程中运行且不支持线程的类进行单元测试——简单,像往常一样测试。

  2. 公开同步公共 API 的Monitor 对象(在调用者的控制线程中执行同步方法的对象)的单元测试——实例化多个执行 API 的模拟线程。构建锻炼被动对象内部条件的场景。包括一个运行时间较长的测试,它基本上可以在很长一段时间内从多个线程中击败它。我知道这是不科学的,但它确实建立了信心。

  3. 活动对象的单元测试(那些封装了自己的线程或控制线程的对象)——类似于上面的#2,但根据类设计而有所不同。公共 API 可能是阻塞的或非阻塞的,调用者可能会获得期货,数据可能会到达队列或需要出队。这里有许多可能的组合;白盒子走了。仍然需要多个模拟线程来调用被测对象。

作为旁白:

在我进行的内部开发人员培训中,我教授并发支柱和这两种模式作为思考和分解并发问题的主要框架。显然有更高级的概念,但我发现这套基础知识有助于让工程师远离困境。如上所述,它还导致代码更易于单元测试。

于 2008-08-15T13:26:26.537 回答
58

近年来,在为多个项目编写线程处理代码时,我曾多次遇到过这个问题。我提供了一个较晚的答案,因为大多数其他答案虽然提供了替代方案,但实际上并没有回答有关测试的问题。我的回答是针对没有多线程代码替代方案的情况。为了完整性,我确实涵盖了代码设计问题,但也讨论了单元测试。

编写可测试的多线程代码

首先要做的是将您的生产线程处理代码与所有进行实际数据处理的代码分开。这样,数据处理可以作为单线程代码进行测试,而多线程代码所做的唯一事情就是协调线程。

要记住的第二件事是多线程代码中的错误是概率性的。最不常出现的错误是会潜入生产中的错误,即使在生产中也难以重现,因此会导致最大的问题。出于这个原因,快速编写代码然后调试它直到它工作的标准编码方法对于多线程代码来说是一个坏主意。它将导致代码中容易的错误被修复而危险的错误仍然存​​在。

相反,在编写多线程代码时,您必须以一开始就避免编写错误的态度编写代码。如果你已经正确删除了数据处理代码,线程处理代码应该足够小——最好是几行,最坏是几十行——这样你就有机会在不写错误的情况下编写它,当然也不会写很多错误,如果您了解线程,请慢慢来,并且要小心。

为多线程代码编写单元测试

一旦尽可能仔细地编写多线程代码,仍然值得为该代码编写测试。测试的主要目的不是测试高度依赖于时间的竞争条件错误——不可能重复测试这种竞争条件——而是测试你防止此类错误的锁定策略是否允许多个线程按预期交互.

要正确测试正确的锁定行为,测试必须启动多个线程。为了使测试可重复,我们希望线程之间的交互以可预测的顺序发生。我们不想在测试中对线程进行外部同步,因为这将掩盖生产中可能发生的线程未外部同步的错误。这就留下了线程同步的时间延迟的使用,这是我在必须编写多线程代码测试时成功使用的技术。

如果延迟太短,那么测试就会变得脆弱,因为微小的时间差异——比如可能运行测试的不同机器之间——可能会导致时间关闭和测试失败。我通常做的是从导致测试失败的延迟开始,增加延迟以便测试在我的开发机器上可靠地通过,然后将延迟加倍,这样测试就有很大的机会在其他机器上通过。这确实意味着测试将花费大量时间,尽管根据我的经验,仔细的测试设计可以将时间限制在不超过十几秒。由于您的应用程序中不应该有很多地方需要线程协调代码,因此您的测试套件应该可以接受。

最后,跟踪您的测试捕获的错误数量。如果您的测试有 80% 的代码覆盖率,那么它有望捕获大约 80% 的错误。如果您的测试设计良好但没有发现任何错误,那么您很有可能没有其他只会出现在生产环境中的错误。如果测试发现一两个错误,您可能仍然很幸运。除此之外,您可能需要考虑仔细审查甚至完全重写您的线程处理代码,因为代码可能仍然包含隐藏的错误,这些错误在代码投入生产之前很难找到,而且非常那时很难修复。

于 2015-09-11T21:00:39.647 回答
26

我在测试多线程代码时也遇到了严重的问题。然后我在 Gerard Meszaros 的“xUnit 测试模式”中找到了一个非常酷的解决方案。他描述的模式被称为Humble object

基本上,它描述了如何将逻辑提取到一个单独的、易于测试的组件中,该组件与其环境分离。在你测试了这个逻辑之后,你可以测试复杂的行为(多线程、异步执行等......)

于 2008-08-20T12:29:59.070 回答
19

周围有一些非常好的工具。这里是一些 Java 的总结。

一些好的静态分析工具包括FindBugs(提供一些有用的提示)、JLintJava Pathfinder(JPF 和 JPF2)和Bogor

MultithreadedTC是一个很好的动态分析工具(集成到 JUnit 中),您必须在其中设置自己的测试用例。

IBM Research 的竞赛很有趣。它通过插入各种线程修改行为(例如睡眠和屈服)来检测您的代码,以尝试随机发现错误。

SPIN是一个非常酷的工具,用于对 Java(和其他)组件进行建模,但您需要有一些有用的框架。它很难按原样使用,但如果你知道如何使用它,它就会非常强大。相当多的工具在引擎盖下使用 SPIN。

MultithreadedTC 可能是最主流的,但上面列出的一些静态分析工具绝对值得一看。

于 2010-07-08T12:23:19.390 回答
17

等待也可以帮助您编写确定性单元测试。它允许您等到系统中某处的某个状态被更新。例如:

await().untilCall( to(myService).myMethod(), greaterThan(3) );

或者

await().atMost(5,SECONDS).until(fieldIn(myObject).ofType(int.class), equalTo(1));

它还支持 Scala 和 Groovy。

await until { something() > 4 } // Scala example
于 2010-11-19T17:26:44.147 回答
15

另一种(有点)测试线程代码和非常复杂的系统的方法是通过Fuzz Testing。它不是很好,它不会找到所有东西,但它可能很有用并且操作简单。

引用:

模糊测试或模糊测试是一种软件测试技术,它为程序的输入提供随机数据(“模糊”)。如果程序失败(例如,由于崩溃,或由于内置代码断言失败),则可以记录缺陷。模糊测试的最大优点是测试设计非常简单,并且没有对系统行为的先入之见。

...

模糊测试通常用于采用黑盒测试的大型软件开发项目。这些项目通常有开发测试工具的预算,而模糊测试是提供高收益成本比的技术之一。

...

然而,模糊测试并不能替代穷举测试或形式化方法:它只能提供系统行为的随机样本,而且在许多情况下,通过模糊测试可能只能证明一个软件处理了异常而没有崩溃,而不是行为正确。因此,模糊测试只能被视为一种错误发现工具,而不是质量保证。

于 2008-09-24T05:16:55.283 回答
13

我已经做了很多这样的事情,是的,这很糟糕。

一些技巧:

  • GroboUtils用于运行多个测试线程
  • alphaWorks ConTest对仪器类进行测试,以使交叉在迭代之间发生变化
  • 创建一个throwable字段并将其签入tearDown(参见清单 1)。如果您在另一个线程中捕获到错误异常,只需将其分配给 throwable。
  • 我在清单 2 中创建了 utils 类,发现它非常宝贵,尤其是 waitForVerify 和 waitForCondition,它们将大大提高您的测试性能。
  • AtomicBoolean在你的测试中好好利用。它是线程安全的,您通常需要一个最终引用类型来存储来自回调类等的值。请参见清单 3 中的示例。
  • 确保总是给你的测试一个超时时间(例如,@Test(timeout=60*1000)),因为并发测试有时会在它们被破坏时永远挂起。

清单 1:

@After
public void tearDown() {
    if ( throwable != null )
        throw throwable;
}

清单 2:

import static org.junit.Assert.fail;
import java.io.File;
import java.lang.reflect.InvocationHandler;
import java.lang.reflect.Proxy;
import java.util.Random;
import org.apache.commons.collections.Closure;
import org.apache.commons.collections.Predicate;
import org.apache.commons.lang.time.StopWatch;
import org.easymock.EasyMock;
import org.easymock.classextension.internal.ClassExtensionHelper;
import static org.easymock.classextension.EasyMock.*;

import ca.digitalrapids.io.DRFileUtils;

/**
 * Various utilities for testing
 */
public abstract class DRTestUtils
{
    static private Random random = new Random();

/** Calls {@link #waitForCondition(Integer, Integer, Predicate, String)} with
 * default max wait and check period values.
 */
static public void waitForCondition(Predicate predicate, String errorMessage) 
    throws Throwable
{
    waitForCondition(null, null, predicate, errorMessage);
}

/** Blocks until a condition is true, throwing an {@link AssertionError} if
 * it does not become true during a given max time.
 * @param maxWait_ms max time to wait for true condition. Optional; defaults
 * to 30 * 1000 ms (30 seconds).
 * @param checkPeriod_ms period at which to try the condition. Optional; defaults
 * to 100 ms.
 * @param predicate the condition
 * @param errorMessage message use in the {@link AssertionError}
 * @throws Throwable on {@link AssertionError} or any other exception/error
 */
static public void waitForCondition(Integer maxWait_ms, Integer checkPeriod_ms, 
    Predicate predicate, String errorMessage) throws Throwable 
{
    waitForCondition(maxWait_ms, checkPeriod_ms, predicate, new Closure() {
        public void execute(Object errorMessage)
        {
            fail((String)errorMessage);
        }
    }, errorMessage);
}

/** Blocks until a condition is true, running a closure if
 * it does not become true during a given max time.
 * @param maxWait_ms max time to wait for true condition. Optional; defaults
 * to 30 * 1000 ms (30 seconds).
 * @param checkPeriod_ms period at which to try the condition. Optional; defaults
 * to 100 ms.
 * @param predicate the condition
 * @param closure closure to run
 * @param argument argument for closure
 * @throws Throwable on {@link AssertionError} or any other exception/error
 */
static public void waitForCondition(Integer maxWait_ms, Integer checkPeriod_ms, 
    Predicate predicate, Closure closure, Object argument) throws Throwable 
{
    if ( maxWait_ms == null )
        maxWait_ms = 30 * 1000;
    if ( checkPeriod_ms == null )
        checkPeriod_ms = 100;
    StopWatch stopWatch = new StopWatch();
    stopWatch.start();
    while ( !predicate.evaluate(null) ) {
        Thread.sleep(checkPeriod_ms);
        if ( stopWatch.getTime() > maxWait_ms ) {
            closure.execute(argument);
        }
    }
}

/** Calls {@link #waitForVerify(Integer, Object)} with <code>null</code>
 * for {@code maxWait_ms}
 */
static public void waitForVerify(Object easyMockProxy)
    throws Throwable
{
    waitForVerify(null, easyMockProxy);
}

/** Repeatedly calls {@link EasyMock#verify(Object[])} until it succeeds, or a
 * max wait time has elapsed.
 * @param maxWait_ms Max wait time. <code>null</code> defaults to 30s.
 * @param easyMockProxy Proxy to call verify on
 * @throws Throwable
 */
static public void waitForVerify(Integer maxWait_ms, Object easyMockProxy)
    throws Throwable
{
    if ( maxWait_ms == null )
        maxWait_ms = 30 * 1000;
    StopWatch stopWatch = new StopWatch();
    stopWatch.start();
    for(;;) {
        try
        {
            verify(easyMockProxy);
            break;
        }
        catch (AssertionError e)
        {
            if ( stopWatch.getTime() > maxWait_ms )
                throw e;
            Thread.sleep(100);
        }
    }
}

/** Returns a path to a directory in the temp dir with the name of the given
 * class. This is useful for temporary test files.
 * @param aClass test class for which to create dir
 * @return the path
 */
static public String getTestDirPathForTestClass(Object object) 
{

    String filename = object instanceof Class ? 
        ((Class)object).getName() :
        object.getClass().getName();
    return DRFileUtils.getTempDir() + File.separator + 
        filename;
}

static public byte[] createRandomByteArray(int bytesLength)
{
    byte[] sourceBytes = new byte[bytesLength];
    random.nextBytes(sourceBytes);
    return sourceBytes;
}

/** Returns <code>true</code> if the given object is an EasyMock mock object 
 */
static public boolean isEasyMockMock(Object object) {
    try {
        InvocationHandler invocationHandler = Proxy
                .getInvocationHandler(object);
        return invocationHandler.getClass().getName().contains("easymock");
    } catch (IllegalArgumentException e) {
        return false;
    }
}
}

清单 3:

@Test
public void testSomething() {
    final AtomicBoolean called = new AtomicBoolean(false);
    subject.setCallback(new SomeCallback() {
        public void callback(Object arg) {
            // check arg here
            called.set(true);
        }
    });
    subject.run();
    assertTrue(called.get());
}
于 2008-09-24T04:58:52.970 回答
12

如前所述,测试 MT 代码的正确性是一个相当困难的问题。最后归结为确保代码中没有错误同步的数据竞争。这样做的问题是线程执行(交错)的可能性有无数种,您无法对其进行太多控制(不过,请务必阅读这篇文章)。在简单的场景中,可以通过推理实际证明正确性,但通常情况并非如此。特别是如果您想避免/最小化同步并且不选择最明显/最简单的同步选项。

我遵循的一种方法是编写高度并发的测试代码,以使潜在的未被检测到的数据竞争可能发生。然后我运行这些测试一段时间 :) 我曾经偶然发现一些计算机科学家在演讲中展示了一种可以做到这一点的工具(从规范中随机设计测试,然后同时疯狂地运行它们,检查定义的不变量被打破)。

顺便说一句,我认为这里没有提到测试 MT 代码的这一方面:识别可以随机检查的代码的不变量。不幸的是,找到这些不变量也是一个相当困难的问题。此外,它们可能不会在执行期间一直保持,因此您必须找到/执行您可以期望它们为真的执行点。将代码执行到这样的状态也是一个难题(并且本身可能会引发并发问题。哇,这太难了!

一些有趣的阅读链接:

于 2014-09-18T10:37:01.277 回答
7

我处理线程组件的单元测试的方式与处理任何单元测试的方式相同,即控制反转和隔离框架。我在 .Net-arena 中开发,开箱即用,线程(除其他外)很难(我会说几乎不可能)完全隔离。

因此,我编写了看起来像这样(简化)的包装器:

public interface IThread
{
    void Start();
    ...
}

public class ThreadWrapper : IThread
{
    private readonly Thread _thread;
     
    public ThreadWrapper(ThreadStart threadStart)
    {
        _thread = new Thread(threadStart);
    }

    public Start()
    {
        _thread.Start();
    }
}
    
public interface IThreadingManager
{
    IThread CreateThread(ThreadStart threadStart);
}

public class ThreadingManager : IThreadingManager
{
    public IThread CreateThread(ThreadStart threadStart)
    {
         return new ThreadWrapper(threadStart)
    }
}

从那里,我可以轻松地将 IThreadingManager 注入到我的组件中,并使用我选择的隔离框架使线程在测试期间按预期运行。

到目前为止,这对我来说效果很好,我对线程池、System.Environment、Sleep 等中的东西使用相同的方法。

于 2010-02-26T23:38:20.337 回答
6

对于 Java,请查看JCIP的第 12 章。有一些编写确定性多线程单元测试的具体示例,至少可以测试并发代码的正确性和不变性。

用单元测试“证明”线程安全性要困难得多。我的信念是,通过在各种平台/配置上进行自动化集成测试可以更好地实现这一点。

于 2008-09-17T16:35:12.273 回答
6

看看我的相关答案

为自定义 Barrier 设计测试类

它偏向于 Java,但对选项进行了合理的总结。

总之,虽然(IMO)它不是使用一些花哨的框架来确保正确性,而是你如何设计你的多线程代码。拆分关注点(并发性和功能性)对提高信心大有帮助。以测试为导向的面向对象软件的增长比我能更好地解释一些选项。

静态分析和形式化方法(请参阅并发:状态模型和 Java 程序)是一种选择,但我发现它们在商业开发中的用途有限。

不要忘记任何负载/浸泡式测试很少保证能突出问题。

祝你好运!

于 2011-01-06T13:56:14.530 回答
6

我喜欢编写两个或多个测试方法在并行线程上执行,每个测试方法都调用被测对象。我一直在使用 Sleep() 调用来协调来自不同线程的调用顺序,但这并不可靠。它也慢了很多,因为你必须睡足够长的时间才能正常工作。

我从编写 FindBugs 的同一组中找到了Multithreaded TC Java 库。它允许您在不使用 Sleep() 的情况下指定事件的顺序,并且它是可靠的。我还没试过。

这种方法的最大限制是它只能让您测试您怀疑会引起麻烦的场景。正如其他人所说,您确实需要将多线程代码隔离为少量简单的类,以便有希望彻底测试它们。

一旦你仔细测试了你预计会引起麻烦的场景,一个不科学的测试会在一段时间内在课堂上抛出一堆并发请求,这是寻找意外问题的好方法。

更新:我玩了一点多线程 TC Java 库,它运行良好。我还将它的一些功能移植到了我称为TickingTest的 .NET 版本中。

于 2008-09-08T05:34:05.417 回答
6

Pete Goodliffe有一系列关于线程代码的单元测试。

这个很难(硬。我采取了更简单的方法,并尝试将线程代码从实际测试中抽象出来。皮特确实提到我这样做的方式是错误的,但我要么正确地分开,要么我很幸运。

于 2008-08-15T20:59:45.590 回答
4

我最近(对于 Java)发现了一个名为 Threadsafe 的工具。它是一个类似于 findbugs 的静态分析工具,但专门用于发现多线程问题。它不能替代测试,但我可以推荐它作为编写可靠的多线程 Java 的一部分。

它甚至可以捕捉到一些非常微妙的潜在问题,例如类包含、通过并发类访问不安全的对象以及在使用双重检查锁定范例时发现丢失的 volatile 修饰符。

如果您编写多线程 Java ,请试一试。

于 2014-05-24T22:09:42.163 回答
3

以下文章建议了 2 个解决方案。包装信号量(CountDownLatch)并添加功能,例如从内部线程外部化数据。实现此目的的另一种方法是使用线程池(请参阅兴趣点)。

Sprinkler - 高级同步对象

于 2013-07-31T14:40:42.543 回答
2

我有一个不幸的任务是测试线程代码,它们绝对是我写过的最难的测试。

在编写测试时,我使用了委托和事件的组合。基本上,这都是关于使用PropertyNotifyChanged带有某种WaitCallback或某种ConditionalWaiter民意调查的事件。

我不确定这是否是最好的方法,但它对我来说很有效。

于 2008-08-15T13:15:47.697 回答
2

我上周大部分时间都在大学图书馆学习并发代码的调试。核心问题是并发代码是不确定的。通常,学术调试已落入以下三个阵营之一:

  1. 事件跟踪/重播。这需要一个事件监视器,然后查看已发送的事件。在 UT 框架中,这将涉及手动发送事件作为测试的一部分,然后进行事后审查。
  2. 可编写脚本。这是您使用一组触发器与正在运行的代码交互的地方。“在 x > foo,baz()”上。这可以解释为一个 UT 框架,其中您有一个运行时系统在特定条件下触发给定测试。
  3. 交互的。这显然不适用于自动测试情况。;)

现在,正如上述评论员所注意到的,您可以将并发系统设计为更具确定性的状态。但是,如果你没有正确地做到这一点,你就只能重新设计一个顺序系统。

我的建议是专注于制定一个非常严格的设计协议,关于什么是线程化的,什么不是线程化的。如果你限制你的界面,使元素之间的依赖最小,那就容易多了。

祝你好运,继续解决这个问题。

于 2009-03-22T22:45:10.960 回答
1

假设在“多线程”代码下的意思是

  • 有状态的和可变的
  • 由多个线程同时访问/修改

换句话说,我们正在谈论测试自定义有状态线程安全类/方法/单元——这在当今应该是一种非常罕见的野兽。

因为这种野兽很少见,首先我们需要确保有所有正当的借口来写它。

步骤 1.考虑在相同的同步上下文中修改状态。

今天很容易编写可组合的并发和异步代码,其中 IO 或其他慢速操作被卸载到后台,但共享状态在一个同步上下文中更新和查询。例如,.NET 中的异步/等待任务和 Rx 等 - 它们都可以通过设计进行测试,“真实”任务和调度程序可以替代以使测试具有确定性(但这超出了问题的范围)。

听起来可能很受限制,但这种方法的效果出奇的好。可以以这种风格编写整个应用程序,而无需使任何状态线程安全(我这样做)。

步骤 2.如果在单个同步上下文上操作共享状态绝对是不可能的。

确保轮子没有被重新发明/绝对没有可以适应这项工作的标准替代品。代码应该很可能是非常内聚的并且包含在一个单元中,例如很有可能它是一些标准线程安全数据结构(如哈希映射或集合等)的特例。

注意:如果代码很大/跨越多个类并且需要多线程状态操作,那么很有可能设计不好,重新考虑第 1 步

第 3 步。如果达到此步骤,那么我们需要测试我们自己的自定义有状态线程安全类/方法/单元

老实说:我从来不需要为这样的代码编写适当的测试。大部分时间我都在第 1 步,有时在第 2 步。上一次我必须编写自定义线程安全代码是多年前的事了,那是在我采用单元测试之前/可能我不必编写它无论如何,以目前的知识。

如果我真的必须测试这样的代码(最后是实际答案),那么我会尝试以下几件事

  1. 非确定性压力测试。例如同时运行 100 个线程并检查最终结果是否一致。这对于多用户场景的更高级别/集成测试更为典型,但也可以在单元级别使用。

  2. 公开一些测试“钩子”,其中测试可以注入一些代码,以帮助确定一个线程必须在另一个线程之前执行操作的确定性场景。这么丑,我想不出更好的了。

  3. 延迟驱动测试,使线程以特定顺序运行和执行操作。严格来说,这样的测试也是非确定性的(有可能系统冻结/停止世界 GC 收集,这可能会扭曲原本精心安排的延迟),它也很丑陋,但可以避免挂钩。

于 2019-03-21T09:10:12.810 回答
0

对于 J2E 代码,我使用 SilkPerformer、LoadRunner 和 JMeter 对线程进行并发测试。他们都做同样的事情。基本上,它们为您提供了一个相对简单的界面来管理他们的代理服务器版本,以便分析 TCP/IP 数据流,并模拟多个用户同时向您的应用服务器发出请求。代理服务器可以让您通过在处理请求后显示发送到服务器的整个页面和 URL 以及来自服务器的响应来执行分析请求等操作。

您可以在不安全的 http 模式中找到一些错误,您至少可以在其中分析正在发送的表单数据,并为每个用户系统地更改这些数据。但真正的测试是在 https(安全套接字层)中运行时。然后,您还必须应对系统地更改会话和 cookie 数据,这可能有点复杂。

我在测试并发性时发现的最好的错误是当我发现开发人员在登录时依赖 Java 垃圾收集来关闭登录时建立的连接请求到 LDAP 服务器。这导致用户被暴露对于其他用户的会话和非常混乱的结果,当试图分析服务器瘫痪时发生的事情时,每隔几秒钟几乎无法完成一项事务。

最后,您或其他人可能不得不认真分析代码中的错误,就像我刚才提到的那样。跨部门的公开讨论,就像我们展开上述问题时发生的那样,是最有用的。但这些工具是测试多线程代码的最佳解决方案。JMeter 是开源的。SilkPerformer 和 LoadRunner 是专有的。如果您真的想知道您的应用程序是否是线程安全的,那么大男孩就是这样做的。我已经专业地为非常大的公司做过这个,所以我不是在猜测。我是从个人经历说的。

提醒一句:理解这些工具确实需要一些时间。这不是简单地安装软件和启动 GUI 的问题,除非您已经接触过多线程编程。我试图确定需要理解的 3 个关键领域类别(表单、会话和 cookie 数据),希望至少从理解这些主题开始可以帮助您专注于快速结果,而不是必须通读整个文档。

于 2017-09-25T21:14:33.060 回答
0

并发是内存模型、硬件、缓存和我们的代码之间复杂的相互作用。在 Java 的情况下,至少这些测试主要由jcstress部分解决。众所周知,该库的创建者是许多 JVM、GC 和 Java 并发特性的作者。

但即使是这个库也需要对 Java 内存模型规范有很好的了解,这样我们才能准确地知道我们正在测试什么。但我认为这项工作的重点是 mircobenchmarks。不是庞大的业务应用程序。

于 2018-06-20T08:06:29.003 回答
0

有一篇关于该主题的文章,在示例代码中使用 Rust 作为语言:

https://medium.com/@polyglot_factotum/rust-concurrency-five-easy-pieces-871f1c62906a

总而言之,诀窍是编写并发逻辑,使其对涉及多个执行线程的非确定性具有鲁棒性,使用通道和 condvars 等工具。

然后,如果这就是您构建“组件”的方式,那么测试它们的最简单方法是使用通道向它们发送消息,然后阻塞其他通道以断言组件发送某些预期的消息。

链接到的文章完全使用单元测试编写。

于 2020-04-28T04:14:14.260 回答
0

它并不完美,但我为我在 C# 中的测试编写了这个助手:

using System;
using System.Collections.Generic;
using System.Threading;
using System.Threading.Tasks;

namespace Proto.Promises.Tests.Threading
{
    public class ThreadHelper
    {
        public static readonly int multiThreadCount = Environment.ProcessorCount * 100;
        private static readonly int[] offsets = new int[] { 0, 10, 100, 1000 };

        private readonly Stack<Task> _executingTasks = new Stack<Task>(multiThreadCount);
        private readonly Barrier _barrier = new Barrier(1);
        private int _currentParticipants = 0;
        private readonly TimeSpan _timeout;

        public ThreadHelper() : this(TimeSpan.FromSeconds(10)) { } // 10 second timeout should be enough for most cases.

        public ThreadHelper(TimeSpan timeout)
        {
            _timeout = timeout;
        }

        /// <summary>
        /// Execute the action multiple times in parallel threads.
        /// </summary>
        public void ExecuteMultiActionParallel(Action action)
        {
            for (int i = 0; i < multiThreadCount; ++i)
            {
                AddParallelAction(action);
            }
            ExecutePendingParallelActions();
        }

        /// <summary>
        /// Execute the action once in a separate thread.
        /// </summary>
        public void ExecuteSingleAction(Action action)
        {
            AddParallelAction(action);
            ExecutePendingParallelActions();
        }

        /// <summary>
        /// Add an action to be run in parallel.
        /// </summary>
        public void AddParallelAction(Action action)
        {
            var taskSource = new TaskCompletionSource<bool>();
            lock (_executingTasks)
            {
                ++_currentParticipants;
                _barrier.AddParticipant();
                _executingTasks.Push(taskSource.Task);
            }
            new Thread(() =>
            {
                try
                {
                    _barrier.SignalAndWait(); // Try to make actions run in lock-step to increase likelihood of breaking race conditions.
                    action.Invoke();
                    taskSource.SetResult(true);
                }
                catch (Exception e)
                {
                    taskSource.SetException(e);
                }
            }).Start();
        }

        /// <summary>
        /// Runs the pending actions in parallel, attempting to run them in lock-step.
        /// </summary>
        public void ExecutePendingParallelActions()
        {
            Task[] tasks;
            lock (_executingTasks)
            {
                _barrier.SignalAndWait();
                _barrier.RemoveParticipants(_currentParticipants);
                _currentParticipants = 0;
                tasks = _executingTasks.ToArray();
                _executingTasks.Clear();
            }
            try
            {
                if (!Task.WaitAll(tasks, _timeout))
                {
                    throw new TimeoutException($"Action(s) timed out after {_timeout}, there may be a deadlock.");
                }
            }
            catch (AggregateException e)
            {
                // Only throw one exception instead of aggregate to try to avoid overloading the test error output.
                throw e.Flatten().InnerException;
            }
        }

        /// <summary>
        /// Run each action in parallel multiple times with differing offsets for each run.
        /// <para/>The number of runs is 4^actions.Length, so be careful if you don't want the test to run too long.
        /// </summary>
        /// <param name="expandToProcessorCount">If true, copies each action on additional threads up to the processor count. This can help test more without increasing the time it takes to complete.
        /// <para/>Example: 2 actions with 6 processors, runs each action 3 times in parallel.</param>
        /// <param name="setup">The action to run before each parallel run.</param>
        /// <param name="teardown">The action to run after each parallel run.</param>
        /// <param name="actions">The actions to run in parallel.</param>
        public void ExecuteParallelActionsWithOffsets(bool expandToProcessorCount, Action setup, Action teardown, params Action[] actions)
        {
            setup += () => { };
            teardown += () => { };
            int actionCount = actions.Length;
            int expandCount = expandToProcessorCount ? Math.Max(Environment.ProcessorCount / actionCount, 1) : 1;
            foreach (var combo in GenerateCombinations(offsets, actionCount))
            {
                setup.Invoke();
                for (int k = 0; k < expandCount; ++k)
                {
                    for (int i = 0; i < actionCount; ++i)
                    {
                        int offset = combo[i];
                        Action action = actions[i];
                        AddParallelAction(() =>
                        {
                            for (int j = offset; j > 0; --j) { } // Just spin in a loop for the offset.
                            action.Invoke();
                        });
                    }
                }
                ExecutePendingParallelActions();
                teardown.Invoke();
            }
        }

        // Input: [1, 2, 3], 3
        // Ouput: [
        //          [1, 1, 1],
        //          [2, 1, 1],
        //          [3, 1, 1],
        //          [1, 2, 1],
        //          [2, 2, 1],
        //          [3, 2, 1],
        //          [1, 3, 1],
        //          [2, 3, 1],
        //          [3, 3, 1],
        //          [1, 1, 2],
        //          [2, 1, 2],
        //          [3, 1, 2],
        //          [1, 2, 2],
        //          [2, 2, 2],
        //          [3, 2, 2],
        //          [1, 3, 2],
        //          [2, 3, 2],
        //          [3, 3, 2],
        //          [1, 1, 3],
        //          [2, 1, 3],
        //          [3, 1, 3],
        //          [1, 2, 3],
        //          [2, 2, 3],
        //          [3, 2, 3],
        //          [1, 3, 3],
        //          [2, 3, 3],
        //          [3, 3, 3]
        //        ]
        private static IEnumerable<int[]> GenerateCombinations(int[] options, int count)
        {
            int[] indexTracker = new int[count];
            int[] combo = new int[count];
            for (int i = 0; i < count; ++i)
            {
                combo[i] = options[0];
            }
            // Same algorithm as picking a combination lock.
            int rollovers = 0;
            while (rollovers < count)
            {
                yield return combo; // No need to duplicate the array since we're just reading it.
                for (int i = 0; i < count; ++i)
                {
                    int index = ++indexTracker[i];
                    if (index == options.Length)
                    {
                        indexTracker[i] = 0;
                        combo[i] = options[0];
                        if (i == rollovers)
                        {
                            ++rollovers;
                        }
                    }
                    else
                    {
                        combo[i] = options[index];
                        break;
                    }
                }
            }
        }
    }
}

示例用法:

[Test]
public void DeferredMayBeBeResolvedAndPromiseAwaitedConcurrently_void0()
{
    Promise.Deferred deferred = default(Promise.Deferred);
    Promise promise = default(Promise);

    int invokedCount = 0;

    var threadHelper = new ThreadHelper();
    threadHelper.ExecuteParallelActionsWithOffsets(false,
        // Setup
        () =>
        {
            invokedCount = 0;
            deferred = Promise.NewDeferred();
            promise = deferred.Promise;
        },
        // Teardown
        () => Assert.AreEqual(1, invokedCount),
        // Parallel Actions
        () => deferred.Resolve(),
        () => promise.Then(() => { Interlocked.Increment(ref invokedCount); }).Forget()
    );
}
于 2021-01-14T21:27:28.570 回答
-1

如果您正在测试简单的new Thread(runnable).run() 您可以模拟 Thread 以按顺序运行可运行

例如,如果测试对象的代码像这样调用一个新线程

Class TestedClass {
    public void doAsychOp() {
       new Thread(new myRunnable()).start();
    }
}

然后模拟新线程并按顺序运行可运行参数会有所帮助

@Mock
private Thread threadMock;

@Test
public void myTest() throws Exception {
    PowerMockito.mockStatic(Thread.class);
    //when new thread is created execute runnable immediately 
    PowerMockito.whenNew(Thread.class).withAnyArguments().then(new Answer<Thread>() {
        @Override
        public Thread answer(InvocationOnMock invocation) throws Throwable {
            // immediately run the runnable
            Runnable runnable = invocation.getArgumentAt(0, Runnable.class);
            if(runnable != null) {
                runnable.run();
            }
            return threadMock;//return a mock so Thread.start() will do nothing         
        }
    }); 
    TestedClass testcls = new TestedClass()
    testcls.doAsychOp(); //will invoke myRunnable.run in current thread
    //.... check expected 
}
于 2018-04-09T15:36:22.337 回答
-4

(如果可能)不要使用线程,使用演员/活动对象。易于测试。

于 2013-07-04T08:11:57.177 回答
-6

您可以使用 EasyMock.makeThreadSafe 使测试实例线程安全

于 2014-01-13T11:48:15.807 回答