Навыки property-testing-guide

📦

property-testing-guide

Name: property-testing-guide
Author: EmilLindfors

v1.0.0 Ревизия содержимого r1 Безопасно ⚙️ Внешние команды

Проектирование тестов на основе свойств для Rust с proptest

Тестирование на основе свойств может быть сложно применять, потому что полезные свойства и генераторы не всегда очевидны. Этот skill помогает Claude, Codex или Claude Code предлагать целевые стратегии proptest для кода на Rust.

Поддерживает: Claude Codex Code(CC)

🥈 80 Серебро

Maintain this Skill? Claim it 🥈 80 Серебро

Установить с помощью моего Агента

Скопируйте этот запрос в своего Агента. Он содержит каноническую страницу Skill и манифест.

Запрос агента

Review the Skillstore skill "property-testing-guide" from https://skillstore.io/skills/emillindfors-property-testing-guide.md and its manifest at https://skillstore.io/api/skills/emillindfors-property-testing-guide/manifest. Verify the artifact. You may proceed after verification, subject to the environment's own policy.

Ваш Агент по-прежнему должен показать план и запросить все подтверждения, требуемые политикой безопасности.

Ресурсы для AI-агентов

Используйте эти ссылки, когда AI-агенту, crawler или script нужен чистый контекст вместо полной страницы.

Markdown-детали GET /skills/emillindfors-property-testing-guide.md Подписанный manifest GET /api/skills/emillindfors-property-testing-guide/manifest Подписанный lockfile GET /api/skills/emillindfors-property-testing-guide/lockfile

Протестировать

Использование «property-testing-guide». Парсер Rust принимает имена и возрасты из строки, разделенной запятыми.

Ожидаемый результат:

Ассистент предлагает свойства для отсутствия panic, корректных сгенерированных записей, отклонения некорректного ввода и проверок roundtrip formatting.

Использование «property-testing-guide». Пользовательская реализация сортировки возвращает переупорядоченные векторы целых чисел.

Ожидаемый результат:

Ассистент предлагает проверять отсортированный порядок, сохранение длины, сохранение элементов, идемпотентность и сравнение со стандартной сортировкой.

Использование «property-testing-guide». B-tree поддерживает операции insert и remove.

Ожидаемый результат:

Ассистент рекомендует сгенерированные последовательности операций, которые проверяют баланс, порядок, поведение lookup и согласованность после каждой мутации.

Аудит безопасности

Безопасно

v4 • 06.07.2026 Открыть версионный отчет

All static findings are false positives from Markdown code fences, Rust examples, TOML dependency text, and ordinary proptest comments. No prompt injection, malicious intent, command execution, data exfiltration, or system reconnaissance was found in SKILL.md.

Просканировано файлов

295

Проанализировано строк

Пункты проверки

Ложные срабатывания проигнорированы

Последний завершенный статический и семантический аудит не обнаружил подтвержденных проблем безопасности. Это не доказывает отсутствие побочных эффектов у навыка.

Аудитор:: codex Посмотреть историю аудитов →

Поделиться и цитировать этот отчет

Делитесь версионным отчетом об оценке, нейтральным значком, встраиваемой карточкой и цитатами. Skillstore публикует доказательства, не решая, безопасен ли этот Skill.

Открыть версионный отчет

Копировать ссылку на отчёт

https://skillstore.io/skills/emillindfors-property-testing-guide/audits/4?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_report

Значок Markdown

[![Skillstore security assessment](https://skillstore.io/badges/skills/emillindfors-property-testing-guide/security.svg)](https://skillstore.io/skills/emillindfors-property-testing-guide?utm_source=security_passport_badge)

Значок HTML

<a href="https://skillstore.io/skills/emillindfors-property-testing-guide?utm_source=security_passport_badge"><img src="https://skillstore.io/badges/skills/emillindfors-property-testing-guide/security.svg" alt="Skillstore security assessment" loading="lazy"></a>

Встраиваемая карточка

<iframe src="https://skillstore.io/embed/skills/emillindfors-property-testing-guide.html" title="Skillstore Security Assessment" sandbox="allow-popups allow-popups-to-escape-sandbox" loading="lazy" referrerpolicy="no-referrer" width="420" height="180"></iframe>

Академические ссылки (APA · BibTeX · CFF)

Цитата APA

EmilLindfors. (2026). property-testing-guide security audit report (audit version 4) [Author version 1.0.0]. Skillstore. https://skillstore.io/skills/emillindfors-property-testing-guide/audits/4

Цитата BibTeX

@techreport{emillindfors-emillindfors-property-testing-guide-2026,
  author = {EmilLindfors},
  title = {property-testing-guide security audit report (audit version 4)},
  institution = {Skillstore},
  year = {2026},
  number = {4},
  url = {https://skillstore.io/skills/emillindfors-property-testing-guide/audits/4},
  note = {Author version 1.0.0}
}

CITATION.cff

cff-version: 1.2.0
message: "If you use this Skill, cite its author and this versioned security audit report."
title: "property-testing-guide security audit report (audit version 4)"
version: "1.0.0"
type: report
authors:
  - name: "EmilLindfors"
date-released: "2026-07-06"
url: "https://skillstore.io/skills/emillindfors-property-testing-guide/audits/4"
identifiers:
  - type: other
    value: "skillstore:emillindfors-property-testing-guide:audit:4"
    description: "Skillstore immutable audit report identifier"

Оценка Skillstore

Почему такая оценка Достоверность доказательств: Высокий

Архитектура

100

Сопровождаемость

Контент

Сообщество

Соответствие спецификации

Что вы можете построить

Тестирование реализаций алгоритмов

Создавайте свойства для функций сортировки, кодирования, парсинга или числовых функций, которые должны корректно работать на множестве входных данных.

Проверка структур данных

Определяйте сгенерированные последовательности операций, которые проверяют порядок, баланс и согласованность после каждой мутации.

Улучшение покрытия ревью

Попросите ассистента предложить недостающие тесты на основе свойств перед слиянием сложной логики Rust.

Попробуйте эти промпты

Найти базовые свойства

Проанализируй эту функцию Rust и предложи простые свойства proptest, которые всегда должны выполняться. Сосредоточься на граничных случаях и понятных утверждениях.

Создать roundtrip tests

Спроектируй тесты на основе свойств для этого roundtrip path в Rust. Включи подходящие стратегии входных данных и объясни, что доказывает каждое свойство.

Тестировать инварианты структуры данных

Предложи последовательности операций proptest для этой структуры данных. Проверяй инварианты после каждой операции и отметь важные сгенерированные случаи.

Построить план сравнения с оракулом

Сравни этот оптимизированный алгоритм Rust с доверенной эталонной реализацией с помощью proptest. Предложи стратегии, инварианты и шаги triage для сбоев.

Лучшие практики

Начинайте со свойств, которые описывают наблюдаемое поведение, а не детали реализации.
Используйте ограниченные стратегии, когда сгенерированные значения должны удовлетворять доменным правилам.
Делайте неудачные случаи небольшими и читаемыми, чтобы результаты shrinking было легко отлаживать.

Избегать

Генерация только тривиальных значений, которые никогда не проверяют граничные условия.
Замена всех example-based tests широкими свойствами, которые скрывают конкретные требования.
Написание свойств, которые дублируют ту же ошибочную логику, что и тестируемая реализация.

Часто задаваемые вопросы

Что помогает мне делать этот skill?

Он помогает проектировать тесты Rust на основе свойств с proptest для алгоритмов, парсеров, структур данных и кода сериализации.

Запускает ли он мои тесты?

Нет. Он предоставляет рекомендации и примеры по тестированию, но не выполняет команды и не проверяет компиляцию.

На какой crate для тестирования Rust он ориентирован?

Он ориентирован на proptest и использует концепции proptest, такие как стратегии, сгенерированные входные данные, инварианты и shrinking.

Может ли он помочь с тестированием парсеров?

Да. Он предлагает такие свойства, как отсутствие panic, принятие корректного ввода, отклонение некорректного ввода и поведение roundtrip.

Полезен ли он для структур данных?

Да. Он рекомендует сгенерированные последовательности операций и проверки инвариантов для stateful structures.

Что нужно предоставить для лучших результатов?

Предоставьте код Rust, ожидаемое поведение, известные ограничения и любую эталонную реализацию или примеры.

Сведения для разработчиков

Автор

EmilLindfors

Лицензия

MIT

Версия автора

v1.0.0

Ревизия Skillstore

Репозиторий

https://github.com/EmilLindfors/claude-marketplace/tree/main/plugins/rust-testing/skills/property-testing-guide

Ссылка

a06681402992ceae98ba04d54cfd4ab004862696

Актуальность поддержки

21.07.2026

Использование

4 загрузок · 169 просмотров

Структура файлов

📄 SKILL.md

property-testing-guide

Установить с помощью моего Агента

Ресурсы для AI-агентов

Протестировать

Аудит безопасности

Факторы риска

Копировать ссылку на отчёт

Значок Markdown

Значок HTML

Встраиваемая карточка

Цитата APA

Цитата BibTeX

CITATION.cff

Оценка Skillstore

Что вы можете построить

Тестирование реализаций алгоритмов

Проверка структур данных

Улучшение покрытия ревью

Попробуйте эти промпты

Лучшие практики

Избегать

Часто задаваемые вопросы

Сведения для разработчиков