Дисертації з теми "Automated testing system"
Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Automated testing system.
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 дисертацій для дослідження на тему "Automated testing system".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
1
Coffman, Thayne R. (Thayne Richard). "A framework for automated system testing." Thesis, Massachusetts Institute of Technology, 1996. http://hdl.handle.net/1721.1/40188.
Повний текст джерелаАнотація:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996.Includes bibliographical references (leaves 70-73).
by Thayne R. Coffman.
M.Eng.
2
Rotting, Tjädermo Viktor, and Alex Tanskanen. "System Upgrade Verification : An automated test case study." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-165125.
Повний текст джерелаАнотація:
We live in a society where automatization is becoming more common, whether it be cars or artificial intelligence. Software needs to be updated using patches, however, these patches have the possibility of breaking components. This study takes such a patch in the context of Ericsson, identifies what needs to be tested, investigates whether the tests can be automated and assesses how maintainable they are. Interviews were used for the identification of system and software parts in need of testing. Then tests were implemented in an automated test suite to test functionality of either a system or software. The goal was to reduce time of troubleshooting for employees without interrupting sessions for users as well as set up a working test suite. When the automated testing is completed and implemented in the test suite, the study is concluded by measuring the maintainability of the scripts using both metrics and human assessment through interviews. The result showed the testing suite proved maintainable, both from the metric point of view and from human assessment.
3
Bergström, Kristoffer. "Sensor system for automated circuit board testing." Thesis, Uppsala universitet, Signaler och System, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-388628.
Повний текст джерелаАнотація:
This thesis investigates the possibility to automate testing of PCBs with a sensor system. This PCB testing is today done manually by placing PCBs in a test fixture that determines its condition. This test requires an operator to wait for the test to complete and then place the PCB in the correct section. If this process can be automated time could be saved and the risk of mishandling PCBs could be reduced. A sensors system is made that consists of an Arduino with micro switches, hall effect sensors, a scanner and a LiDAR. The sensor system is designed to achieve a set of requirements that is needed for automation. The sensor system is meant to communicate with a robot that moves the PCBs within a test environment. This test environment is also designed in this project. For the system to communicate with a robot a program is made to inform the robot about placement of PCBs within the test environment. The final system is able to achieve the requirements set for automation but further investigation is needed to make this into a fully scaled automated system.
4
MARSH, TED A. "AN AUTOMATED TESTING SYSTEM FOR A TELEMETRY TRACKING SYSTEM." International Foundation for Telemetering, 1991. http://hdl.handle.net/10150/613114.
Повний текст джерелаАнотація:
International Telemetering Conference Proceedings / November 04-07, 1991 / Riviera Hotel and Convention Center, Las Vegas, NevadaWhite Sands Missile Range (WSMR) has developed an Advanced Transportable Telemetry Acquisition System (TTAS-A) which utilizes a dedicated computer system for antenna control. The Automated Testing System (ATS), an integral part of this system, is the subject of this paper. The ATS consists of hardware and software designed to provide fully automated testing of the radio frequency (RF) and servo subsystems for validation purposes. The RF subsystem tests are designed to evaluate, measure, and display RF performance parameters such as receiving system Figure of Merit and RF system sensitivity. The servo subsystem tests are designed to evaluate and display the stability and response characteristics of the servo subsystem. Tests are accessed via a keyboard, and extensive use of menus makes the software easy to learn and use. The test equipment is controlled entirely by the computer, and hard copies of all test results are available on the system printer.
5
Pietschker, Andrej. "Automated test generation from algebraic specifications." Thesis, University of Newcastle Upon Tyne, 2002. http://hdl.handle.net/10443/2015.
Повний текст джерелаАнотація:
This thesis is a contribution to work on the specification-based testing of computing systems. The development of computing systems is a challenging task. A great deal of research has been directed at support for analysis, design and implementation aspects, yielding a wide range of development techniques. However, the crucial area of system testing remains relatively under-explored. Because a project may spend a good part of its budget on testing, even modest improvements to the cost-effectiveness of testing represent substantial improvements in project budgets. Relatively little literature has been devoted to the entire testing process, including specification, generation, execution and validation. Most of the academic literature seems to assume a revolutionary change of the testing framework. On the contrary industry follows a more traditional approach consisting of trusted methods and based on personal experience. There is a need for testing methods that improve the effectiveness of testing but do so at reasonable cost and which do not require a revolutionary change in the development technology. The novel goal of the work described in this thesis is to "lift" traditional testing so that it takes advantage of system specifications. We provide a framework - hepTEsT- which is motivated by this goal. To that end, hepTEsT is a framework consisting of a specification language, a technology for generating tests in accordance with test strategies, a means of applying the tests to the implementations and support for validation of outcomes against the specification-based tests. We will first categorise different testing methodologies and then examine some of the past and present approaches to test data: we develop only the necessary theoretical foundations for hepSPEc and always consider the requirements of testing. The formalism hepSPEc for system description is based upon a well-defined algebraic approach. It utilises a novel approach allowing the description of finite domains in a way suitable for engineering purposes. The engineers' tasks are to provide an adequate description of the system in hepSPEC. The approach proposed in this thesis is grounded in the traditional approach to testing where test data is provided to the system under test and the outcome is compared to the expected outcome. To enhance the capabilities of the framework a general order on test inputs is proposed to be used in test strategies. Traditional testing strategies requiring an order on test inputs are introduced and their realisation in hepTEsT discussed as well as a proposal of new strategies which lend themselves to this particular approach. The manipulation of the specification yields abstract test cases which are then transformed into test cases suitable for the chosen implementation of the system. This transformation, called test reification, is necessary to bridge the "abstraction gap" between the abstract specification-derived tests and the concrete implementation on which the test must run. The transformation is necessary in order for the approach to be practical and is achieved through homomorphisms which are expressed in specially adapted grammars. This transformation is also applied to the generated test outcome and is aimed there at easing test result validation. The utility of the hepTEsT approach is illustrated by means of a simple example, a larger case study and one carried out within the aviation industry.
6
Haque, Ehsanul. "An Automated Multi-agent Framework For Testing Distributed System." OpenSIUC, 2013. https://opensiuc.lib.siu.edu/theses/1107.
Повний текст джерелаАнотація:
Testing is a part of the software development life cycle (SDLC) which ensures the quality and efficiency of the software. It gives confident to the developers about the system by early detecting faults of the system. Therefore, it is considered as one of the most important part of the SDLC. Unfortunately, testing is often neglected by the developers mainly because of the time and cost of the testing process. Testing involves lots of manpower, specially for a large system, such as distributed system. On the other hand, it is more common to have bugs in a large system than a small centralized system and therefore there is no alternative of testing to find and fix the bugs. The situation gets worst if the developer follows one of the most powerful development process called continuous integration process. This is because developers need to write the test cases in each cycle of the continuous integration process which increase the development time drastically. As a result, testing often neglected for large systems. This is an alarming situation because distributed system is one of the most popular and widely accepted system in both industries and academia. Therefore, this is one of the highly pressured areas where lot of developers engaged to provide distributed software solutions. If these systems delivered to the users untested, there is a high possibility that we will end up with a lot of buggy systems every year. There are also a very few number of testing framework exist in the market for testing distributed system compared to the number of testing framework exists for traditional system. The main reason behind this is, testing a distributed system is far difficult and complex process compares to test a centralized system. Most common technique to test a centralized system is to test the middleware which might not be the case for distributed system. Unlike the traditional system, distributed system can be resides in multiple location of different corners of the world. Therefore, testing and verification of distributed systems are difficult. In addition to this, distributed systems have some basic properties such as fault tolerance, availability, concurrency, responsiveness, security, etc. which makes the testing process more complex and difficult. This research proposed a multi-agent based testing framework for distributed system where multiple agent communicate with each other and accomplish the whole testing process for a distributed system. The bullet proof idea of testing centralizes system has been reused partially to design the framework so that developers will be more comfortable to use the framework. The research also focused on the automation of testing process which will reduce the time and cost of the whole testing process and relief the developer from re-generating the same test cases over and over before each release of the application. This paper briefly described the architecture of the framework and communication process between multiple agents.
7
Andersson, Johan, and Katrin Andersson. "Automated Software Testing in an Embedded Real-Time System." Thesis, Linköping University, Department of Computer and Information Science, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-9772.
Повний текст джерелаАнотація:
Today, automated software testing has been implemented successfully in many systems, however there does still exist relatively unexplored areas as how automated testing can be implemented in a real-time embedded system. This problem has been the foundation for the work in this master thesis, to investigate the possibility to implement an automated software testing process for the testing of an embedded real-time system at IVU Traffic Technologies AG in Aachen, Germany.
The system that has been the test object is the on board system i.box.
This report contains the result of a literature study in order to present the foundation behind the solution to the problem of the thesis. Questions answered in the study are: when to automate, how to automate and which traps should one avoid when implementing an automated software testing process in an embedded system.
The process of automating the manual process has contained steps as constructing test cases for automated testing, analysing whether an existing tool should be used or a unique test system needs to be developed. The analysis, based on the requirements on the test system, the literature study and an investigation of available test tools, lead to the development of a new test tool. Due to limited devlopement time and characterstics of the i.box, the new tool was built based on post execution evaluation. The tool was therefore divided into two parts, a part that executed the test and a part that evaluated the result. By implementing an automated test tool it has been proved that it is possible to automate the test process at system test level in the i.box.
8
Tlemcani, Ismail. "SYSTEM-LEVEL AUTOMATED TESTING FOR HOME DIGITAL VOICE ASSISTANTS." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-51050.
Повний текст джерелаАнотація:
Home Digital Voice Assistants (HDVA) are devices that are performing tasks based on voice commands. A normal user can use these devices to perform daily tasks like sending an email, play a song or check for an event online, just to name a few. These systems got very popular in recent years due to their ease of use and the evolution of their technology that is now handling many commands and is able to perform complex tasks. HDVA devices are also nowadays used in some critical cases like for door opening and in some healthcare services. On the other hand, software testing is an important verification and validation activity used to reveal software faults in systems that include a software part. This activity is used to make sure that the expected behavior of the system matches the actual software execution. This activity results in the creation of test cases that are run as scripts in an automatic way. Because of the fact that HDVA devices are used nowadays in some critical use cases, it is of utmost importance that these devices are thoroughly tested to make sure that they are behaving in the correct way. In this thesis, we first investigated the current automation testing frameworks for HDVA devices that exist in the market by doing a multivocal literature review. This is an important step to do in order to discover what are the existing frameworks in the market and therefore decide on the most appropriate research that can be carried out on these. We have, after doing the multivocal literature review and listing the available automation testing tools for HDVA devices, evaluated one tool selected from this review and assessed its usefulness and applicability for professionals and researchers in terms of ease of use and resources it uses during test execution. During the evaluation, we focused on automation testing tools for the Amazon Echo device because of its popularity on the market and the great amount of resources that are available online on this device and we focused on system testing. After doing the multivocal literature review, we found that the Botium framework is the only framework available to use to test the Amazon Echo device on a system level. We took the Botium framework as the framework to be evaluated and we performed an evaluation on it from a test automation capability perspective. The evaluation was done on a virtual machine which was set up locally with the VMware software. The evaluation showed a slow test execution capability of the Botium tool. More studies are needed on testing the other popular HDVA devices and on the lower testing levels.
9
Shrivatri, Ankit. "Selection and implementation of test framework for automated system test of mobile application." Master's thesis, Universitätsbibliothek Chemnitz, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-202553.
Повний текст джерелаАнотація:
Software Quality is a key concern for any companies working with software development. This is true due to the fact that the success of any software directly depends on Quality of software. It is expected that the software is of best quality for a long duration of time. With the introduction of Mobile applications the task of maintaining the quality of an application has been difficult and have faced many challenges.
Many companies working with mobile application have reformed their process in order to maintain the quality of their application. The introduction of Automation testing in the test process is one such reform that have changed the face of mobile application testing in today’s world.
This work deals with the concepts of Automation System testing for the mobile application which is until now a new thing and it has many things yet to be explored. The approach to automation testing is simple yet unique for the department of PT-MT/Quality Management in Robert Bosch GmbH based in Leinfelden, Stuttgart. Over here a selection and implementation of a test framework will be done for Automation testing of the mobile Applications that are being developed.
For this a requirement specification document is being created which will form the basis for selecting a framework from the KT Analysis table. Finally, a framework TestComplete will be implemented for the already developed application "PLR measure&go" The implementation will include all the procedure required to set up the test framework as a part of documentation. The framework TestComplete will be used to create System test for iOS and Android operation system. Lastly the execution of test and the Result reporting is being shown as a complete process for Automation testing.
10
Meredith, Mark S. "The Consolidated Automated Support System (CASS): A comparative evaluation." Thesis, Monterey, California : Naval Postgraduate School, 1990. http://handle.dtic.mil/100.2/ADA238002.
Повний текст джерелаАнотація:
Thesis (M.S. in Management)--Naval Postgraduate School, June 2009.Thesis Advisor(s): McMasters, Alan W. ; Moore, Thomas P. "June 1990." Description based on title screen as viewed on October 19, 2009. DTIC Indicator(s): Test equipment, Automatic, Problem solving, Logistics support, Aircraft maintenance, Naval aircraft, Theses. Author(s) subject terms: Automatic Test Equipment, ATE, Consolidated Automated Support System, CASS, avionics testing. Includes bibliographical references (p. 111-115). Also available online.
11
Saadat, Huzaifa. "Design and development of an automated regression test suite for UEFI." Master's thesis, Universitätsbibliothek Chemnitz, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-159277.
Повний текст джерелаАнотація:
Unified Extensible Firmware Interface (UEFI) is an industry standard for implementing the basic firmware in the computers. This standard replaces BIOS. A huge amount of C code has been written for the implementation of UEFI. Yet there has been a very little focus on testing UEFI code. The thesis shows how the industry can perform a meaningful testing of UEFI. Spanning the test coverage with the help of test tools over all UEFI phases is a key objective. Moreover, techniques such as Test Driven Development and source code analysis are explained in terms of UEFI to make sure the bugs are minimized in the first place. The results show that the usage of test and analysis tools point to a large number of issues. Some of these issues can be fixed at a very early stage in the Software Development Life Cycle. For this reason the developers and testers should be convinced that they need to focus on testing UEFI from a software perspective.
12
Ansariramandi, Saeed. "Automated Debugging in a Trading System." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-90331.
Повний текст джерелаАнотація:
Verifying the reliability and functionality of a complex system like a trading system is highly demanding since failure in such a system can cause serious economic problems. Automated random testing is a good solution to find new and rare failures in such a system. Test cases in random testing usually contain a long sequence of actions that debugging them manually to find the root cause of the failure is a very boring and tiresome task. This thesis aims to create a model for automating the task of the debugging to reduce the failed test case to an equivalent test case that only contains relevant actions that together cause the failure. Delta debugging is the core algorithm of the model that simplifies a failed test case by successive testing. The target of the project is TRADExpress system of Cinnober Financial Technology AB. The model is integrated to the random testing framework of the TRADExpress system.
13
Palmieri, Manuel. "System Testing in a Simulated Environment." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-18701.
Повний текст джерелаАнотація:
System Testing in a Simulated Environment is becoming one of the bigger challenges moved by companies with the purpose to improve the quality and increase the dependability of artefacts. Moreover, another big challenge faced by them is the achievement of the independent development of software and hardware systems, with the purpose to speed up and reduce costs of development. Besides, software testing remains today a tricky activity that attracts the interest of many researchers and companies with the purpose to refine or invent new techniques and methods to perform the optimal testing on different case studies and conditions. Nowadays, the execution of testing on some real environments is not adequate because of the impossibility to perform particular kinds of tests that could be destructive for hardware and dangerous for testers. One of the areas that are affected by this issue is certainly the one regarding the production of vehicles that work in critical environments. In this respect, companies in such applicative domain trying to move towards the revolutionary approach to replace real environments with simulated environments. This thesis presents a survey of existing state–of–the–art and state–of–the–practice testing techniques and methods, a simulated environment derived from a vehicle, and how and in what way it is possible to perform testing on a simulated environment. Furthermore, with the purpose to provide a better understanding of how a real environment could be represented with a simulated environment, an overview of replacement is presented. Besides, according to CrossControl and customers’ environments, limits and needs, a case study has been realized to demonstrate how is possible to design, implement and test a simulated environment.
14
Heywood, James K. "AUTOMATED TESTING OF THE ADVANCED DATA ACQUISITION AND PROCESSING SYSTEM." International Foundation for Telemetering, 2001. http://hdl.handle.net/10150/606456.
Повний текст джерелаАнотація:
International Telemetering Conference Proceedings / October 22-25, 2001 / Riviera Hotel and Convention Center, Las Vegas, NevadaSoftware and techniques are described for testing the Advanced Data Acquisition and Processing System (ADAPS), the primary flight test telemetry system used at Edwards AFB, California. The software described acts as an additional simulation capability and moves the simulation definition process into a realm where data is formed by means of a high-order language. The potential for creation of more sophisticated simulated test data is thus enabled. Extension of the techniques described in this paper to applications other than testing is discussed.
15
Lindgren, Jonas. "Analysis of requirements for an automated testing and grading assistance system." Thesis, Linköpings universitet, Datorteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-105692.
Повний текст джерелаАнотація:
This thesis analyzes the configuration and security requirements of an auto-mated assignment testing system. The requirements for a flexible yet powerfulconfiguration format is discussed in depth, and an appropriate configurationformat is chosen. Additionally, the overall security requirements of this systemis discussed, analyzing the different alternatives available to fulfill the require-ments.Framläggningen redan avklarad.
16
Vargo, Timothy D. "RAPIDLY ADAPTABLE INSTRUMENTATION TESTER (RAIT)." International Foundation for Telemetering, 1999. http://hdl.handle.net/10150/608439.
Повний текст джерелаАнотація:
International Telemetering Conference Proceedings / October 25-28, 1999 / Riviera Hotel and Convention Center, Las Vegas, NevadaEmerging technologies in the field of "Test & Measurement" have recently enabled the development of the Rapidly Adaptable Instrumentation Tester (RAIT). Based on software developed with LabVIEW®, the RAIT design enables quick reconfiguration to test and calibrate a wide variety of telemetry systems. The consequences of inadequate testing could be devastating if a telemetry system were to fail during an expensive flight mission. Supporting both open-bench testing as well as automated test sequences, the RAIT has significantly lowered total time required to test and calibrate a system. This has resulted in an overall lower per unit testing cost than has been achievable in the past.
17
Musah, Arthur. "An automated bench testing system for direct current parameters of instrumentation amplifiers." Thesis, Massachusetts Institute of Technology, 2005. http://hdl.handle.net/1721.1/33328.
Повний текст джерелаАнотація:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2005.Includes bibliographical references (p. 92-93).
Electrical testing is performed at multiple stages in the production of analog integrated circuits (ICs). An efficient system for low-volume IC testing is one that automates bench tests and provides good measurement precision and accuracy, while costing far less than the standard automated test equipment (ATE) used for high-volume manufacturing purposes. This thesis describes the design and implementation of an automated bench system for measuring the important direct current parameters associated with analog instrumentation amplifiers: voltage offset, input bias currents, input offset current, output swing, common mode rejection, power supply rejection, quiescent current and gain error. The system is developed on the PXI platform and consists of measurement and signal generating hardware modules, a Windows-based computer, a resource printed circuit board (PCB), a test-configuration PCB and LabVIEW-based software. The system is versatile and supports the testing of different instrumentation amplifier types and pin- outs. The performance of the system is characterized with respect to ATE results for the Texas Instruments instrumentation amplifier INA 126.
by Arthur Musah.
M.Eng.
18
Hoffmaster, Andrew L. "An Automated System for Seed Vigor Testing Three-Day-Old Soybean Seedlings." The Ohio State University, 2002. http://rave.ohiolink.edu/etdc/view?acc_num=osu1377872760.
Повний текст джерела
19
Byström, Markus. "Design and realisation of an automated software testing system utilizing virtual machines." Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-154480.
Повний текст джерелаАнотація:
Modern mjukvara körs ofta i många olika miljöer vilket ställer höga krav på testning och kvalitetssäkring. Mjukvara som löpande förvaltas måste testas regelbundet för att säkerställa kompatibiliteten till de miljöer eller plattformar som den används i. Detta kan knyta upp stora mängder resurser i form av mantimmar för testare och hårdvarutillgänglighet. Genom att testa virtuellt är det möjligt att automatisera stora delar av processen på ett enkelt sätt och i och med det effektivisera testningen. I det här examensarbetet designades, implementerades och utvärderades ett automatiserat testsystem som utnyttjar virtuella maskiner åt Scania på avdelningen för Diagnostic Communication and Software Download, RESC. Det implementerade testsystemet möjliggjorde dagliga regressions- och installationstester på alla de plattformar som mjukvarukomponenten SCOMM, Scania Communication Module, används i. Vissa smärre svårigheter märktes av som att några Windows-versioner uppförde sig på lite olika sätt angående rättigheter och beteende samt att det trots den låga overheaden i de virtuella maskinerna kunde uppstå timingproblem i ett fåtal testfall, vilket ledde till att de stundtals kunde misslyckas. Genom att parallellt köra tester i olika operativsystem kunde flera tester utföras på kortare tid än förut. Testtillförlitligheten ökade också i och med att alla testkörningar varje gång kunde utgå från samma tillstånd av de virtuella maskinerna. Arbetstiden för installation och underhåll av testmiljön kan minskas i och med att många virtuella maskiner kan samexistera på en fysisk maskin.Modern software is often run in many different environments which puts high demands on testing and quality assurance. Continuous testing of software during the software development cycle is necessary in order to ensure the compatibility between the software and the different environments or platforms in which the software is used. This may require signicant resources in the form of man hours for testers and hardware availability. By testing in virtual environments it is possible to automate most of this process in an easy way and thus make testing more efficient. In this master thesis an automated test system utilizing virtual machines was designed, implemented and evaluated for Scania at its department for Diagnostic Communication and Software Download, RESC. The implemented test system enabled regression and installation testing of the software component SCOMM, Scania Communication Module, to be performed on all the supported platforms on a daily basis. Some minor difficulties were experienced such as some versions of the Windows operating system behaving differently regarding to permissions and operation and also that despite the low overhead of the virtual machine some timing issues were noticed in a few test cases which led them to intermittently fail. By testing software in different operating systems in parallel, it was possible todo more testing in less time than before. Testing reliability was increased due to every test starting from a known state of the virtual machines. The time spent on setup and maintenance of the testing environment can be decreased since multiple virtual machines can co-exist on one physical machine.
20
Erdahl, Dathan S. (Dathan Shane). "Design and implementation of an automated solder joint inspection system." Thesis, Georgia Institute of Technology, 2000. http://hdl.handle.net/1853/19654.
Повний текст джерела
21
Sazonov, Eduard S. "An automated damage detection system for armoured vehicle launched bridge." Morgantown, W. Va. : [West Virginia University Libraries], 2002. http://etd.wvu.edu/templates/showETD.cfm?recnum=2497.
Повний текст джерелаАнотація:
Thesis (Ph. D.)--West Virginia University, 2002.Title from document title page. Document formatted into pages; contains xi, 187 p. : ill. (some col.). Vita. Includes abstract. Includes bibliographical references (p. 148-154).
22
Durand, William. "Automated test generation for production systems with a model-based testing approach." Thesis, Clermont-Ferrand 2, 2016. http://www.theses.fr/2016CLF22691/document.
Повний текст джерелаАнотація:
Ce manuscrit de thèse porte sur le problème du test basé modèle de systèmes de production existants, tels ceux de notre partenaire industriel Michelin, l’un des trois plus grands fabricants de pneumatiques au monde. Un système de production est composé d’un ensemble de machines de production contrôlées par un ou plusieurs logiciels au sein d’un atelier dans une usine. Malgré les nombreux travaux dans le domaine du test basé modèle, l’écriture de modèles permettant de décrire un système sous test ou sa spécification reste un problème récurrent, en partie à cause de la complexité d’une telle tâche. De plus, un modèle est utile lorsqu’il est à jour par rapport à ce qu’il décrit, ce qui implique de le maintenir dans le temps. Pour autant, conserver une documentation à jour reste compliqué puisqu’il faut souvent le faire manuellement. Dans notre contexte, il est important de souligner le fait qu’un système de production fonctionne en continu et ne doit être ni arrêté ni perturbé, ce qui limite l’usage des techniques de test classiques. Pour pallier le problème de l’écriture de modèles, nous proposons une approche pour construire automatiquement des modèles depuis des séquences d’événements observés (traces) dans un environnement de production. Pour se faire, nous utilisons les informations fournies par les données échangées entre les éléments qui composent un système de production. Nous adoptons une approche boîte noire et combinons les notions de système expert, inférence de modèles et machine learning, afin de créer des modèles comportementaux. Ces modèles inférés décrivent des comportements complets, enregistrés sur un système analysé. Ces modèles sont partiels, mais également très grands (en terme de taille), ce qui les rend difficilement utilisable par la suite. Nous proposons une technique de réduction spécifique à notre contexte qui conserve l’équivalence de traces entre les modèles de base et les modèles fortement réduits. Grâce à cela, ces modèles inférés deviennent intéressant pour la génération de documentation, la fouille de données, mais également le test. Nous proposons une méthode passive de test basé modèle pour répondre au problème du test de systèmes de production sans interférer sur leur bon fonctionnement. Cette technique permet d’identifier des différences entre deux systèmes de production et réutilise l’inférence de modèles décrite précédemment. Nous introduisons deux relations d’implantation : une relation basée sur l’inclusion de traces, et une seconde relation plus faible proposée, pour remédier au fait que les modèles inférés soient partiels. Enfin, ce manuscrit de thèse présente Autofunk, un framework modulaire pour l’inférence de modèles et le test de systèmes de production qui aggrège les notions mentionnées précédemment. Son implémentation en Java a été appliquée sur différentes applications et systèmes de production chez Michelin dont les résultats sont donnés dans ce manuscrit. Le prototype développé lors de la thèse a pour vocation de devenir un outil standard chez MichelinThis thesis tackles the problem of testing (legacy) production systems such as those of our industrial partner Michelin, one of the three largest tire manufacturers in the world, by means of Model-based Testing. A production system is defined as a set of production machines controlled by a software, in a factory. Despite the large body of work within the field of Model-based Testing, a common issue remains the writing of models describing either the system under test or its specification. It is a tedious task that should be performed regularly in order to keep the models up to date (which is often also true for any documentation in the Industry). A second point to take into account is that production systems often run continuously and should not be disrupted, which limits the use of most of the existing classical testing techniques. We present an approach to infer exact models from traces, i.e. sequences of events observed in a production environment, to address the first issue. We leverage the data exchanged among the devices and software in a black-box perspective to construct behavioral models using different techniques such as expert systems, model inference, and machine learning. It results in large, yet partial, models gathering the behaviors recorded from a system under analysis. We introduce a context-specific algorithm to reduce such models in order to make them more usable while preserving trace equivalence between the original inferred models and the reduced ones. These models can serve different purposes, e.g., generating documentation, data mining, but also testing. To address the problem of testing production systems without disturbing them, this thesis introduces an offline passive Model-based Testing technique, allowing to detect differences between two production systems. This technique leverages the inferred models, and relies on two implementation relations: a slightly modified version of the existing trace preorder relation, and a weaker implementation proposed to overcome the partialness of the inferred models.Overall, the thesis presents Autofunk, a modular framework for model inference and testing of production systems, gathering the previous notions. Its Java implementation has been applied to different applications and production systems at Michelin, and this thesis gives results from different case studies. The prototype developed during this thesis should become a standard tool at Michelin
23
Bozkurt, M. "Automated realistic test input generation and cost reduction in service-centric system testing." Thesis, University College London (University of London), 2013. http://discovery.ucl.ac.uk/1400300/.
Повний текст джерелаАнотація:
Service-centric System Testing (ScST) is more challenging than testing traditional software due to the complexity of service technologies and the limitations that are imposed by the SOA environment. One of the most important problems in ScST is the problem of realistic test data generation. Realistic test data is often generated manually or using an existing source, thus it is hard to automate and laborious to generate. One of the limitations that makes ScST challenging is the cost associated with invoking services during testing process. This thesis aims to provide solutions to the aforementioned problems, automated realistic input generation and cost reduction in ScST. To address automation in realistic test data generation, the concept of Service-centric Test Data Generation (ScTDG) is presented, in which existing services used as realistic data sources. ScTDG minimises the need for tester input and dependence on existing data sources by automatically generating service compositions that can generate the required test data. In experimental analysis, our approach achieved between 93% and 100% success rates in generating realistic data while state-of-the-art automated test data generation achieved only between 2% and 34%. The thesis addresses cost concerns at test data generation level by enabling data source selection in ScTDG. Source selection in ScTDG has many dimensions such as cost, reliability and availability. This thesis formulates this problem as an optimisation problem and presents a multi-objective characterisation of service selection in ScTDG, aiming to reduce the cost of test data generation. A cost-aware pareto optimal test suite minimisation approach addressing testing cost concerns during test execution is also presented. The approach adapts traditional multi-objective minimisation approaches to ScST domain by formulating ScST concerns, such as invocation cost and test case reliability. In experimental analysis, the approach achieved reductions between 69% and 98.6% in monetary cost of service invocations during testing
24
Yuan, Jessica. "Monitoring interface and automated testing for Seaweed, a web-based economic game system." Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/61583.
Повний текст джерелаАнотація:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2010.Cataloged from PDF version of thesis.
Includes bibliographical references (p. 47-49).
Seaweed is a web-based economic game system that allows end users to design and deploy simple two-player economic games. To improve the usability of the system, we have created two new features. One: a monitoring interface that allows users to view the results of a game deployment in real time. Two: an automated testing feature that automatically generates play data for a game, so that the user can check that the results are correct. Challenges included condensing the data of multiple plays of a game into a readable format and modifying the computer player system to pit two computer players against each other in order to generate the test data.
by Jessica Yuan.
M.Eng.
25
Zeltner, Wolff Johannes. "Development of software for MALTE, a system for automated testing of line current supervision andinterference monitoring devices." Thesis, Uppsala universitet, Institutionen för teknikvetenskaper, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-243639.
Повний текст джерелаАнотація:
The aim of the project is to develop software to automatically test line current supervision and interference monitoring devices for Bombardier trains. The software, called MALTE, it to replace the manual testing done by an engineer, thereby freeing up the tester to do other tasks, and increasing the test rigorousness. The test software, written in LabView, was developed in tandem with a hardware rack, with interfaces to the train hardware enabling communication between the two, to set test conditions and simulate the environment encountered by the hardware when on the train. When completed, MALTE was found to be an order of magnitude faster than a test engineer performing the tests, meaning a large save in time and cost for the engineering team.
26
Sharp, Phillip D. "ADVANCED TELEMETRY TRACKING SYSTEM DEVELOPMENT AT WHITE SANDS MISSILE RANGE." International Foundation for Telemetering, 1991. http://hdl.handle.net/10150/613057.
Повний текст джерелаАнотація:
International Telemetering Conference Proceedings / November 04-07, 1991 / Riviera Hotel and Convention Center, Las Vegas, NevadaEarly in the 1980s White Sands Missile Range (WSMR) began studying the problem of updating the Telemetry Tracking Systems (TTS) used to support test range missions. The information and equipment available at that time indicated that very little technology advancement had occurred in the area of TTS. Because the TTS usually have a long service life, it was imperative that the new or updated systems be as good as the state-of-the-art in todays technology could produce. Because of the lack of technology advancements, it was evident that drastic measures would be required to achieve the objectives of the update effort. These findings resulted in a program called the Advanced Telemetry Tracking System Integration and Development (ATTSID). Its objective was to determine if it was possible to apply advanced computer technology to the solution of servosystem problems characteristic in most TTS. This paper and three related papers, The Advanced Telemetry Tracking Servosystem; An Automated Testing System for a Telemetry Tracking System; and The Microcomputer-based Digital Controller for the Advanced Telemetry Tracking System; document the objectives, design considerations, fabrication and evaluation of a prototype TTS. It utilizes a dedicated computer system to control, compensate the servo position loop, and provide automated testing of the servo and RF receiving systems. This computer system was installed and evaluated in one of the WSMR Transportable Telemetry Acquisition Systems (TTAS) for evaluation and refinement of the system. The results of this program will determine the evolution of TTS and extend the use of computer technology to providing more reliable and accurate telemetry tracking support of test range operations.
27
Jiang, Zhengyi. "Design, development and testing of an automated system for measuring wall thicknesses in turbine blades with cooling channels." Thesis, University of Manchester, 2016. https://www.research.manchester.ac.uk/portal/en/theses/design-development-and-testing-of-an-automated-system-for-measuring-wall-thicknesses-in-turbine-blades-with-cooling-channels(895ac153-e310-40e2-87c6-4e40654c9d5d).html.
Повний текст джерелаАнотація:
Cooling channels are designed in blades to protect the blades from damage at high temperature in a gas turbine. ELE Advanced Technology Ltd. is a UK company specialised in machining cooling channels in turbine blades using electro-chemical techniques. The wall thicknesses between these cooling channels and the surface of the turbine blade influences the performance of cooling channels and are required to be accurately machined and then inspected. At present, the company measures the wall thicknesses using a hand-held contact ultrasonic probe, which is time-consuming and not very accurate. In this project, an inspection machine has been designed and built for the purpose of automating the procedure of measuring wall thicknesses in turbine blades. The inspection machine measures wall thicknesses based on immersion ultrasonic testing technique and the actuator is a six-axis industrial robot controlled by a computer. Control algorithms have been developed to automate the entire measuring process. Acquired ultrasonic data is also automatically processed using Matlab scripts for wall thickness evaluation. However, prior to the ultrasonic measurement, the probe path has to be calculated. Matlab script has been developed to automatically calculate a probe path using a point cloud of the blade digitized on a CMM as an input. The calculation of the probe path, in general, involves triangulation, parameterisation and B-spline surface approximation. Normal 3D triangulation methods were tested; nevertheless, the results were unsatisfactory. Therefore, a triangulation algorithm is developed based on B-spline curve and 2D Delaunay triangulation. After the probe path is calculated, a localisation method, based on iterative closest point algorithm, is implemented to transform the probe path from CMM to the inspection machine. Several experiments were designed and conducted to study the capability of the ultrasonic probe. Experimental results confirmed the feasibility of using an immersion ultrasonic probe for measuring the wall thicknesses; however, the experiments revealed several limitations of immersion ultrasonic testing, such as the angle of incidence of ultrasonic waves must be maintained within an angular deviation of ±1° from the surface normal to achieve accurate test results. Wall thicknesses of three turbine blades from one batch were measured on the inspection machine. A CT scan image was used as reference to compare the measured wall thicknesses with results obtained using contact probes. The comparison showed the wall thicknesses measured on the inspection machine were much more accurate than using contact probes.
28
Myburgh, W. D. "Development of a tool to test computer protocols." Thesis, Stellenbosch : Stellenbosch University, 2003. http://hdl.handle.net/10019.1/53363.
Повний текст джерелаАнотація:
Thesis (MSc) -- Stellenbosch University, 2003.ENGLISH ABSTRACT: Software testing tools simplify and automate the menial work associated with testing. Moreover, for complex concurrent software such as computer protocols, testing tools allow testing on an abstract level that is independent of specific implementations. Standard conformance testing methodologies and a number of testing tools are commercially available, but detailed descriptions of the implementation of such testing tools are not widely available. This thesis investigates the development of a tool for automated protocol testing in the ETH Oberon development environment. The need to develop a protocol testing tool that automates the execution of specified test cases was identified in collaboration with a local company that develops protocols in the programming language Oberon. Oberon is a strongly typed secure language that supports modularisation and promotes a readable programming style. The required tool should translate specified test cases into executable test code supported by a runtime environment. A test case consists of a sequence of input actions to which the software under test is expected to respond by executing observable output actions. A number of issues are considered of which the first is concerned with the representation of test case specifications. For this, a notation was used that is basically a subset of the test specification language TTCN-3 as standardised by the European Telecommunications Standards Institute. The second issue is the format of executable test cases and a suitable runtime environment. A translator was developed that generates executable Oberon code from specified test cases. The compiled test code is supported by a runtime library, which is part of the tool. Due to the concurrent nature of a protocol environment, concurrent processes in the runtime environment are identified. Since ETH Oberon supports multitasking in a limited sense, test cases are executed as cooperating background tasks. The third issue is concerned with the interaction between an executing test case and a system under test. It is addressed by an implementation dependent interface that maps specified test interactions onto real interactions as required by the test context in which an implementation under test operates. A supporting protocol to access the service boundary of an implementation under test remotely and underlying protocol service providers are part of a test context. The ETH Oberon system provides a platform that simplifies the implementation of protocol test systems, due to its size and simple task mechanism. Operating system functionality considered as essential is pointed out in general terms since other systems could be used to support such testing tools. In conclusion, directions for future work are proposed.
AFRIKAANSE OPSOMMING: Toetsstelsels vir programmatuur vereenvoudig en outomatiseer die slaafse werk wat met toetsing assosieer word. 'n Toetsstelsel laat verder toe dat komplekse gelyklopende programmatuur, soos rekenaarprotokolle, op 'n abstrakte vlak getoets word, wat onafhanklik van spesifieke implementasies is. Daar bestaan standaard metodes vir konformeringstoetsing en 'n aantal toetsstelsels is kommersiëel beskikbaar. Uitvoerige beskrywings van die implementering van sulke stelsels is egter nie algemeen beskikbaar nie. Hierdie tesis ondersoek die ontwikkeling van 'n stelsel vir outomatiese toetsing van protokolle in die ontwikkelingsomgewing van ETH Oberon. Die behoefte om 'n protokoltoetsstelsel te ontwikkel, wat die uitvoering van gespesifiseerde toetsgevalle outomatiseer, is geïdentifiseer in oorleg met 'n plaaslike maatskappy wat protokolle ontwikkel in die Oberon programmeertaal. Oberon is 'n sterkgetipeerde taal wat modularisering ondersteun en a leesbare programmeerstyl bevorder. Die toestsstelsel moet gespesifiseerde toetsgevalle vertaal na uitvoerbare toetskode wat ondersteun word deur 'n looptydomgewing. 'n Toetsgeval bestaan uit 'n reeks van toevoeraksies waarop verwag word dat die programmatuur wat getoets word, sal reageer deur die uitvoering van afvoeraksies wat waargeneem kan word. 'n Aantal kwessies word aangeraak, waarvan die eerste te make het met die voorstelling van die spesifikasie van toetsgevalle. Hiervoor is 'n notasie gebruik wat in wese 'n subversameling van die toetsspesifikasietaal TTCN-3 is. TTCN-3 is gestandardiseer deur die European Telecommunications Standards Institute. Die tweede kwessie is die formaat van uitvoerbare toetsgevalle en 'n geskikte looptydomgewing. 'n Vertaler is ontwikkel wat uitvoerbare Oberon-kode genereer vanaf gespesifiseerde toetsgevalle. Die vertaalde toetskode word ondersteun deur 'n biblioteek van looptydfunksies, wat deel van die stelsel is. As gevolg van die eienskap dat 'n protokolomgewing uit gelyklopende prosesse bestaan, word daar verskillende tipes van gelyklopende prosesse in 'n protokoltoetsstelsel geïdentifiseer. Aangesien ETH Oberon 'n beperkte multitaakstelsel is, word toetsgevalle vertaal na eindige outomate wat uitgevoer word as samewerkende agtergrondtake. Die derde kwessie het te make met die interaksie tussen 'n toetsgeval wat uitgevoer word en die stelsel wat getoets word. Dit word aangespreek deur 'n koppelvlak wat gespesifiseerde interaksies afbeeld op werklike interaksies soos vereis deur die konteks waarin 'n implementasie onderworpe aan toetsing uitvoer. 'n Ondersteunende protokolom die dienskoppelvlak van die implementasie oor 'n afstand te bereik en ander onderliggende protokoldienste is deel van 'n toetskonteks. Die ETH Oberon-stelsel help in die vereenvoudiging van die implementasie van protokol toetsstelsels, as gevolg van die stelsel se grootte en die eenvoudige taakhanteerder . Die essensiële funksionaliteit van bedryfsstelsels word uitgelig in algemene terme omdat ander stelsels gebruik kan word om toetsstelsels te ondersteun. Ten slotte word voorstelle vir opvolgwerk gemaak.
29
Idris, Asil. "Comparison of GUI test automation strategies in a Clearing System : A case study at Nasdaq Stockholm AB." Thesis, Högskolan Dalarna, Institutionen för information och teknik, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:du-37600.
Повний текст джерелаАнотація:
The effectiveness of GUI-based automated tests is a topic that is often discussed in the testing community. As software systems and GUIs are getting more advanced, the testing of these systems may sometimes be both time-consuming and repetitive. Therefore, automated tests are used more frequently to create more agile working and to decrease the number of manual tests. There is an ongoing discussion about the benefits and shortcomings of implementing automated GUI test compared to performing manual GUI tests. Increasingly, companies today are implementing automated GUI tests, yet relatively few are analyzing enough when choosing their test strategy. The purpose of this thesis was to explore different test strategies in a system as complex as Nasdaq’s clearing system NRTC. The first strategy used manual GUI tests, while the second strategy used a test tool called Selenium WebDriver to automate the GUI tests. Hopefully, this research will contribute to the already accumulated knowledge about automated GUI tests and potentially help in choosing the right testing strategy. The findings of this research showed that the implementation time of manual tests was much faster, and that implementing automated test would be timeconsuming. The reason for this is that the GUI was not very testable, making it difficult to create the test scripts. In addition, the was a difference in runtime when using both strategies. The automated tests only took a couple of seconds to execute, compared to the manual tests that took a couple of minutes. After both strategies was investigated, an analysis was done by looking at the effectivity, maintainability, robustness, and the overall results to be able to find benefits and shortcomings. In conclusion, GUI automation cannot replace manual test completely. By not including the human capabilities, the testing process becomes very limited.
30
Amlinger, Hanna. "Application of a New Software Tool for the Automated Test of Automotive Electronic Control Unit Software." Thesis, Linköping University, Department of Electrical Engineering, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-16785.
Повний текст джерелаАнотація:
Testing plays a very important role for assuring the quality of developed software. In a modern vehicle, more and more of the functionality is controlled by software and the complexity of the software always increases. The expectations on automating the testing process are to save time and to reach an even higher quality.
In this thesis, which was performed at ZF Friedrichshafen AG, a new tool for automated tests is studied. The tool is used for software in the loop simulation based system tests. The user specifies which outputs that shall be observed and which inputs that can be controlled. Based on these prerequisites, test cases are generated.
It has been studied how to apply the tool, how the test case generation can be influenced, on which systems it successfully could be used and which results that could be reached with the tool. The tool has been evaluated on the hand of two real-life examples; the software of an automatic transmission and of a pressure controller, a module of this software. It was found that there are many interesting possibilities to apply the tool in order to support the present testing process.
31
Oudrnický, Jan. "Automatizované testování aplikace pro IP televizi." Master's thesis, Vysoká škola ekonomická v Praze, 2011. http://www.nusl.cz/ntk/nusl-85231.
Повний текст джерелаАнотація:
Main goal of the thesis is to analyze current state of testing of nangu.tv system and design system for automatized testing of this application and its components. Thesis builds up theoretical framework needed for better understanding of the given area, defines specifics of the application and its development. The requirements for the given automatized system are then specified together with selecting tools for its development. Following steps also propose changes in system of testing. Thesis presents steps which are to include designed system into the current process of testing in the company. Main purpose of this work is to lay foundation for future implementation of automated testing into the process of testing to Alnair a.s. company as to improve the level of testing process in the company.
32
Sinaci, Ali Anil. "A Conformance And Interoperability Test Suite For Turkey." Master's thesis, METU, 2009. http://etd.lib.metu.edu.tr/upload/12610677/index.pdf.
Повний текст джерелаАнотація:
Conformance to standards and interoperability is a major challenge of today`s applications in all domains. Several standards have been developed and some are still under development to address the various layers in the interoperability stack. Conformance and interoperability testing involves checking whether the applications conform to the standards so that they can interoperate with other conformant systems. Only through testing, correct information exchange among applications can be guaranteed. National Health Information System (NHIS) of Turkey aims to provide a nation-wide infrastructure for sharing Electronic Health Records (EHRs). In order to guarantee the interoperability, the Ministry of Health (MoH), Turkey, developed an Implementation/Integration/Interoperability Profile based on HL7 standards. TestBATN - Testing Business Process, Application, Transport and Network Layers - is a domain and standards independent set of tools which can be used to test all of the layers of the interoperability stack, namely, the Communication Layer, Document Content Layer and the Business Process Layer. In this thesis work, the requirements for conformance and interoperability testing of the NHIS are analyzed, a testing approach is designated, test cases for several NHIS services are developed and deployed and a test execution control and monitoring environment within TestBATN is designed and implemented through the identified testing requirements. The work presented in this thesis is part of the TestBATN system supported by the TÜBiTAK TEYDEB Project No: 7070191 in addition by the Ministry of Health, Turkey.
33
Lindstrom, Zachary Kendall. "Design and Experimental Testing of Nanoinjection Protocols for Delivering Molecules into HeLa Cells with a Bio-MEMS Device." BYU ScholarsArchive, 2014. https://scholarsarchive.byu.edu/etd/4035.
Повний текст джерелаАнотація:
Delivering foreign molecules into living cells is a broad and ongoing area of research. Gene therapy, or delivering nucleic acids into cells via non-viral or viral pathways, is an especially promising area for pharmaceutics. All gene therapy methods have their respective advantages and disadvantages, including limited delivery efficiency and low viability. Nanoinjection, or delivering molecules into cells using a solid lance, has proven to be highly efficient while maintaining high viability levels. In this thesis, an array of solid silicon lances was tested by nanoinjecting tens of thousands of HeLa cancer cells simultaneously. Several molecule types were injected in different tests to understand cell uptake efficiency and cell viability. Voltage was used to determine the impact of an electric field on molecule delivery. Propidium iodide, a dye that fluoresces when bound to nucleic acids and does not fluoresce when unbound, was delivered into cells using the lance array. Results show that the lance array delivers propidium iodide into up to 78% of a nanoinjected HeLa cell culture, while maintaining 78%-91% viability. Using similar protocol as in propidium iodide experiments, plasmid DNA containing the code for a fluorescent protein was nanoinjected into HeLa cells, resulting in an average expression rate of up to 0.21%. Since gene expression only occurs in cells which have integrated DNA into the genome in the nucleus, a different DNA detection method was developed to determine total DNA count in cells following nanoinjection. DNA strands tagged with a radioactive isotope were nanoinjected into HeLa cells. Liquid scintillation was employed to quantify and discriminate between DNA delivered to cells and DNA that remained in solution around cells following nanoinjection. The largest average amount of DNA delivered to cells was 20.0 x 10^3 DNA molecules per cell. Further development of the radioactive nanoinjection process is needed to more fully understand the parameters that affect DNA delivery efficiency. In all experiments with propidium iodide and DNA molecules, low accumulation voltage, coupled with a short pulsed release voltage, resulted in the greatest molecule delivery efficiencies when compared to tests without voltage or with a constant voltage only. Lastly, an automated nanoinjection system was developed to eliminate variability in user applied nanoinjection force. The automated system was found to reduce variability in average propidium iodide uptake values by 56%. In conclusion, experimental testing of the multi-cell nanoinjection process has shown promising molecule delivery results into human cells, suggesting that further optimization of the process would have positive implications in the field of academic and clinical gene therapy.
34
Narasimhan, Ramakrishnan Akshra. "Design and Evaluation of Perception System Algorithms for Semi-Autonomous Vehicles." The Ohio State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1595256912692618.
Повний текст джерела
35
Бєй, Олександр Вікторович. "Система автоматизації процесів тестування програмного забезпечення з використанням паралелізації тестів". Master's thesis, Київ, 2018. https://ela.kpi.ua/handle/123456789/25514.
Повний текст джерелаАнотація:
У магістерській дисертації розроблено систему автоматизації процесів тестування програмного забезпечення із використанням паралелізації тестів.
Метою даної роботи було створення системи для автоматичної перевірки функціоналу тестованого об'єкта зі зручним інтерфейсом виводу помилок. Відповідно до поставленої мети було розроблено та протестовано систему автоматизації процесів тестування програмного забезпечення із використанням паралелізації тестів. В дисертації розроблено структурна схема, схема послідовності, діаграма варіантів використання, алгоритм роботи системи та інші.
В роботі розглянуто особливості деяких інструментів для автоматизації тестування та успішно використанні на практиці.
Значну увагу в роботі приділено розробці фреймворка для тестування, завдяки якому швидкість написання автоматизованих тестів значно зростає. При цьому було розроблено схему роботи системи та робочу програму мовою Java. Результати цього моделювання підтвердили достовірність теоретичних відомостей.
Робота може бути корисною для компаній, націлених на розвиток напрямку тестування, автоматизації процесу тестування і підвищення якості свого продукту, оскільки в роботі описані необхідні теоретичні основи, більш того, проаналізовані критерії ефективності процесу тестування.
Робота містить 100 с. тексту, 49 рисунків, 20 літературних джерел та 3 додатка.In the master's thesis was developed the system of software testing processes automation with the use of parallelization of tests. The purpose of this work was to create a system for automatically verifying the functionality of the tested object with a user-friendly error-handling interface. In accordance with the stated goal, the system of automation of software testing processes was developed and tested with the use of parallel tests. In the dissertation the structural scheme, the sequence diagram, the diagram of variants of use, the algorithm of system operation and others are developed. The paper considers the features of some tools for testing automation and successfully used in practice. Considerable attention in the work is devoted to the development of a framework for testing, thanks to which the speed of writing automated tests greatly increases. At the same time, the scheme of work of the system and the working program in the Java language was developed. The results of this simulation confirmed the reliability of the theoretical information. The work may be useful for companies aimed at developing the testing direction, automating the testing process and improving the quality of their product, since the paper describes the necessary theoretical foundations, moreover, analyzes the criteria for the effectiveness of the testing process. The work contains 100 s. text, 49 drawings, 20 literary sources and 3 appendices.
В магистерской диссертации разработана система автоматизации процессов тестирования программного обеспечения с использованием параллелизация тестов. Целью данной работы было создание системы для автоматической проверки функционала тестируемого объекта с удобным интерфейсом вывода ошибок. Согласно поставленной цели была разработана и протестирована система автоматизации процессов тестирования программного обеспечения с использованием параллелизация тестов. В диссертации разработаны структурная схема, схема последовательности, диаграмма вариантов использования, алгоритм работы системы и другие. В работе рассмотрены особенности некоторых инструментов для автоматизации тестирования и успешно использовании на практике. Значительное внимание в работе уделено разработке фреймворка для тестирования, благодаря которому скорость написания автоматизированных тестов значительно возрастает. При этом была разработана схема работы системы и рабочую программу на языке Java. Результаты этого моделирования подтвердили достоверность теоретических сведений. Работа может быть полезна для компаний, нацеленных на развитие направления тестирования, автоматизации процесса тестирования и повышения качества своего продукта, поскольку в работе описаны необходимые теоретические основы, более того, проанализированы критерии эффективности процесса тестирования.
36
Ekström, Per, and Elisabeth Eriksson. "REDUNDANT FIRMWARE TEST SETUP IN SIMULATION AND HARDWARE: A FEASIBILITY STUDY." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-40057.
Повний текст джерелаАнотація:
A reliable embedded real-time system has many requirements to fulfil. It must meet target deadlines in a number of situations, most of them in a situation that puts heavy stress on the system. To meet these demands, numerous tests have been created which test the hardware for any possible errors the developers might think of, in order to maximise system reliability and stability. These tests will take a lot of time to execute, and as system complexity grows, more tests are introduced leading to even longer testing times. In this thesis, a method to reduce the testing time of the software and, to a lesser extent, the hardware is examined. By using the full system simulator Simics, an existing industry system from ABB was integrated and tests were performed. A proof of concept test suite for automatic redundancy tests was also implemented. By looking at the test results, it was concluded that the method shows promise. However, problems with the average latency and performance troubles with Simics shows that more work must be put into this research before the system can be run at full speed.
37
Wächter, Thomas. "Semi-automated Ontology Generation for Biocuration and Semantic Search." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-64838.
Повний текст джерелаАнотація:
Background:
In the life sciences, the amount of literature and experimental data grows at a tremendous rate. In order to effectively access and integrate these data, biomedical ontologies – controlled, hierarchical vocabularies – are being developed.
Creating and maintaining such ontologies is a difficult, labour-intensive, manual process. Many computational methods which can support ontology construction have been proposed in the past. However, good, validated systems are largely missing.
Motivation:
The biocuration community plays a central role in the development of ontologies. Any method that can support their efforts has the potential to have a huge impact in the life sciences.
Recently, a number of semantic search engines were created that make use of biomedical ontologies for document retrieval. To transfer the technology to other knowledge domains, suitable ontologies need to be created. One area where ontologies may prove particularly useful is the search for alternative methods to animal testing, an area where comprehensive search is of special interest to determine the availability or unavailability of alternative methods.
Results:
The Dresden Ontology Generator for Directed Acyclic Graphs (DOG4DAG) developed in this thesis is a system which supports the creation and extension of ontologies by semi-automatically generating terms, definitions, and parent-child relations from text in PubMed, the web, and PDF repositories. The system is seamlessly integrated into OBO-Edit and Protégé, two widely used ontology editors in the life sciences. DOG4DAG generates terms by identifying statistically significant noun-phrases in text. For definitions and parent-child relations it employs pattern-based web searches. Each generation step has been systematically evaluated using manually validated benchmarks. The term generation leads to high quality terms also found in manually created ontologies. Definitions can be retrieved for up to 78% of terms, child ancestor relations for up to 54%. No other validated system exists that achieves comparable results.
To improve the search for information on alternative methods to animal testing an ontology has been developed that contains 17,151 terms of which 10% were newly created and 90% were re-used from existing resources. This ontology is the core of Go3R, the first semantic search engine in this field. When a user performs a search query with Go3R, the search engine expands this request using the structure and terminology of the ontology. The machine classification employed in Go3R is capable of distinguishing documents related to alternative methods from those which are not with an F-measure of 90% on a manual benchmark. Approximately 200,000 of the 19 million documents listed in PubMed were identified as relevant, either because a specific term was contained or due to the automatic classification. The Go3R search engine is available on-line under www.Go3R.org.
38
Halvarsson, Hampus. "Automated Testing of HVDC Control & Protection Systems : A study on Automated Regression Testing." Thesis, Uppsala universitet, Institutionen för teknikvetenskaper, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-369130.
Повний текст джерелаАнотація:
Testing is an important activity when developing a system. Testing requires resources in terms of time, labour and money. By correctly automating the tests, the development time may either be shortened or there will be a possibility to run more tests. ABB in Ludvika has developed MACH, a control & protection system for HVDC (high power electrical transmission over long distances) applications. During development of the control & protection system for each HVDC project, which are all unique, the system is today tested manually, which takes considerable time.This thesis project studies the possibility of automating parts of the MACH system tests, by investigating current testing procedures, the control & protection system itself, and how a test tool may interact with the system. Using this information a test framework, aimed towards test automation, was created, and a simple test execution tool was developed. A new test case, a combination of multiple smaller test cases, ranon the system using the test execution tool.The outcome proves the proof of concept of automating parts of the system tests.The economics and the scope of the automated testing however, is dependent on how automation is implemented.
39
Novák, Milan. "Automatický obchodní systém na trzích CFD." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2014. http://www.nusl.cz/ntk/nusl-224708.
Повний текст джерелаАнотація:
This thesis deals with design, optimization and testing of an automated trading system intended for trading CFD contracts. The strategy is based on a combination of a moving average and a custom indicator, which gives signals based on convergence of signals of other monitored indicators. The designed automated trading system also contains a simple, but efficient money management. It is responsible for risking a constant portion of current account balance on each trade. The thesis continues with comparison of three ways to optimize chosen input parameters and comparison of performance of the strategy for ten tested market symbols.
40
Jain, Arnav. "Automated Testing of HVDC Control & Protection Systems A study on Automated Regression Testing." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-356157.
Повний текст джерелаАнотація:
Testing is an important activity when developing a system. Testing requires resources in terms of time, labour and money. By correctly automating the tests, the development time may either be shortened or there will be a possibility to run more tests. ABB in Ludvika has developed MACH, a control & protection system for HVDC (high power electrical transmission over long distances) applications. During development of the control & protection system for each HVDC project, which are all unique, the system is today tested manually, which takes considerable time.This thesis project studies the possibility of automating parts of the MACH system tests, by investigating current testing procedures, the control & protection system itself, and how a test tool may interact with the system. Using this information a test framework, aimed towards test automation, was created, and a simple test execution tool was developed. A new test case, a combination of multiple smaller test cases, ranon the system using the test execution tool.The outcome proves the proof of concept of automating parts of the system tests.The economics and the scope of the automated testing however, is dependent on how automation is implemented.
41
Brännström, Gustaf. "Automated software testing for cross-platform systems." Thesis, Umeå universitet, Institutionen för datavetenskap, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-56327.
Повний текст джерелаАнотація:
SILK is the preferred audio codec to use in a call between Skype clients. Everytime the source code has been changed there is a risk the code is no longer bit-exact between all the dffierent platforms. The main task for this thesis is to make it possible to test bit-exactness between platforms automatically to save resources for the company. During this thesis a literature study about software testing has been carried out to find a good way of testing bit-exactness between different platforms. The advantages and disadvantages with the different testing techniques was examined during this study. The result of the thesis is a framework for testing bit-exactness between several different platforms. Based on the conclusions from the literature study the framework is using a technique called data-driven testing to carry out the bit-exactness tests on SILK.
42
Holm, Oscar. "Improving the Development of Safety Critical Software : Automated Test Case Generation for MC/DC Coverage using Incremental SAT-Based Model Checking." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-161335.
Повний текст джерелаАнотація:
The importance and requirements of certifying safety critical software is today more apparent than ever. This study focuses on the standards and practices used within the avionics, automotive and medical domain when it comes to safety critical software. We identify critical problems and trends when certifying safety critical software and propose a proof-of-concept using static analysis, model checking and incremental SAT solving as a contribution towards solving the identified problems. We present quantitative execution times and code coverage results of our proposed solution. The proposed solution is developed under the assumptions of safety critical software standards and compared to other studies proposing similar methods. Lastly, we conclude the issues and advantages of our proof-of-concept in perspective of the software developer community
43
Bezděk, Petr. "Investiční modely v prostředí finančních trhů." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2016. http://www.nusl.cz/ntk/nusl-234818.
Повний текст джерелаАнотація:
The content of my master´s thesis is the creation of automatic trading system which will be applied on real trading account mainly on financial markets of currency pairs. The thesis is divided to several parts where the theoretical part will introduce the problem of trading on financial markets. Following part analyses needs of small trader on the financial markets, selecting suitable instruments which will be used in automatic trading system. The part of the own solution design will create the mentioned automatic trading system which will be applied on broker´s demo account where the system will be tested mainly on historical data. Based on test results, system will be optimized and in case of usable results of testing also system will be applied on real trading account in trading company.
44
Andersson, Sebastian, and Gustav Carlstedt. "Automated Testing of Robotic Systems in Simulated Environments." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-44572.
Повний текст джерелаАнотація:
With the simulations tools available today, simulation can be utilised as a platform for more advanced software testing. By introducing simulations to software testing of robot controllers, the motion performance testing phase can begin at an earlier stage of development. This would benefit all parties involved with the robot controller. Testers at ABB would be able to include more motion performance tests to the regression tests. Also, ABB could save money by adapting to simulated robot tests and customers would be provided with more reliable software updates. In this thesis, a method is developed utilising simulations to create a test set for detecting motion anomalies in new robot controller versions. With auto-generated test cases and a similarity analysis that calculates the Hausdorff distance for a test case executed on controller versions with an induced artificial bug. A test set has been created with the ability to detect anomalies in a robot controller with a bug.
45
Nečas, Radek. "Systém pro kontinuální integraci projektu k-Wave." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2016. http://www.nusl.cz/ntk/nusl-255473.
Повний текст джерелаАнотація:
The main goal of this thesis is to describe the implementation of continuous integration into the k-Wave project. The thesis focuses primarily on the version written in the C/C++ language with the usage of the OpenMP library which typically runs on supercomputers. Accordingly, many of popular workflows and approaches ought to be adapted, a few more created. The outcome of the thesis is a complete solution with real and practical usage. The author provides design, tools selection, runtime environment administration and configuration for each one of the used services. Software implementation of the basic framework is used in order to utilize running tests on the supercomputers. Furthermore, the implementation of chosen types of regression and unit tests are performed. Realisation is based on Gitlab and Jenkis services that are running on separated Docker containers.
46
Tienaho, Marjaana, and Jesus Barrio. "Automated testing in changeable systems -Techniques to support modifications." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2585.
Повний текст джерелаАнотація:
Due to the fast enlargement and complexity of systems used among telecommunication companies, the need for automatically testing has grown. The changeable nature of these systems makes implementation of automated testing to a difficult task. Finding an automated testing technique that is suitable for these types of systems is the subject of this thesis and several different types of scripting techniques has been considered. To be able to conduct this, an industrial case study is used; which shows how scripting techniques are affected by different types of changeability occurring in a system.Marjaana Tienaho E-mail: Marjaana_tienaho@spray.se Jesús Barrio E-mail: jesus_barrio@hotmail.com E-mail: jesus_barrio@hotmail.com
47
Fedor, Denis. "SW pro ovládání klimatických zkoušek." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2017. http://www.nusl.cz/ntk/nusl-316374.
Повний текст джерелаАнотація:
This thesis deals with control of a specific climate chamber used for various climate tests. Therefore its elaboration starts with the identification of properties of this climate chamber and basic design of its control. This is followed by measuring the temperature distribution in its internal space in order to verify the usability of this climate chamber. The thesis also does not omit a description of the communication options between climate chamber and application for control of climate tests. The next part of this thesis concerns the design and implementation of the application for control of climate tests itself. On its output is a report of the performed climate test. In the end this thesis contains the description of program testing in the real operation of the company and other possible improvements of the implemented program.
48
Nilsson, Robert. "A Mutation-based Framework for Automated Testing of Timeliness." Doctoral thesis, Linköping : Department of Computer and Information Science, Linköping University, 2006. http://www.bibl.liu.se/liupubl/disp/disp2006/tek1030s.pdf.
Повний текст джерела
49
Gustafsson, Joakim. "AUTOMATIC BRAKING DISC ANALYSIS SYSTEM." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28217.
Повний текст джерелаАнотація:
Volvo Group Truck Technology has the ambition to automate parts of their routine service. Therefore a project was launched to investigate which parts of the routine that could be automated. The idea of this project is to lower the time spent on the service and also improve the working environment for the personnel. The purpose of this thesis is to develop and build a conceptional prototype for a low-cost crack detecting sensor. This thesis is a part of a larger proof of concept project which Volvo GTT runs in cooperation with Robotdalen and Robot Application Center (RAC). The work done in this thesis has been based on literature studies, interviews and company visits. The gathered knowledge and observations was translated into what would be required to fit the needs. This thesis covers different techniques that could be used to detect flaws in braking discs. However, this thesis is mostly focused on one non-destructive method technique based on induced eddy currents. Several non-destructive techniques and conceptual designs has been tested and evaluated with varying results during this project. The result of this thesis was a design that reacts to discontinuities in conductive materials, such as the grey cast iron material used in the Volvo trucks braking discs. The results are represented as a voltage drop change and can be visualized by an oscilloscope. This study shows that the method of choice has the potential to be used as a crack detecting system and that the system can be built reliable with rather cheap components. Further development should aim towards making the design even cheaper and the components should be assembled on a PCB instead of a breadboard in order to make the system less sensitive to noise and easier to assemble alongside the trucks braking discs.
50
Shtakova, Maryna. "Evaluation of methods for automated testing in large-scale financial systems." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-176748.
Повний текст джерелаАнотація:
Nowadays automated testing technologies are widely used by companies to make testing of software applications effective and save time and effort applied during a manual testing. Automated testing uses different approaches: from the oldest “record and playback” test method to the modern non-scripting method. All existing testing tools are based on one of these testing methods or their combinations and can be used with varying effectiveness in testing of real software products. The purpose of this thesis work was to compare testing methods in “real life” – by applying them to the large-scale financial system “Scila Surveillance”. To achieve this goal, it was decided to select several testing tools with different testing methods in a basis, evaluate them and select the best one for the automation of functional testing of the graphical user interface in the Scila company. Evaluation was done based on the list of criteria, defined at the beginning of the thesis work and with attention to requirements for a testing tool stated by Scila. Decision matrix method was used to make a final decision about the best testing tool. It was found that it is complicated to select a testing method which will fulfill all the requirements and expectations completely. The solution taken was to combine a non-scripting testing tool, which includes basic necessary functionality and allows producing test cases quickly with a scripting testing tool, which supports extraordinary test scenarios in case of need.