Jtlv Een nieuw tool gericht op het faciliteren en bieden van een verenigd kader voor ontwikkeling
Download nu

Jtlv Rangschikking & Samenvatting

Jtlv Tags

ontwikkeling ontwikkelen algoritme Algoritme ontwikkelen Algoritme-ontwikkeling Construct Design Module

Jtlv Beschrijving

Een nieuw tool gericht op het faciliteren en bieden van een uniform kader voor ontwikkeling JTLV biedt een Pure Java-gebruiker API, terwijl de exponentiële complexiteit die is afgeleid van het gebruik van BDD's, daadwerkelijk in C wordt geïmplementeerd en toegankelijk is via een JNI naar de C-bibliotheken (alle onderliggende BDD-implementatie zijn onzichtbaar voor de gebruiker) .In om te introduceren en implementeer zelfs het eenvoudigste nieuwe formele algoritme, de ontwikkelaar moet volledig op de hoogte zijn van het hele systeem dat zij van hij haar of zijn algoritme uitvoert. Alsof dat niet genoeg was, van de aard van het formele veld, worden de meeste systemen geïmplementeerd op een zeer laag niveau C-code. Dit is aangezien de complexiteit van dergelijke algoritmen in exponentieel om te beginnen. JTLV is een nieuw instrument dat gericht is op het faciliteren en een uniform kader te bieden voor het ontwikkelen van formele verificatie-algoritmen in een hoogwaardige programmeeromgeving. Er zijn veel BDD-bibliotheken om uit te kiezen, en de BDD-pakket gebruikt, kan worden ingesteld tijdens voorafgaande, of dynamisch tijdens runtime. De hele BDD-interface is allemaal dankzij het Javabdd-project. De gekozen BDD-bibliotheek blijft JTLV de ontwerpmodules voortzetten. Momenteel kunnen de ontwerpmodules worden opgegeven met behulp van SMV- of FDS-indelingen (FDS is een eenvoudiger formaat voor het opgeven van eindige staatsmachines, die de eerste is geïmplementeerd om de haalbaarheid van dit project te bewijzen). Beide parsers waren geschreven met ANTLRR V3. De SMV-parser is ook verbonden met de editor, waarmee deze de leuke faciliteiten kan gebruiken die Eclipse kan bieden (nog steeds nog veel meer te vinden in dit gebied). Van de andere kant kunnen algoritme-ontwerpers specificatiebestand (SPC) laden. JTLV ondersteunt bijna alle bekende tijdelijke specificatie-indeling. De SPC PARDER is ook verbonden met Eclipse als redacteur, wederom het de leuke faciliteiten die Eclipse kan bieden. Vereisten: · Java

Jtlv Gerelateerde software