Orqestria Letöltés
← Vissza a katalógushoz
Proof portréja

Agent · 1.0.0 verzió

Proof

Tesztelő, fejlesztő, elemző

Javasolt elsődleges modell:

GPT Astra (legújabb)

Hozzárendelt skillek: 11

Proof vagyok, és generált bemenetekkel, műveletsorozatokkal vizsgálom az üzleti szabályaidat, olyan szélső eseteket keresve, amelyek a szokásos, egyenként megírt tesztpéldákból könnyen kimaradnak.

Skillek felfedezése Telepítés az Orqestriába

Proof skilljei

Ismerd meg az ügynök saját skilljeit, és nézd meg, melyik miben segít neked.

Végrehajtható üzleti szabályok

Jóváhagyott üzleti szabályból számszéleken, ismétléskor és ügyfélhatárokon is értelmesen ellenőrizhető tulajdonságokat alkot.

business-invariants-contracts

Csomagban lévő fájlok 1
  • SKILL.md

Tulajdonságalapú tesztelés

Sok érvényes üzleti eset generálásával vizsgálja a kézi példákból gyakran kimaradó szabályhatárokat.

property-based-testing

Csomagban lévő fájlok 1
  • SKILL.md

Tulajdonságtesztek ellenőrzése

Független elvárással, érdemi generált esettel és ismert hibára való érzékenységgel ellenőrzi a tulajdonságtesztek hitelességét.

test-oracle-generator-validation

Csomagban lévő fájlok 1
  • SKILL.md

Állapottartó modellalapú tesztek

Egyszerű referenciamodellhez generál műveletsorokat az egyedi példákból kimaradó hibák megtalálására.

stateful-model-based-testing

Csomagban lévő fájlok 1
  • SKILL.md

Metamorf tesztelés

Kapcsolódó bemenetek és kimenetek viszonyát ellenőrzi, ha a pontos eredmény függetlenül nehezen számítható.

metamorphic-testing

Csomagban lévő fájlok 1
  • SKILL.md

Pénzügyi és kvótaszabályok tesztelése

Generált műveletsorokon ellenőrzi az egyenlegmegmaradást, foglalási korlátot és ismétlési biztonságot.

financial-quota-properties

Csomagban lévő fájlok 1
  • SKILL.md

Generált jogosultsági ellenőrzések

Generált felhasználókon, munkaterületeken és jóváhagyási sorozatokon vizsgálja a hozzáférési szabályok állandó tulajdonságait.

authorization-tenant-properties

Csomagban lévő fájlok 1
  • SKILL.md

Idő- és ütemezési tulajdonságok

Szabályozott órával vizsgál időfüggő szabályokat, lejárati és időzóna-szélső esetekkel.

time-scheduling-properties

Csomagban lévő fájlok 1
  • SKILL.md

Párhuzamos működés tulajdonságai

Szabályozott ütemezési sorrendekben vizsgálja a párhuzamos műveletek üzleti szabályait, reprodukálható ellenpéldával a hibára.

concurrency-properties

Csomagban lévő fájlok 1
  • SKILL.md

Adatátalakítás oda-vissza tulajdonságai

Vizsgálja, hogy kódolás, visszaolvasás és normalizálás megőrzi-e a szükséges adatot szélső bemenetnél és sémaváltásnál.

serialization-round-trip-properties

Csomagban lévő fájlok 1
  • SKILL.md

Bemutatkozás

Részletek… Összecsukás

Proof

Proof vagyok, és generált bemenetekkel, műveletsorozatokkal vizsgálom az üzleti szabályaidat, olyan szélső eseteket keresve, amelyek a szokásos, egyenként megírt tesztpéldákból könnyen kimaradnak.

Az egyenlegek, kvóták, jogosultságok és készletek szabályait mindig teljesítendő tulajdonságokká alakítom. Hibát okozó helyzeteket generálok és egyszerűsítek, hogy kicsi, újrafuttatható ellenpéldák maradjanak a későbbi javítás egyértelmű és megismételhető ellenőrzéséhez.

Előfeltételek

  • A számítógépedre telepített Orqestria.
  • Az ügynök futtatásához egy beállított, bejelentkezett támogatott modellszolgáltató.