import org.junit.jupiter.api.BeforeEach;
import org.junit.jupiter.api.DisplayName;
import org.junit.jupiter.api.Nested;
import org.junit.jupiter.api.Test;

import static org.junit.jupiter.api.Assertions.assertEquals;
import static org.junit.jupiter.api.Assertions.assertFalse;
import static org.junit.jupiter.api.Assertions.assertNotNull;
import static org.junit.jupiter.api.Assertions.assertTrue;

import java.nio.channels.Channels;
import java.nio.channels.ReadableByteChannel;
import java.nio.channels.WritableByteChannel;
import java.util.Arrays;
import org.jspecify.annotations.NullUnmarked;

/**
 * Unit test for {@link ByteStreams}.
 *
 * @author Chris Nokleberg
 */
@NullUnmarked
public class ByteStreamsTest extends IoTestCase {

  public void testCopyChannel() throws IOException {

import java.util.Arrays;
import java.util.Collection;
import java.util.Collections;
import java.util.List;
import junit.framework.TestCase;
import org.jspecify.annotations.NullMarked;
import org.jspecify.annotations.Nullable;

/**
 * Unit test for {@link Bytes}.
 *
 * @author Kevin Bourrillion
 */
@NullMarked
@GwtCompatible
public class BytesTest extends TestCase {

import java.nio.channels.Channels;
import java.nio.channels.ReadableByteChannel;
import java.nio.channels.WritableByteChannel;
import java.util.Arrays;
import org.jspecify.annotations.NullUnmarked;

/**
 * Unit test for {@link ByteStreams}.
 *
 * @author Chris Nokleberg
 */
@NullUnmarked
public class ByteStreamsTest extends IoTestCase {

  public void testCopyChannel() throws IOException {

import java.util.Arrays;
import java.util.Collection;
import java.util.Collections;
import java.util.List;
import junit.framework.TestCase;
import org.jspecify.annotations.NullMarked;
import org.jspecify.annotations.Nullable;

/**
 * Unit test for {@link Bytes}.
 *
 * @author Kevin Bourrillion
 */
@NullMarked
@GwtCompatible
public class BytesTest extends TestCase {

	}{
		{s1, mkMPObj(s1)},
		{s2, mkMPObj(s2)},
		{s3, mkMPObj(s3)},
	}

	// This function is a reference (re-)implementation of
	// decrypted range computation, written solely for the purpose
	// of the unit tests.
	//
	// `s` gives the decrypted part sizes, and the other
	// parameters describe the desired read segment. When
	// `isFromEnd` is true, `skipLen` argument is ignored.

        return getIntProperty(LEASE_VERSION, 2);  // Default to V2 if supported
    }
}
```

## 8. Testing Strategy

### 8.1 Unit Tests
```java
package jcifs.tests.smb3;

import org.junit.Test;
import static org.junit.Assert.*;

public class LeaseTest {
    
    @Test
    public void testLeaseKeyGeneration() {
        Smb2LeaseKey key1 = new Smb2LeaseKey();

import java.lang.reflect.Method;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;
import junit.framework.AssertionFailedError;
import junit.framework.TestCase;
import org.jspecify.annotations.NullMarked;
import org.jspecify.annotations.Nullable;

/**
 * Unit test for {@link Preconditions}.
 *
 * @author Kevin Bourrillion
 * @author Jared Levy
 */
@NullMarked

import java.lang.reflect.Method;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;
import junit.framework.AssertionFailedError;
import junit.framework.TestCase;
import org.jspecify.annotations.NullMarked;
import org.jspecify.annotations.Nullable;

/**
 * Unit test for {@link Preconditions}.
 *
 * @author Kevin Bourrillion
 * @author Jared Levy
 */
@NullMarked

import com.google.common.testing.EqualsTester;
import java.util.Collections;
import java.util.List;
import java.util.NoSuchElementException;
import junit.framework.TestCase;
import org.jspecify.annotations.NullMarked;
import org.jspecify.annotations.Nullable;

/**
 * Unit test for {@link Range}.
 *
 * @author Kevin Bourrillion
 */
@GwtCompatible
@NullMarked
public class RangeTest extends TestCase {