This HTML5 document contains 13 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://hu.dbpedia.org/resource/Sablon:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n7http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Típusállapot-analízis
rdfs:label
Típusállapot-analízis
dct:subject
n7:Programozási_alapfogalmak
dbo:wikiPageID
1767271
dbo:wikiPageRevisionID
23797565
prop-hu:wikiPageUsesTemplate
n5:Fordítás n5:Jegyzetek n5:Reflist
dbo:abstract
A típusállapot-analízis (protokollanalízis) a egyik formája, amelyet a programozási nyelvekben (leggyakrabban objektumorientált) alkalmaznak. Típusállapotok használatával egy olyan műveletsorozatot határozunk meg, amelyeket egy adott típusú példányon végre lehet hajtani. A típusállapotok, amint a neve is mutatja, az állapotinformációkat az ilyen típusú változókhoz társítják. Ez az állapotinformáció arra szolgál, hogy fordításkor meghatározza, mely műveleteket lehet érvényesíteni egy adott példányra. Egy objektumon az általában futás közben végrehajtandó utasításokat, a típus állapotinformációin hajtják végre, módosítva azt, hogy kompatibilis legyen az objektum új állapotával. A típusállapotok képesek viselkedési típusú finomítások reprezentálására, mint például: „Az 'A' metódust mindenképp 'B' előtt kell meghívni és a kettő között nem hívható meg 'C'!” A típusállapotok jól alkalmazhatók a nyílt/zárt szemantikát használó erőforrások ábrázolására olyan szemantikailag érvényes szekvenciák kikényszerítésével, mint a "nyitás, majd bezárás", szemben az érvénytelen szekvenciákkal, például egy fájl nyitott állapotban hagyásával. Az ilyen erőforrások magukban foglalják a fájlrendszer elemeit, a tranzakciókat, a kapcsolatokat és a protokollokat. Például a fejlesztők megadhatják, hogy a fájlokat vagy 'socketeket' meg kell nyitni, mielőtt elolvassák vagy írnák őket, és hogy azokat már nem lehet olvasni vagy írni a bezárásukat követően. A "typestate" név abból ered, hogy ez a fajta elemzés gyakran modellezi az egyes objektumtípusokat. Ebben az állapotgépben minden állapotnak van egy jól definiált megengedett módszere/üzenete, és a metódushívások állapotátmeneteket okozhatnak. alkalmazható lehetséges viselkedési modellként Petri-hálókat is javasoltak. A típusállapot-analízist Rob Strom mutatta be 1983-ban az kifejlesztett Network Implementation Language (NIL) nyelven. Strom és Yemini formalizálta egy 1986-os cikkben amely leírta, hogyan kell használni a típusállapotot a változók inicializálásának mértékének nyomon követésére, garantálva, hogy a műveleteket soha ne alkalmazzák a nem megfelelően inicializált adatokra, és tovább általánosították a programozási nyelvén. Az elmúlt években különféle tanulmányok dolgozták ki a típusállapot-koncepció objektumorientált nyelvekre történő alkalmazásának módjait.
prov:wasDerivedFrom
wikipedia-hu:Típusállapot-analízis?oldid=23797565&ns=0
dbo:wikiPageLength
14694
foaf:isPrimaryTopicOf
wikipedia-hu:Típusállapot-analízis
Subject Item
dbpedia-hu:Típusállapot_analízis
dbo:wikiPageRedirects
dbpedia-hu:Típusállapot-analízis
Subject Item
wikipedia-hu:Típusállapot-analízis
foaf:primaryTopic
dbpedia-hu:Típusállapot-analízis