Pict Test Designer

PICT Test Designer

This skill enables systematic test case design using PICT (Pairwise Independent Combinatorial Testing). Given requirements or code, it analyzes the system to identify test parameters, generates a PICT model with appropriate constraints, executes the model to generate pairwise test cases, and formats the results with expected outputs.

When to Use This Skill

Use this skill when:

• Designing test cases for a feature, function, or system with multiple input parameters
• Creating test suites for configurations with many combinations
• Needing comprehensive coverage with minimal test cases
• Analyzing requirements to identify test scenarios
• Working with code that has multiple conditional paths
• Building test matrices for API endpoints, web forms, or system configurations

Workflow

Follow this process for test design:

1. Analyze Requirements or Code

From the user's requirements or code, identify:

• Parameters: Input variables, configuration options, environmental factors
• Values: Possible values for each parameter (using equivalence partitioning)
• Constraints: Business rules, technical limitations, dependencies between parameters
• Expected Outcomes: What should happen for different combinations

Example Analysis:

For a login function with requirements:

• Users can login with username/password
• Supports 2FA (on/off)
• Remembers login on trusted devices
• Rate limits after 3 failed attempts

Identified parameters:

• Credentials: Valid, Invalid
• TwoFactorAuth: Enabled, Disabled
• RememberMe: Checked, Unchecked
• PreviousFailures: 0, 1, 2, 3, 4

2. Generate PICT Model

Create a PICT model with:

• Clear parameter names
• Well-defined value sets (using equivalence partitioning and boundary values)
• Constraints for invalid combinations
• Comments explaining business rules

Model Structure:

# Parameter definitions
ParameterName: Value1, Value2, Value3

# Constraints (if any)
IF [Parameter1] = "Value" THEN [Parameter2] <> "OtherValue";

Refer to references/pict_syntax.md for:

• Complete syntax reference
• Constraint grammar and operators
• Advanced features (sub-models, aliasing, negative testing)
• Command-line options
• Detailed constraint patterns

Refer to references/examples.md for:

• Complete real-world examples by domain
• Software function testing examples
• Web application, API, and mobile testing examples
• Database and configuration testing patterns
• Common patterns for authentication, resource access, error handling

3. Execute PICT Model

Generate the PICT model text and format it for the user. You can use Python code directly to work with the model:

# Define parameters and constraints
parameters = {
    "OS": ["Windows", "Linux", "MacOS"],
    "Browser": ["Chrome", "Firefox", "Safari"],
    "Memory": ["4GB", "8GB", "16GB"]
}

constraints = [
    'IF [OS] = "MacOS" THEN [Browser] IN {Safari, Chrome}',
    'IF [Memory] = "4GB" THEN [OS] <> "MacOS"'
]

# Generate model text
model_lines = []
for param_name, values in parameters.items():
    values_str = ", ".join(values)
    model_lines.append(f"{param_name}: {values_str}")

if constraints:
    model_lines.append("")
    for constraint in constraints:
        if not constraint.endswith(';'):
            constraint += ';'
        model_lines.append(constraint)

model_text = "\n".join(model_lines)
print(model_text)

Using the helper script (optional): The scripts/pict_helper.py script provides utilities for model generation and output formatting:

# Generate model from JSON config
python scripts/pict_helper.py generate config.json

# Format PICT tool output as markdown table
python scripts/pict_helper.py format output.txt

# Parse PICT output to JSON
python scripts/pict_helper.py parse output.txt

To generate actual test cases, the user can:

1. Save the PICT model to a file (e.g., model.txt)
2. Use online PICT tools like:
   • https://pairwise.yuuniworks.com/
   • https://pairwise.teremokgames.com/
3. Or install PICT locally (see references/pict_syntax.md)

4. Determine Expected Outputs

For each generated test case, determine the expected outcome based on:

• Business requirements
• Code logic
• Valid/invalid combinations

Create a list of expected outputs corresponding to each test case.

5. Format Complete Test Suite

Provide the user with:

1. PICT Model - The complete model with parameters and constraints
2. Markdown Table - Test cases in table format with test numbers
3. Expected Outputs - Expected result for each test case

Output Format

Present results in this structure:

## PICT Model

```
# Parameters
Parameter1: Value1, Value2, Value3
Parameter2: ValueA, ValueB

# Constraints
IF [Parameter1] = "Value1" THEN [Parameter2] = "ValueA";
```

## Generated Test Cases

| Test # | Parameter1 | Parameter2 | Expected Output |
| --- | --- | --- | --- |
| 1 | Value1 | ValueA | Success |
| 2 | Value2 | ValueB | Success |
| 3 | Value1 | ValueB | Error: Invalid combination |
...

## Test Case Summary

- Total test cases: N
- Coverage: Pairwise (all 2-way combinations)
- Constraints applied: N

Best Practices

Parameter Identification

Good:

• Use descriptive names: AuthMethod, UserRole, PaymentType
• Apply equivalence partitioning: FileSize: Small, Medium, Large instead of FileSize: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
• Include boundary values: Age: 0, 17, 18, 65, 66
• Add negative values for error testing: Amount: ~-1, 0, 100, ~999999

Avoid:

• Generic names: Param1, Value1, V1
• Too many values without partitioning
• Missing edge cases

Constraint Writing

Good:

• Document rationale: # Safari only available on MacOS
• Start simple, add incrementally
• Test constraints work as expected

Avoid:

• Over-constraining (eliminates too many valid combinations)
• Under-constraining (generates invalid test cases)
• Complex nested logic without clear documentation