1 |
Développement d'un éditeur graphique pour les suites de tests de protocoles de communicationSoukeur, Abdelouahed January 1997 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
2 |
Automatic Test Generation Based on Formal Specifications / Practical Procedures for Efficient State Space Exploration and Improved Representation of Test Cases / Automatische Testgenerierung basierend auf formalen Spezifikationen / Praxisorientierte Verfahren für die effiziente Zustandsraumexploration und die verbesserte Repräsentation von TestfällenSchmitt, Michael 03 April 2003 (has links)
No description available.
|
3 |
Uma abordagem para validação de protocolos de comunicação em ambientes de simulaçãoDomingues, Marco Antonio de Oliveira January 2004 (has links)
Made available in DSpace on 2014-06-12T15:59:09Z (GMT). No. of bitstreams: 2
arquivo4916_1.pdf: 1434670 bytes, checksum: abaa8d06582fc44f7e90eb4168cc59c9 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2004 / Fundação de Amparo à Pesquisa do Estado do Amazonas / O uso de técnicas de simulação para implementar cenários de testes em protocolos de
comunicação tem crescido bastante nos últimos anos. Centros de pesquisas acadêmicos e industriais
têm dedicado especial interesse em simulação de ambientes com variados graus de complexidade,
sobretudo pelo baixo custo e pela rapidez com que os experimentos podem ser implementados,
corrigidos, aplicados e reproduzidos em comparação com um ambiente real de operação.
Apesar disso, as técnicas de simulação inerentemente envolvem alto nível de abstração
na modelagem e mapeamento dos cenários, o que pode comprometer a representatividade e
confiabilidade dos resultados obtidos.
O arcabouço de testes de conformidade proposto pela ITU-T/ISO através das
recomendações OSI-9646 tem sido amplamente utilizado pela indústria de telecomunicações na
certificação de seus produtos. Esse arcabouço abrange todas as fases do desenvolvimento dos testes
de conformidade, desde planejamento, derivação e implementação do conjunto de testes até a fase
de aplicação e análise dos resultados dos testes. O propósito fundamental dos testes de
conformidade é verificar se uma implementação se comporta de modo consistente em relação às
suas especificações, proporcionando dessa maneira um mecanismo para aumentar o grau de
interoperabilidade entre produtos certificados de fabricantes distintos.
Para a descrição dos testes, foi definida a linguagem TTCN – Testing and Test Control
Notation, cuja característica abstrata permite que um conjunto de testes possa ser integrado a diversas
implementações de um mesmo protocolo. Em sua terceira versão, essa linguagem também permite a
descrição e implementação de testes de performance e de robustez.
Este trabalho propõe adaptar o arcabouço de testes de conformidade como um método
de validação de protocolos de comunicação em ambientes de simulação, considerando os aspectos
relevantes da modelagem abstrata e permitindo o mapeamento de não-conformidade no cenário de
simulação antes da realização dos experimentos, dessa forma, possibilitando aumentar a
confiabilidade dos cenários utilizados em simulações de protocolos de comunicação
|
4 |
UML-based Test Specification for Communication Systems / - A Methodology for the use of MSC and IDL in Testing - / UML-basierte Testspezifikation für Kommunikationssysteme / - Eine Methodologie für die Verwendung von MSC und IDL für das Testen -Ebner, Michael 29 March 2004 (has links)
No description available.
|
5 |
Konzept und Umsetzung einer modularen, portierbaren Middleware für den automatisierten Test eingebetteter Systeme / Concept and Realization of a modular, portable Middleware for automated Test of Embedded SystemsTrenkel, Kristian 17 February 2016 (has links) (PDF)
Die Dissertationsschrift diskutiert die Machbarkeit einer modularen, portierbaren Middleware für die automatisierte Ausführung und Dokumentation von Software-Tests mit einer durchgehenden Nachverfolgbarkeit von der Anforderungsspezifikation bis hin zur Dokumentation der Testergebnisse. Es werden die Eigenschaften und Probleme bestehender Testautomatisierungslösungen analysiert und dargelegt. Unter Berücksichtigung dieser Probleme werden neuartige Lösungsansätze entwickelt. Die Neuheiten dieser Arbeit sind der modulare Aufbau der Middleware mit einer unproblematischen Portierbarkeit auf neue Testsysteme in Verbindung mit dem neu erarbeiteten Speicherformat für die Testergebnisse. Es wird die Möglichkeit aufgezeigt, Testfälle sowohl mit graphischer als auch textueller Eingabe zu bearbeiten. Neben den typischen Einsatzbereichen, wie zum Beispiel Hardware In The Loop-Tests (HIL), werden auch weitere Felder, vom Modul-Test bis zum Bandende-Test, abgedeckt. Das Speicherformat der Testergebnisse ermöglicht die Ablage aller wichtigen Informationen zu den Tests, ist flexibel erweiterbar und erlaubt die Generierung von Testreports in unterschiedlichen Zielformaten. Ein weiterer zentraler Punkt ist der automatisierte Austausch von Informationen und Testergebnissen mit verschiedenen Requirementsmanagement-Systemen sowie eine nahtlose Integration in vorhandene Versionsmanagement-Systeme. Basierend auf den theoretischen Ausarbeitungen wurde eine modulare, portierbare Middleware in Form des modularen aufgebauten Testautomatisierungs-Frameworks (modTF) umgesetzt. Anhand der dabei gesammelten Erfahrungen und der Ergebnisse der praktischen Erprobung werden die Vorteile des Frameworks gezeigt. / These PhD discusses the feasibility of a modular, portable middleware for automated execution and documentation of software tests with a continuous traceability from the requirements to the test results. The properties and the problems of existing test automation solutions are analyzed and presented. Based on the problems novel solutions are developed. The novelties of this PhD are the modular structure of the middleware with the easy portability to new test systems in cooperation with the novel storage format for the test results. The possibility for a graphical and textual description of the test cases is shown. Beside the typical applications like Hardware In The Loop tests (HIL) also applications from the module test to the line end test are include. The storage format for the results allows the storage of all needed information according to the test cases in one file. The format is flexible and extendable. The generation of test reports in different target formats is possible. Another imported point is the automated exchange of information and test results with different requirements management systems and the seamless integration in existing version management systems. By means of the collected experiences and the results of the practical proving the advantages of the framework are shown.
|
6 |
Languages, Tools and Patterns for the Specification of Distributed Real-Time Tests / Sprachen, Werkzeuge und Muster für die Spezifikation von verteilten Echtzeit-TestsNeukirchen, Helmut Wolfram 25 August 2004 (has links)
No description available.
|
7 |
Framework for automated functional tests within value-added service environmentsWacht, Patrick January 2016 (has links)
Recent years have witnessed that standard telecommunication services evolved more and more to next generation value-added services. This fact is accompanied by a change of service characteristics as new services are designed to fulfil the customer’s demands instead of just focussing on technologies and protocols. These demands can be very specific and, therefore, diverse potential service functionalities have to be considered by the service providers. To make matters worse for service providers, a fast transition from concept to market product and low price of a new service is required due to the increasing competition in the telecommunication industry. Therefore, effective test solutions need to be developed that can be integrated in current value-added service development life-cycles. Besides, these solutions should support the involvement of all participating stakeholders such as the service provider, the test developers as well as the service developers, and, in order to consider an agile approach, also the service customer. This thesis proposes a novel framework for functional testing that is based on a new sort of description language for value-added services (Service Test Description). Based on instances of the Service Test Description, sets of reusable test components described by means of an applied Statecharts notation are automatically selected and composed to so-called behaviour models. From the behaviour models, abstract test cases can be automatically generated which are then transformed to TTCN-3 test cases and then assembled to an Executable Test Suite. Within a TTCN-3 test system, the Executable Test Suite can be executed against the corresponding value-added service referred to as System Under Test. One benefit of the proposed framework is its application within standard development life-cycles. Therefore, the thesis presents a methodology that considers both service development and test development as parallel tasks and foresees procedures to synchronise the tasks and to allow an agile approach with customer involvement. The novel framework is validated through a proof-of-concept working prototype. Example value-added services have been chosen to illustrate the whole process from compiling instances of the Service Test Description until the execution of automated tests. Overall, this thesis presents a novel solution for service providers to improve the quality of their provided value-added services through automated functional testing procedures. It enables the early involvement of the customers into the service development life-cycle and also helps test developers and service developers to collaborate.
|
8 |
Quality Assurance of Test Specifications for Reactive Systems / Qualitätssicherung von Testspezifikationen für Reaktive SystemeZeiß, Benjamin 02 June 2010 (has links)
No description available.
|
9 |
Konzept und Umsetzung einer modularen, portierbaren Middleware für den automatisierten Test eingebetteter SystemeTrenkel, Kristian 30 November 2015 (has links)
Die Dissertationsschrift diskutiert die Machbarkeit einer modularen, portierbaren Middleware für die automatisierte Ausführung und Dokumentation von Software-Tests mit einer durchgehenden Nachverfolgbarkeit von der Anforderungsspezifikation bis hin zur Dokumentation der Testergebnisse. Es werden die Eigenschaften und Probleme bestehender Testautomatisierungslösungen analysiert und dargelegt. Unter Berücksichtigung dieser Probleme werden neuartige Lösungsansätze entwickelt. Die Neuheiten dieser Arbeit sind der modulare Aufbau der Middleware mit einer unproblematischen Portierbarkeit auf neue Testsysteme in Verbindung mit dem neu erarbeiteten Speicherformat für die Testergebnisse. Es wird die Möglichkeit aufgezeigt, Testfälle sowohl mit graphischer als auch textueller Eingabe zu bearbeiten. Neben den typischen Einsatzbereichen, wie zum Beispiel Hardware In The Loop-Tests (HIL), werden auch weitere Felder, vom Modul-Test bis zum Bandende-Test, abgedeckt. Das Speicherformat der Testergebnisse ermöglicht die Ablage aller wichtigen Informationen zu den Tests, ist flexibel erweiterbar und erlaubt die Generierung von Testreports in unterschiedlichen Zielformaten. Ein weiterer zentraler Punkt ist der automatisierte Austausch von Informationen und Testergebnissen mit verschiedenen Requirementsmanagement-Systemen sowie eine nahtlose Integration in vorhandene Versionsmanagement-Systeme. Basierend auf den theoretischen Ausarbeitungen wurde eine modulare, portierbare Middleware in Form des modularen aufgebauten Testautomatisierungs-Frameworks (modTF) umgesetzt. Anhand der dabei gesammelten Erfahrungen und der Ergebnisse der praktischen Erprobung werden die Vorteile des Frameworks gezeigt. / These PhD discusses the feasibility of a modular, portable middleware for automated execution and documentation of software tests with a continuous traceability from the requirements to the test results. The properties and the problems of existing test automation solutions are analyzed and presented. Based on the problems novel solutions are developed. The novelties of this PhD are the modular structure of the middleware with the easy portability to new test systems in cooperation with the novel storage format for the test results. The possibility for a graphical and textual description of the test cases is shown. Beside the typical applications like Hardware In The Loop tests (HIL) also applications from the module test to the line end test are include. The storage format for the results allows the storage of all needed information according to the test cases in one file. The format is flexible and extendable. The generation of test reports in different target formats is possible. Another imported point is the automated exchange of information and test results with different requirements management systems and the seamless integration in existing version management systems. By means of the collected experiences and the results of the practical proving the advantages of the framework are shown.
|
Page generated in 0.0247 seconds