PyModel

PyModel yra atviro kodo modelio pagrindu testavimo sistema Python.
Be vieneto bandymai, programuotojas kodai bandymų atvejus, ir taip pat kodai teiginiai, kad patikrinti, ar kiekviena bandymo atveju praėjo. Be modelio pagrindu tikrinti, programuotojas kodai "modelis", kuris generuoja daug bandymų atvejus, kaip tikėtasi, o taip pat veikia kaip orakulas, kad tikrina bylas.
Modelis pagrįstas testavimas rekomenduojama, kur tiek daug bandymų atvejus, reikia, kad tai nėra įmanoma kodą juos visus ranka. Šis poreikis kyla bandant elgesį, eksponuoti istorija priklausomybę ir nondeterminism, kad daug variantų (duomenų reikšmes, interleavings ir tt) turi būti išbandyta pagal kiekvieną scenarijų (arba naudoti bylą). Pavyzdžiai apima komunikacijos protokolus, interneto programų, kontrolės sistemas ir vartotojo sąsajas.
PyModel palaiko on-the-fly bandymai, kurie gali generuoti neribotą laiką ilgus nonrepeating bandymus bandymo paleisti vykdo. PyModel gali sutelkti tyrimo bylas scenarijų susidomėjimą sudėtį, universalus technika, kuri sujungia modelius sinchronizuoti bendrus veiksmus ir interleaving neskirstomosios veiksmus. PyModel gali padėti bandymo aprėptį pagal programuojamų strategijas koduotų programuotojas.
PyModel numato tris programas:
- Pma.py pymodel analizatorius: generuoja baigtinių valstybės aparatas (FMV), ir apskaičiuoja savybes tyrinėti modelio programą, FMV, bandymo komplekto arba šių produktų.
- Pmg.py pymodel grafika: generuoja grafikos komandas failą iš FMV.
- Pmt.py pymodel testeris: rodo pėdsakai, generuoja bandymus offline vykdo autonominius bandymus arba generuoja ir vykdo tyrimus, on-the-fly.
Naudokite PMA ir PMG vizualizuoti ir peržiūrėti PMT elgesį. Kiekvienas per diagramoje sukūrė PMA (ir nubrėžtos PMG) kelias yra pėdsakų (bandymas paleisti), kurios gali būti sukurtos PMT, kai PMA ir PMT yra remiamasi su tais pačiais argumentais.
PyModel įtakoja NModel, tačiau tai nėra vertimas arba pakartotinai įgyvendinimas

Reikalavimai .

• Python,