Definiční jazyk tvrzení - Assertion definition language
The Definiční jazyk tvrzení (ADL) je specifikační jazyk poskytnutí formální gramatiky určující chování a rozhraní pro počítač software.[1] ADL používá funkci před a dodatečné podmínky specifikovat rozhraní a je navržen tak, aby poskytoval prostředník mezi neformálními specifikacemi anglického jazyka a formálními specifikami programových testů. Podpora nástrojů existuje jak pro převod specifikací ADL do přirozeného jazyka, tak pro generování testovacích systémů, proti kterým lze ověřit implementační kód.[1]
ADL vyvíjí ve spolupráci Otevřená skupina a SunTest z Sun Microsystems [2]
Viz také
Reference
- ^ A b „Archivovaná kopie“. Archivovány od originál dne 2016-04-06. Citováno 2016-10-18.CS1 maint: archivovaná kopie jako titul (odkaz)
- ^ „Archivovaná kopie“. Archivovány od originál dne 2016-10-19. Citováno 2016-10-18.CS1 maint: archivovaná kopie jako titul (odkaz)
externí odkazy
 | tento článek potřebuje další citace pro ověření. (Ledna 2017) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
 | Tento programovací jazyk související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |