编写正确的单元测试是保证代码质量和功能正确性的重要步骤。以下是一些编写正确单元测试的方法，包括代码示例：

1. 单元测试应该被视为针对单个函数或模块的测试，而不是整个应用程序的测试。确保测试的目标明确，并只测试一个特定功能。

例如，假设我们有一个函数add，它将两个数字相加并返回结果。我们可以编写一个单元测试来验证它的正确性：

def add(a, b):
    return a + b

def test_add():
    assert add(2, 3) == 5
    assert add(0, 0) == 0
    assert add(-1, 1) == 0

2. 单元测试应该覆盖各种可能的输入和边界情况，以确保代码在各种情况下都能正确运行。

例如，如果我们有一个函数divide，它执行除法操作并返回结果。我们必须测试它在分母为零和正常情况下的行为：

def divide(a, b):
    return a / b

def test_divide():
    assert divide(10, 2) == 5
    assert divide(5, 0) == float('inf')  # 分母为零时的行为
    assert divide(0, 5) == 0

3. 使用断言（assertions）来验证代码的正确性。断言应该检查函数的输出是否符合预期。

例如，假设我们有一个函数is_prime，它检查给定的数字是否是质数。我们可以编写一个单元测试来验证它的正确性：

def is_prime(n):
    if n < 2:
        return False
    for i in range(2, int(n**0.5) + 1):
        if n % i == 0:
            return False
    return True

def test_is_prime():
    assert is_prime(2) == True
    assert is_prime(10) == False
    assert is_prime(17) == True

4. 使用测试框架来组织和运行单元测试。测试框架提供了一些有用的功能，例如自动运行测试、生成测试报告等。

例如，对于Python，常用的测试框架是unittest和pytest。下面是使用pytest框架编写的示例：

import pytest

def add(a, b):
    return a + b

def test_add():
    assert add(2, 3) == 5
    assert add(0, 0) == 0
    assert add(-1, 1) == 0

def divide(a, b):
    return a / b

def test_divide():
    assert divide(10, 2) == 5
    assert divide(5, 0) == float('inf')
    assert divide(0, 5) == 0

def is_prime(n):
    if n < 2:
        return False
    for i in range(2, int(n**0.5) + 1):
        if n % i == 0:
            return False
    return True

def test_is_prime():
    assert is_prime(2) == True
    assert is_prime(10) == False
    assert is_prime(17) == True

if __name__ == "__main__":
    pytest.main()

通过运行上述代码，pytest框架将自动运行所有以test_开头的函数，并生成测试报告。

总之，编写正确的单元测试需要明确目标、覆盖各种情况、使用断言验证输出，并使用测试框架来组织和运行测试。这些方法可以帮助我们编写高质量的单元测试。