Skip to content
STIMSMITH

Partition Testing

Technique

Partition Testing is a functional software testing technique based on subdividing the input domain of a system under test into sub-domains (partitions), under the assumption that inputs within the same sub-domain exercise similar behavior. Representative inputs are selected from each sub-domain to construct test cases. The technique has been formalized and analyzed in the literature (notably by Weyuker and Jeng, 1991, building on the revealing-subdomains theory of Weyuker and Ostrand, 1980), and modern variants such as Category-Partition Testing extend it with parameter categories, choices, and constraints, while LLM-based approaches (e.g., LISP, 2024) leverage large language models to automate input space partitioning for library APIs.

First seen 8/1/2026
Last seen 8/1/2026
Evidence 1 chunks
Wiki v1

WIKI

Partition Testing

Definition

Partition Testing is a functional software testing technique founded on the idea that the input domain of a system under test (SUT) can be divided into sub-domains, with the assumption that inputs belonging to the same sub-domain trigger similar behavior, and that it is therefore sufficient to select one (or a small number of) input(s) from each sub-domain to exercise the SUT's behavior systematically [arXiv:2601.12559v1].

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

1 connections
Analyzing Partition Testing Strategies ← uses 100% 1e
The paper analyzes partition testing strategies.

CITATIONS

5 sources
5 citations — click to expand
[1] Partition Testing divides the input domain of a system under test into sub-domains (partitions) under the assumption that inputs in the same sub-domain trigger similar behavior, making a representative selection sufficient. Automated Tool Support for Category-Partition Testing: Design Decisions, UI and Examples of Use
[2] Weyuker & Jeng published 'Analyzing Partition Testing Strategies' in IEEE Transactions on Software Engineering, vol. 17, no. 7, July 1991, which is cited by processor-verification research applying partition testing. A methodology for processor implementation verification | Springer Nature Link
[3] Weyuker & Ostrand published 'Theories of Program Testing and the Application of Revealing Subdomains' in IEEE TSE vol. 6 no. 3, May 1980, establishing the revealing-subdomains theory underlying partition testing. A methodology for processor implementation verification | Springer Nature Link
[4] LISP (2024) applies LLM-based input space partitioning testing to library APIs; on 2,205 methods across 10 Java libraries it achieved 67.82% average branch coverage (1.21x EvoSuite), triggered 404 exceptions/errors, and discovered 13 previously unknown vulnerabilities assigned CVE IDs. LLM Based Input Space Partitioning Testing for Library APIs
[5] Category-Partition testing proceeds by identifying parameters and environment variables, defining categories and choices (possibly constrained), building test frames as combinations of choices, and selecting concrete input values to produce test cases; a 2026 tool automates these steps with GUI support and type-specific operations (Boolean, Integer, Real, String), illustrated via nine case studies. Automated Tool Support for Category-Partition Testing: Design Decisions, UI and Examples of Use