Anatoly Krasnovsky · 2026 · arXiv (Cornell University)
DOI: 10.48550/arxiv.2610.31444 · cited by 0 works (OpenAlex) · open-access PDF
Procrustes-Bering-Sheaft автоматизирует обнаружение легких моделей и виртуальные краш-тесты для микросервисов. Каждое испытание оценивает доступность операций с помощью выборки сервисов и коммуникационных сбоев в Монте-Карло. Procrustes проверяет развертывание и отслеживание доказательств; Bering обнаруживает зависимости и включает декларации реплики; Sheaft оценивает заявленные условия успеха операции. Независимые интерфейсы командной строки обмениваются повторным использованием, версионными артефактами. Цепочка инструментов расширяет более ранний графический подход с обязательными контрактами по вызову, проверками на толерантность к неудачам, сравнением базовой линии, анализом важности компонентов и портами CI/CD
Machine translation (Meta M2M100); the English original follows.
Procrustes-Bering-Sheaft automates lightweight model discovery and virtual crash tests for microservices. Each test estimates operation availability by Monte Carlo sampling of service and communication failures. Procrustes checks deployment and tracing evidence; Bering discovers dependencies and incorporates replica declarations; Sheaft evaluates declared operation-success conditions. Independent command-line interfaces exchange reusable, versioned artifacts. The toolchain extends an earlier graph-based approach with mandatory-call contracts, failure-tolerance sweeps, baseline comparison, component-importance analysis, and CI/CD gates. We demonstrate the workflow on one HTTP operation. Six controlled execution states exposed two mismatches between reachability and observed success; an explicit required-call predicate matched all six. Two modelled one-replica additions produced different decisions: recommendation retained an availability-target violation, whereas catalog restored the baseline estimate of 0.979900 and grid tolerance of 0.12. Analytical oracles and controlled tests verify the implementation; archived replay checks numerical continuity with two earlier studies.
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
Topics: Computer science, Microservices, Reachability, Toolchain, Workflow, Replica
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.31444, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange