Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
the software testing method
Vertaling van "the software testing method" in Duits
Software-Prüfverfahren
The software testing method of any of the preceding claims wherein the verification tool is a model checker tool.
Software-Prüfverfahren nach einem der vorhergehenden Ansprüche, wobei das Verifizierungswerkzeug ein Modellprüferwerkzeug ist.
The software testing method of claim 11 wherein the translation map is specified by the user.
Software-Prüfverfahren nach Anspruch 11, wobei die Übersetzungsabbildung von dem Benutzer spezifiziert wird.
The software testing method of any of the preceding claims wherein the environmental model includes a plurality of operational attributes of the event driven system.
Software-Prüfverfahren nach einem der vorhergehenden Ansprüche, wobeidas Umgebungsmodell eine Vielzahl von Betriebsattributen des ereignisgesteuerten Systems enthält.
The software testing method of any of the preceding claims including the step of displaying a result of the testing of the software.
Software-Prüfverfahren nach einem der vorhergehenden Ansprüche mit dem Schritt des Anzeigens eines Ergebnisses der Prüfung der Software.
The software testing method of claim 14 wherein the displayed result includes at least one full automaton representation of the event driven system.
Software-Prüfverfahren nach Anspruch 14, wobei das angezeigte Ergebnis mindestens eine volle Automatendarstellung des ereignisgesteuerten Systems enthält.
The software testing method of any of the preceding claims wherein the step of testing uses at least one set of properties defined by a user associated with the execution of the event driven system.
Software-Prüfverfahren nach einem der vorhergehenden Ansprüche, wobei der Schritt des Prüfens mindestens eine Menge von Eigenschaften enthält, die von einem Benutzer definiert werden, der der Ausführung des ereignisgesteuerten Systems zugeordnet ist.
The software testing method of any of the preceding claims wherein the event driven system is a telecommunications service application, the telecommunications service application having at least one event associated with extending a telephone call through a communications network.
Software-Prüfverfahren nach einem der vorhergehenden Ansprüche, wobei das ereignisgesteuerte System eine Telekommunikationsdienstanwendung ist, wobei die Telekommunikationsdienstanwendung mindestens ein Ereignis aufweist, das dem Weiterleiten einer Fernsprechverbindung durch ein Kommunikationsnetz zugeordnet ist.
The software testing method of claim 12 wherein the translation map, the environmental model, and the series of programming statements are each written in the C programming language.
Software-Prüfverfahren nach Anspruch 11, wobei die Übersetzungsabbildung, das Umgebungsmodell und die Reihe von Programmierbefehlen jeweils in der Programmiersprache C geschrieben sind.
The software testing method of any of the preceding claims further comprising: compiling the first source code segment and the second source code segment into an object program; and executing the object program to provide the event driven system.
Software-Prüfverfahren nach einem der vorhergehenden Ansprüche, weiterhin mit den folgenden Schritten: Kompilieren des ersten Quellcodesegments und des zweiten Quellcodesegments zu einem Objektprogramm; und Ausführen des Objektprogramms, um das ereignisgesteuerte System bereitzustellen.
The software testing method of any of the preceding claims wherein the state machine format is converted using a specification defined by a user.
Software-Prüfverfahren nach einem der vorhergehenden Ansprüche, wobei das Automatenformat mit einer von einem Benutzer definierten Spezifikation umgesetzt wird.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 10. Exact: 10. Verstreken tijd: 74 ms.
