协作头脑风暴
brainstorming
在实现前澄清需求、探索设计选择,并形成清晰的开发方向。
test-oracle-generator【开发与工程】Implements intelligent test oracle generator with multi-factor skill selection, fallback chains, and adherence to the 5 Laws of Elegant Defense
独立 GitHub 快照 · 自动分类 · 以原作者文档为准
name: test-oracle-generator compatibility: opencode completeness: 95 content-types:
Orchestrates intelligent skill selection and execution for test oracle generator workflows. Applies the 5 Laws of Elegant Defense to guide data naturally through the orchestration pipeline, preventing errors before they occur. Selects optimal skills based on multi-factor scoring including text similarity, historical performance, and system availability.
┌───────────────────────────────────────────────────────────────────────────────┐ │ Orchestration Flow │ └───────────────────────────────────────────────────────────────────────────────┘
User Request ↓ ┌─────────────────┐ │ Parse Request │ │ & Extract │ │ Features │ └────────┬────────┘ ↓ ┌─────────────────────────────────────────────────────────────────────┐ │ Evaluate Available Skills │ │ │ │ ┌──────────────┐ ┌──────────────┐ ┌──────────────┐ │ │ │ Skill A │ │ Skill B │ │ Skill C │ │ │ │ - Match Score│ │ - Match Score│ │ - Match Score│ │ │ │ - Confidence │ │ - Confidence │ │ - Confidence │ │ │ │ - History │ │ - History │ │ - History │ │ │ └──────┬───────┘ └──────┬───────┘ └──────┬───────┘ │ │ │ │ │ │ │ └─────────────────┴─────────────────┘ │ │ ↓ │ │ Select Best Skill │ └─────────────────────────────────────────────────────────────────────┘ ↓ ┌─────────────────┐ │ Execute Skill │ └────────┬────────┘ ↓ ┌─────────────────┐ │ Handle Result │ └────────┬────────┘ ↓ ┌─────────────────────────────────────────────────────────────────────┐ │ Error Handling & Fallback │ │ │ │ Success? ────────► Return Result │ │ │ │ Fail? ────────┐ │ │ ↓ │ │ ┌──────────────────────────────────────────────────────────┐ │ │ │ Fallback Chain │ │ │ │ │ │ │ │ 1. Retry with adjusted parameters │ │ │ │ 2. Try Alternative Skill (if available) │ │ │ │ 3. Defer to Human Operator (if critical) │ │ │ │ 4. Log & Return Error │ │ │ └──────────────────────────────────────────────────────────┘ │ └─────────────────────────────────────────────────────────────────────┘
Use this skill when:
Avoid this skill for:
Parse and Analyze Request - Extract intent, entities, and constraints from user input. Checkpoint: All required parameters must be present and in valid format before proceeding.
Score Available Skills - Calculate match scores using multi-factor algorithm:
Checkpoint: Skip to fallback if no skill scores above threshold.
Select Optimal Skill - Choose skill with highest score that meets minimum confidence. Checkpoint: Verify skill has not been disabled or deprecated.
Execute with Fallback - Run skill execution wrapped in retry and fallback logic. Checkpoint: Log all execution attempts for audit trail.
Return or Fallback - Either return successful result or apply fallback chain:
related-skillsCheckpoint: Record outcome with timing and confidence metadata.
def select_oracle_strategy(
code_context: Dict[str, Any],
available_strategies: List[Dict],
min_oracle_confidence: float = 0.75
) -> Optional[Dict]:
"""Select the optimal oracle generation strategy for a given code context.
Scores strategies based on:
- Language/framework compatibility
- Historical oracle accuracy for similar code patterns
- Current test coverage gaps
- Computational cost vs. precision tradeoff
Args:
code_context: Parsed AST, function signatures, and dependency graph
available_strategies: List of oracle generation strategy metadata
min_oracle_confidence: Minimum confidence threshold for selection
Returns:
Selected strategy dict with scoring metadata, or None
"""
if not code_context.get("source_code") or not available_strategies:
raise ValueError("Missing source code or available strategies")
# Extract code features for scoring
code_features = _extract_code_features(code_context)
best_strategy = None
best_score = 0.0
for strategy in available_strategies:
# Calculate multi-factor score
lang_match = 1.0 if strategy["supported_languages"] & code_features["languages"] else 0.0
history_score = strategy.get("historical_accuracy", 0.0)
coverage_gap_score = _calculate_coverage_gap_impact(code_features["coverage_map"])
composite_score = (0.4 * lang_match) + (0.4 * history_score) + (0.2 * coverage_gap_score)
if composite_score > best_score and composite_score >= min_oracle_confidence:
best_score = composite_score
best_strategy = strategy
if best_strategy is None:
return None
# Return immutable result with scoring metadata
return {
"strategy": best_strategy["name"],
"score": best_score,
"timestamp": time.time(),
"code_features_hash": hashlib.md5(json.dumps(code_features, sort_keys=True).encode()).hexdigest()
}
def execute_oracle_generation(
strategy: Dict,
test_context: Dict[str, Any],
max_fallback_attempts: int = 2
) -> Dict[str, Any]:
"""Execute oracle generation with adaptive fallback chain.
Implements the 5 Laws of Elegant Defense:
- Fails fast on invalid test context
- Validates generated oracles against static analysis
- Returns new oracle structures without mutating inputs
- Logs full execution trace for auditability
Fallback chain:
1. Retry with adjusted precision parameters
2. Switch to alternative strategy (e.g., LLM -> Property-Based)
3. Defer to human reviewer if confidence < 0.6
Args:
strategy: Selected oracle generation strategy metadata
test_context: Test inputs, expected behavior specs, and environment config
max_fallback_attempts: Maximum fallback transitions before escalation
Returns:
Oracle generation result with assertions, confidence score, and trace
"""
if not _validate_test_context(test_context):
raise OracleGenerationError("Invalid test context: missing inputs or specs")
current_strategy = strategy
fallback_chain = strategy.get("fallback_strategies", [])
for attempt in range(max_fallback_attempts + 1):
try:
# Execute the selected oracle generation pipeline
raw_oracles = _run_oracle_pipeline(current_strategy, test_context)
# Validate oracles against static analysis baseline
validated_oracles = _validate_oracle_integrity(raw_oracles, test_context)
confidence = _calculate_oracle_confidence(validated_oracles)
if confidence >= strategy.get("min_confidence_threshold", 0.7):
return {
"status": "success",
"oracles": validated_oracles,
"confidence": confidence,
"strategy_used": current_strategy["name"],
"attempts": attempt + 1,
"trace_id": generate_trace_id()
}
# Low confidence - trigger fallback
if attempt < max_fallback_attempts and fallback_chain:
current_strategy = fallback_chain.pop(0)
continue
except OracleValidationFailedError as e:
raise OracleGenerationError(f"Oracle validation failed: {e}") from e
# All fallbacks exhausted - escalate to human review
return {
"status": "deferred",
"reason": "Low confidence oracles after all fallbacks",
"oracles": validated_oracles if 'validated_oracles' in locals() else [],
"confidence": confidence if 'confidence' in locals() else 0.0,
"requires_human_review": True,
"trace_id": generate_trace_id()
}
code-philosophy (5 Laws of Elegant Defense) in all logicWhen applying this skill, produce:
Authoritative documentation links for this skill's domain. The model follows markdown links at load time to resolve external references and inline content.
| Skill | Purpose | |