To see the other types of publications on this topic, follow the link: TESTING FRAMEWORKS.
Dissertations / Theses on the topic 'TESTING FRAMEWORKS'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'TESTING FRAMEWORKS.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Torkar, Richard. "Towards automated software testing : techniques, classifications and frameworks /." Karlskrona : Blekinge Institute of Technology, 2006. http://www.bth.se/fou/Forskinfo.nsf/allfirst2/f1a6d04995a3622cc125719c004d9714?OpenDocument.
Full text
2
Esbjörnsson, Linus. "Android GUI Testing : A comparative study of open source Android GUI testing frameworks." Thesis, Högskolan i Skövde, Institutionen för informationsteknologi, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-11107.
Full textAbstract:
Android is one of the most popular mobile operating systems on the market today with a vast majority of the market share when it comes to mobile devices. Graphical user interfaces (GUI) are often seen on the applications on these devices. Testing of these GUIs is important since they often make up for half of the source code of the application, and they are used to interact with the application. Automating these tests is very useful since it saves a lot of time, but can be difficult. The tools that are available for automating the tests are often not suitable for the developers’ needs, because of the lack of functionality. Therefore, the need for a characterization of the frameworks is needed, so that developers more easily can fit a framework for their needs. In this study, four open source frameworks for Android GUI testing have been selected for evaluation: Robotium, Selendroid, UI Automator and Espresso. Criteria used in the evaluation have been identified with the help of a literature analysis.The results show that two of the frameworks, Robotium and Espresso, lack the ability to fully test activities, which is the main component of Android application GUIs. Furthermore, the study resulted in characterizations of the frameworks.
3
Munjal, Surender. "Foreign acquisitions by Indian multinational enterprises : testing and extending internationalisation frameworks." Thesis, University of Leeds, 2013. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.616300.
Full textAbstract:
Since the turn of the 21st century, Indian multinationals (MNEs) have gained significance in the world economy due to the rising trend of outward foreign direct investment (FDI) undct1akcl1 by them via foreign acquisitions. Using quantitative methods of data analysis on foreign acquisitions undertaken by Indian MNEs, between 2000 and 2007, and the Ownership-Location-Internalisation (OLl) and Linkage-Leverage-Learning (LLL) frameworks from international business literature, this thesis explores the determinants of outward FDI undertaken by Indian MNEs through acquisitions. It finds that both the OLI and the LLL frameworks explain different facets of internationalisation behaviour of Indian MNEs. It also examines the complementarity between these frameworks and finds that the OLI and LLL frameworks do not compete but rather complement each other. This complementarity among tenets underlying the frameworks is found at country- and firm-level units of analysis. This thesis makes academic and practical contributions. Academically, the thesis makes empirical and theoretical contributions by testing and extending the OLI-and LLL frameworks. Practically, it provides guidance to managers in devising internationalisation strategies and to regulators for formulating policies that are coherent with the internationalisation strategies of the firm.
4
McLaggan, Martyn Scott. "Novel fire testing frameworks for Phase Change Materials and hemp-lime insulation." Thesis, University of Edinburgh, 2016. http://hdl.handle.net/1842/15896.
Full textAbstract:
Modern buildings increasingly include the usage of innovative materials aimed at improving sustainability and reducing the carbon footprint of the built environment. Phase Change Materials (PCMs) are one such group of novel materials which reduce building energy consumption. These materials are typically flammable and contained within wall linings yet there has been no detailed assessment of their fire performance. Current standard fire test methods provide means to compare similar materials but do not deliver knowledge on how they would behave in the event of a real fire. Thus, the aim of this thesis is to develop a novel testing framework to assess the behaviour of these materials in realistic fire scenarios. For PCMs, a flammability study is conducted in the bench-scale cone calorimeter to evaluate the fire risk associated with these materials. Then, micro-scale Thermogravimetric Analysis (TGA) is used to identify the fundamental chemical reactions to be able to confidently interpret the flammability results. Finally, intermediate-scale standard fire tests are conducted to evaluate the applicability of the bench-scale results to realistic fire scenarios. These take the form of modified Lateral Ignition and Flame spread Test (LIFT) and Single Burning Item (SBI) tests to understand flame spread and compartment fires respectively. Finally, a simplified method to combine this knowledge for use in building design is proposed. This method allows the balancing of potential energy benefits with quantified fire performance to achieve the specified goals of the designer. Hemp-lime insulation is a material which has also becoming increasingly popular in the drive towards sustainability. The porous nature of the material means that smouldering combustions are the dominant reaction mode but there is currently no standardised test method for this type of behaviour. Thus, hemp-lime materials also represent an unquantified risk. The work in this thesis defines a simple, accessible and economically viable bench-scale method for quantifying the fire risk associated with rigid porous materials. This is applicable for both downward opposed flow and upward forward flow smoulder propagation conditions. The behaviour is then interpreted using micro-scale thermogravimetric analysis to understand the underlying pyrolysis and oxidation reactions. Designers can utilise this framework to quantify the smouldering risk associated with hemp-lime materials to enable their usage in the built environment. The holistic fire risk assessment performed in this thesis has quantified the behaviour of PCMs and hemp-lime insulation applicable to realistic fire scenarios. The simplified design method empowers designers to be able to realise innovative buildings through fundamental understanding of the fire behaviour of these materials. The outcomes of this thesis allow designers to mitigate the fire risk associated with these materials and achieve optimised engineering solutions. Furthermore, the novel fire testing frameworks provide the economically viable means to assess the fire performance of future PCMs and hemp-lime products which ensures lasting relevance of this research in the future.
5
Söderlund, Sverker. "Performance of REST applications : Performance of REST applications in four different frameworks." Thesis, Linnéuniversitetet, Institutionen för datavetenskap (DV), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-64841.
Full textAbstract:
More and more companies use a REST architecture to implement applications for an easy to use API. One important quality attribute of an application is the performance. To be able to understand how the application will perform it is important to know how the selected framework perform. By testing the performance of different frameworks it will become easier for software developers to choose the right framework to achieve their requirements and goals. At the time when this paper was written the research in this area was limited. This paper answered the question of which framework between Express, .NET Core, Spring and Flask that had the best performance. To be able to know how frameworks performed the author needed to measure them. One way of measuring performance is with response time from the server. The author used a controlled experiment to collect raw data from which the results was drawn. The author found out that Spring had the best overall performance between the different categories. By analysing the results the author also found out that performance differed a lot between the frameworks in some categories.
6
Bocken, Nancy Maria Petronella. "Reducing CO₂ emissions associated with fast moving consumer goods : development and testing of tools and frameworks." Thesis, University of Cambridge, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.610070.
Full text
7
Baktha, Kishore. "Evaluating the Performance and Capabilities of Popular Android Mobile Application Testing Automation Frameworks in Agile/ DevOps Environment." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-281984.
Full textAbstract:
The number of mobile applications has increased tremendously over the last decade, thereby also having increased the importance of mobile application testing. Testing is a very crucial process in the development of a mobile application to ensure reliability and proper functionality. In an Agile/DevOps environment, test automation is an integral part in order to support the continuous integration and continuous delivery/deployment principle. There is a plethora of mobile application testing automation frameworks available in the market today. Android testing frameworks were chosen for this study because of the prevalence of Android applications in the market today. The focus of this study is the comparison of the most popular mobile application testing automation frameworks in terms of performance and capabilities in an Agile/DevOps environment. In order to achieve this, firstly, the three most popular mobile application testing automation frameworks to be used for the study were identified. Secondly, the Key Performance Indicators and capabilities to be used for comparison of the frameworks were identified. Then, test cases in a complex mobile application were designed for analysing the frameworks based on the criteria gathered. Finally, the test cases were integrated in a Continuous Integration/ Continuous Delivery pipeline to gather results and perform a more detailed comparison in an Agile/DevOps environment. From this study, Espresso turned out to be the best framework in terms of KPI analysed beating the other frameworks in all the KPIs, while Robotium was second best followed by Appium. But on the other hand, Appium was the best framework in terms of capabilities by having ability to execute the maximum number of capabilities analysed followed by Robotium while Espresso was the worst framework in this criteria.<br>Antalet mobilapplikationer har ökat enormt under det senaste decenniet och därmed har även vikten av mobilapplikationstest ökat. Testning är en mycket viktig process i utvecklingen av en mobilapplikation för att säkerställa tillförlitlighet och korrekt funktionalitet. I en Agile/DevOps miljö är testautomation en viktig del för att stödja principen av kontinuerlig integration och kontinuerlig leverans/driftsättning. Det finns en mängd ramverk för automatiserad testning av mobilapplikationer på marknaden idag. Testramverk för Android valdes för denna studie på grund av utbredningen av Android-applikationer på marknaden idag. Fokus för denna studie är jämförelsen av de mest populära automatiserade testramverk för mobilapplikationer med avseende på prestanda och lämplighet i en Agile/DevOps miljö. För att uppnå detta, identifierades först de tre mest populära automatiserade testramverk för mobilapplikationer som skulle användas för studien. Sedan identifierades de viktigaste resultatindikatorerna och kapaciteterna som skulle användas för att jämföra ramverken. Därefter designades testfall i en komplex mobilapplikation för att analysera ramverken baserat på de bestämda kriterierna. Slutligen integrerades testfallen i en pipeline för kontinuerlig integration /kontinuerlig leverans för att samla resultat och utföra en mer detaljerad jämförelse i en Agile/DevOps miljö. Från denna studie visade sig Espresso vara det bästa ramverket när det gäller KPI-analys, som slog de andra ramarna i alla KPI: er, medan Robotium var näst bäst följt av Appium. Men å andra sidan var Appium det bästa ramverket med avseende på kapacitet. Den hade förmågan att utföra det maximala antalet kapacitet som analyserades, följt av Robotium medan Espresso var det sämsta ramverket i dessa kriterier.
8
VERTUCCI, VINCENZO. "Frameworks and veneering materials in posterior dental arches rehabilitation, a bio-faithful mechanical simulation: a post-testing analysis." Doctoral thesis, Università degli Studi di Roma "Tor Vergata", 2016. http://hdl.handle.net/2108/201720.
Full text
9
Fayyaz, Ali Raza, and Madiha Munir. "Performance Evaluation of PHP Frameworks (CakePHP and CodeIgniter) in relation to the Object-Relational Mapping, with respect to Load Testing." Thesis, Blekinge Tekniska Högskola, Institutionen för datalogi och datorsystemteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4116.
Full textAbstract:
Context: Information technology is playing an important role in creating innovation in business. Due to increase in demand of information technology, web development has become an important field. PHP is an open source language, which is widely used in web development. PHP is used to develop dynamic web pages and it has the ability to connect with database. PHP has some good features i.e. cross platform compatibility, scalability, efficient execution and is an open source technology. These features make it a good choice for developers to choose PHP for web development. The maintenance of an application becomes difficult and performance being considerably reduced, if PHP is to be used without using its frameworks. To resolve these issues, different frameworks have been introduced by web development communities on the internet. These frameworks are based on Model, View, Controller design pattern. These frameworks provide, different common functionalities and classes in the form of helpers, components, and plug-in to reduce the development time. Due to these features like robustness, scalability, maintainability and performance, these frameworks are mostly used for web development in PHP, with performance being considered the most important factor. Objectives:The objective of this thesis is to compare and analyze the affect of data abstraction layer (ORM) on the performance of two PHP frameworks. These two frameworks are CakePHP and CodeIgniter. CAKEPHP has built-in support of object-relational mapping (ORM) but CodeIgniter has no built-in support of object-relational mapping (ORM). We considered load testing and stress testing to measure the performance of these two frameworks. Methods: We performed the experiment to show the performance of CakePHP (with ORM) and CodeIgniter (no ORM) frameworks. We developed two applications in both the PHP frameworks, with the same scope and design and measured the performance of these applications, with respect to load testing, with automated testing tool. The results have been obtained by testing the performance of both the applications on local and live servers. Conclusions:After analyzing the results we concluded that CodeIgniter is useful for small and medium sized applications. But CAKEPHP is good for large and enterprise level applications, as in stress conditions the CAKEPHP performed better than CodeIgniter on both local and live environment.
10
Cagnin, Maria Istela. ""PARFAIT: uma contribuição para a reengenharia de software baseada em linguagens de padrões e frameworks"." Universidade de São Paulo, 2005. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08092005-152316/.
Full textAbstract:
A necessidade de evolução de sistemas legados tem aumentado significativamente com o surgimento de novas tecnologias. Para apoiar essa tendência, diversos métodos de reengenharia têm sido propostos. No entanto, poucos possuem apoio computacional efetivo, alguns utilizam padrões de projeto ou padrões específicos de reengenharia, e nenhum utiliza framework baseado em linguagem de padrões. Este trabalho está inserido no domínio de Sistemas de Informação. Propõe a elaboração de um arcabouço de reengenharia ágil baseado em framework, que realiza a engenharia reversa do sistema legado com o apoio de linguagem de padrões de análise, fornecendo entendimento e documentação necessários para instanciar o framework. O entendimento do sistema legado também é apoiado pela sua execução, por meio de casos de teste. Esses casos de teste são utilizados posteriormente para validar o sistema alvo. O framework, cuja construção é baseada em linguagem de padrões, é utilizado para obter o projeto e a implementação do sistema alvo. Para permitir a reengenharia com o apoio do arcabouço definido, um processo ágil de reengenharia foi criado. Como no desenvolvimento de software, grande parte do tempo da reengenharia é despendido com atividades de VV&T. Para minimizar esse problema, uma abordagem de reúso de teste é proposta. Essa abordagem agrega recursos de teste aos padrões da linguagem de padrões de análise, permitindo o reúso, não somente das soluções de análise, como também dos recursos de testes associados. O uso de framework na reengenharia de software colabora para a sua evolução, pois o domínio ao qual pertence pode evoluir, já que nem todos os requisitos do domínio do framework podem ter sido elicitados durante o seu desenvolvimento. Assim, nesta tese é proposto também um processo de evolução de frameworks de aplicação. Os processos e a abordagem propostos são associados ao arcabouço definido para apoiar sua efetividade. Além disso, para avaliar o processo ágil de reengenharia, que fornece reúso em diversos níveis de abstração, um pacote de experimentação também é parcialmente definido. Estudos de caso e exemplos de uso foram conduzidos com os produtos definidos. Ressalta-se que outros estudos devem ser conduzidos para permitir a determinação de resultados com significância estatística.<br>The need to evolve legacy systems has increased significantly with the advent of new technologies. To support this tendency, several reengineering methods have been proposed. However, few have effective computing support, some use design patterns or reengineering specific patterns and none use pattern language-based frameworks. This thesis's theme belongs to the Information Systems domain. An agile framework based reengineering infrastructure is proposed for the legacy system reverse engineering with the support of an analysis pattern language; also provided the understanding and documentation necessary for framework instantiation. The legacy system understanding is also supported by its execution with test cases. These are also subsequently used to validate the target system. The framework, whose construction is based on the analysis pattern language, is used to obtain the target system design and implementation. To allow the reengineering with the infrastructure support, an agile reengineering process has been created. As in software development, a large portion of the reengineering time is spent with VV&T activities. To minimize this problem, a testing reuse approach is proposed in this thesis. This approach aggregates test resources to the patterns of the analysis pattern language allowing reuse, not only of the analysis solutions, but also of the associated test resources. The framework used in software reengineering contributes to its evolution, as the domain to which they belong may evolve, and some of the framework domain requirements might not have been elicited during its development. Thus, in this thesis, a process for application framework evolution is also proposed. The processes and the approach are associated to the infrastructure defined to support its effectiveness. Furthermore, to evaluate the agile reengineering process that provides reuse at several abstraction levels, an experimentation package is also partially defined. Case studies and examples of use have been conducted with the products defined. We stress that other studies have to be done to enable the determination of results with statistical significance.
11
Wang, Ruoya. "Novel theoretical and experimental frameworks for multiscale quantification of arterial mechanics." Diss., Georgia Institute of Technology, 2013. http://hdl.handle.net/1853/47718.
Full textAbstract:
The mechanical behavior of the arterial wall is determined by the composition and structure of its internal constituents as well as the applied traction-forces, such as pressure and axial stretch. The purpose of this work is to develop new theoretical frameworks and experimental methodologies to further the understanding of arterial mechanics and role of the various intrinsic and extrinsic mechanically motivating factors. Specifically, residual deformation, matrix organization, and perivascular support are investigated in the context of their effects on the overall and local mechanical behavior of the artery. We propose new kinematic frameworks to determine the displacement field due to residual deformations previously unknown, which include longitudinal and shearing residual deformations. This allows for improved predictions of the local, intramural stresses of the artery. We found distinct microstructural differences between the femoral and carotid arteries from non-human primates. These arteries are functionally and mechanically different, but are geometrically and compositionally similar, thereby suggesting differences in their microstructural alignments, particularly of their collagen fibers. Finally, we quantified the mechanical constraint of perivascular support on the coronary artery by mechanically testing the artery in-situ before and after surgical exposure.
12
Baumann, Sophie [Verfasser]. "Testing a stage and a non-stage tailored model as frameworks for understanding longitudinal drinking patterns in individuals with unhealthy alcohol use / Sophie Baumann." Greifswald : Universitätsbibliothek Greifswald, 2016. http://d-nb.info/1095111337/34.
Full text
13
Mudduluru, Sandhya. "Investigation of Test-Driven Development based on Mock Objects for Non-OO Languages." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-78643.
Full textAbstract:
In traditional software development, bug detection or testing comes as an afterthought. However, bugs are difficult to detect in the later stages of software development that result in long debugging time. Usually, bugs are left out because of higher concentration on development effort, leaving lesser time for testing. Test-Driven Development (TDD) is a software development process that can reduce the debugging time by catching most of the bugs during development. The development is carried on in small and repeated steps based on test cases. However, TDD is designed to work for object-oriented languages. This thesis investigates the suitability of TDD for non-Object Oriented (OO) languages such as C. TDD can be used with C language with the help of stubbing concept. This thesis also evolves the concepts of stubs and mocks in TDD to be used with C to solve dependency related problems. Finally this thesis analyses some frameworks for TDD in C and provides the trade-offs between them.
14
Bergersen, Erik. "Embedded Unit Testing Framework." Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for datateknikk og informasjonsvitenskap, 2013. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-22986.
Full textAbstract:
This thesis addresses the challenges with unit testing of embedded software. Embedded software uses peripheral devices that are not available during testing, which results in higher barriers to use unit testing, compared to normal software. But even with these barriers there are no problems with unit testing of embedded software. The study looks at challenges with unit testing of Energy Micros software library, and solutions to the problems with automated testing of embedded software. Use of automated testing will reduce the number of errors when code is refactored. Use of unit testing will also make it possible to take advantage of agile methods like test-driven development. The main goals for the study is to see if CMock is suitable for generation of mock modules and if testing with mock modules can reduce the number of errors in software.Unity is a test harness that supports the needed assertions for testing of embedded software. CMock is able to automatic generate mock modules, but has a few problems with inline functions and custom types, but it is possible to solve these problems. Even with these problems CMock is able to generate mock modules that is working, and supports the testing of embedded software.An experiment was performed to see if testing of embedded software with mock modules could reduce the number of errors. The result was significant and showed that the number of errors was reduced by using mock modules, compared development without testing. Observations were also done during the experiment, which found some problems with use of mock modules during testing. The experiment was done by undergraduate students in computer science.Use of unit test and mock modules as a substitute for hardware during automated testing on a native computer, it is possible to reduce the numbers of errors and refactor code without breaking the existing functionality.
15
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.
Full textAbstract:
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.
16
Chaitanya, Challa. "Testing roadmap for generalized agile framework." Thesis, University West, Department of Technology, Mathematics and Computer Science, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-566.
Full textAbstract:
<p>Testing in Agile development frameworks has engaged the concentration of software developers throughout the world. The research regarding this testing is however limited. This paper comprises a literature survey study, which intends to categorize and examine the current existing testing frameworks in agile methodology. The comparative study is done with the Test Driven Development (TDD) and Agile Model Driven Development (AMDD) techniques. The results show the benefits and drawbacks of the current existing testing frameworks in agile methodology in general. However many techniques still make every effort to get the general solutions. Basing on our results general ideas are suggested regarding the testing frameworks in agile methodology.</p>
17
Coffman, Thayne R. (Thayne Richard). "A framework for automated system testing." Thesis, Massachusetts Institute of Technology, 1996. http://hdl.handle.net/1721.1/40188.
Full textAbstract:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996.<br>Includes bibliographical references (leaves 70-73).<br>by Thayne R. Coffman.<br>M.Eng.
18
Study, Daniell Jean. "INVESTIGATING EMPLOYABILITY: TESTING THE RAW FRAMEWORK." CSUSB ScholarWorks, 2018. https://scholarworks.lib.csusb.edu/etd/764.
Full textAbstract:
In a recent model of employability, Hogan, Chamorro-Premuzic, and Kaiser (2013) defined employability as the ability to gain and maintain employment and find new employment when necessary. The authors presented employability as a formative construct containing an ability dimension (the ability to do the job), a social skills dimension (being rewarding to work with), and a motivational dimension (being willing to work hard). There is no question as to whether these three dimensions affect one’s level of employability; research is abundant on the positive relationships between intelligence, social and emotional skills, motivation and career success. However, little research has been conducted to empirically test employability models in their entirety. Thus, the purpose of this research was to test the RAW model of employability, using various indicators of the three RAW dimensions of employability using structural equation modelling. Surveys were administered electronically eliciting both a student and community sample. Marginal support was found for the hypothesized model with post hoc modifications producing an acceptable fitting model. Findings suggest that having the ability and motivation to do the job are related to being employable. However, being rewarding to work may not impact levels of employability, suggesting that employers may be asking for one thing while rewarding another.
19
Haque, Ehsanul. "An Automated Multi-agent Framework For Testing Distributed System." OpenSIUC, 2013. https://opensiuc.lib.siu.edu/theses/1107.
Full textAbstract:
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.
20
Kolmistr, Tomáš. "Frameworky pro jednotkové testování v jazyce Scala." Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-203973.
Full textAbstract:
This thesis deals with frameworks for unit testing in Scala programming language. In total, there are presented five frameworks in the thesis, two of which are designed for unit testing with mock objekt and three without mock objects. The first, theoretical part aims to introduce concepts regarding testing and Scala programming language. In another part of the thesis there are specified criteria for selecting frameworks, including the criteria for subsequent comparison. In the practical part there are written unit tests according to test scenarios and evaluated the comparison of frameworks.
21
Sidorowicz, Piotr Roald. "A formal framework for modeling and testing memories." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape4/PQDD_0028/NQ51227.pdf.
Full text
22
Hörnlund, Tommy. "Unit Testing and Performance Using Entity Framework 4.0." Thesis, Umeå universitet, Institutionen för datavetenskap, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-68046.
Full textAbstract:
POANGEN is a web application for rent management. The core of the application is a module that performs rent calculations. In the past the application relied heavily on business logic in stored procedures that made the program hard to test and maintain. The purpose of this thesis was tofind a new method for combining unit testing and data access. A new implementation of the rent calculation had to be created that was easier to test, maintain and have good performance. This thesis shows how to combine data access and unit tests using Entity Framework 4.0, an object relational mapping framework from Microsoft. The new module uses the Repository and Specification design patterns to create a data abstraction that is suitable for unit testing. Also the performance of Entity Framework 4.0 is evaluated and compared to traditional data loading and it shows that Entity Framework 4.0 severely lacks in performance when loading or saving large amounts of data. However the use of POCO entities makes it possible to create optimized functionality for time critical data access.
23
Dutta, Rahul Kumar. "A Framework for Software Security Testing and Evaluation." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-121645.
Full textAbstract:
Security in automotive industry is a thought of concern these days. As more smart electronic devices are getting connected to each other, the dependency on these devices are urging us to connect them with moving objects such as cars, buses, trucks etc. As such, safety and security issues related to automotive objects are becoming more relevant in the realm of internet connected devices and objects. In this thesis, we emphasize on certain factors that introduces security vulnerabilities in the implementation phase of Software Development Life Cycle (SDLC). Input invalidation is one of them that we address in our work. We implement a security evaluation framework that allows us to improve security in automotive software by identifying and removing software security vulnerabilities that arise due to input invalidation reasons during SDLC. We propose to use this framework in the implementation and testing phase so that the critical deficiencies of software in security by design issues could be easily addressed and mitigated.
24
Jones, Gary. "Testing mechanisms of development within a computational framework." Thesis, University of Nottingham, 1999. http://eprints.nottingham.ac.uk/11454/.
Full textAbstract:
Theories of development have proposed several mechanisms by which development occurs in children. The majority of the proposed mechanisms lack precise definitions, and are difficult to test individually whilst holding the effects of all other mechanisms constant. Implementing the mechanisms within a computational framework forces precision and enables the effect of each mechanism to be examined in isolation. A computational model of adult behaviour in a developmental task was created. The model included a range of the mechanisms proposed by theories of development, whereas previous computational models of development have examined very few mechanisms. The mechanisms were tested in the model both independently and in combination, with the results being compared against the behaviour of seven year old children on the task. The independent modifications showed that the behaviour of the model changes significantly for four mechanisms: strategy choice, strategy accuracy, capacity, and processing speed. The best mechanism (strategy accuracy), when applied to the adult model, matched seven out of nine regularities in the behaviour of seven year olds, including reaction time and errors. The combined modifications also matched seven year old children's behaviour. The results show that a range of developmental mechanisms can now be routinely tested and evaluated within a single computational model. The method of modifying computational models is an interesting way to examine the influences of developmental mechanisms, and therefore helps in answering "What develops in children?".
25
Jónsson, Ólafur Fannar. "Motorized testing framework for a computer vision application." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-279966.
Full textAbstract:
A successful design and implementation of a modern computer vision system, based on two moving cameras, requires a particular testing infrastructure to be in place. Two pairs of linear actuators, mounted on rigid aluminum frames, separated by a 90◦ angle, were assembled for this purpose. In combination with a Xilinx Zynq-7020 system-on-a-chip, four Trinamic TMC2130 stepper motor drivers and software written explicitly for the project, programmable motion control was made possible. Self-calibrating and positioning functionalities were tested and shown to work with a precision of +/- 1 mm. Successfully fulfilling its stated functionality, the resulting build can thus serve as a foundation for future projects.<br>En lyckad design och implementering av ett modernt system för datorseende baserat på två rörliga kameror, kräver tillgång till en viss testmiljö. Två par av elektriska linjära ställdon, monterade på varsin ram, byggda av aluminiumprofiler och separerade med en 90◦ vinkel, monterades för detta ändamål. I kombination med en Xilinx Zynq-7020 systemkrets, fyra Trinamic TMC2130 stegmotordrivarkretsar och en mjukvara speciellt skriven för detta projekt, blev programmerbar rörelsekontroll möjlig. Självkalibrering och rörelsefunktioner testades och visades fungera med +/- 1 mm precision. Genom att uppfylla sin angivna funktion kan bygget bli en grund för framtida projekt.
26
Ennulat, Harold W. "Emulation framework for testing higher level control methodology." Thesis, This resource online, 1992. http://scholar.lib.vt.edu/theses/available/etd-10102009-020258/.
Full text
27
Albuloushi, Nour M. S. M. J. "Governance configurations: Testing the global value chain framework." Thesis, Queensland University of Technology, 2018. https://eprints.qut.edu.au/116771/2/Nour%20M%20S%20M%20J_Albuloushi_Thesis.pdf.
Full textAbstract:
The Global Value Chain Governance Framework is empirically tested in this thesis. The framework has become a highly influential in determining the governance structure of firms. Despite the framework being widely influential and used extensively across industry-specific case research and international development agencies, there has been limited empirical validation of the framework's predictions. Adopting a two-study quantitative methodology and configuration analysis, in this thesis an important foundational advancement is advanced in the application of configuration analysis to test the GVC governance framework. A foundational elaboration of theory is offered by, first, conceptualising the GVC core concepts and, second, executing empirical research as a basis for developing new theoretical insights.
28
Mačurová, Kateřina. "Testování aplikací s využitím nástroje Robot Framework." Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-262262.
Full textAbstract:
This thesis deals with the methodology used for application testing, using the Robot Framework. Its main objective is to develop a methodology which describes an approach to automated testing using this tool. An important part of the methodology is to design a user guide for the Robot Framework - at the time of writing this thesis assignment, this guide does not exist in the Czech language. In this thesis the basic concepts and approaches to automation testing in accordance with defined objectives are explained. An integral part of this is the description of the Robot Framework, its architecture and tools used, libraries, other built-in tools and the syntax used for creating test cases.
29
Siddiqui, Asher. "Capturing JUnit Behavior into Static Programs : Static Testing Framework." Thesis, Linnaeus University, School of Computer Science, Physics and Mathematics, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-5510.
Full textAbstract:
<p>In this research paper, it evaluates the benefits achievable from static testing framework by analyzing and transforming the <em>JUnit3.8 </em>source code and static execution of transformed code. Static structure enables us to analyze the code statically during creation and execution of test cases. The concept of research is by now well established in static analysis and testing development. The research approach is also increasingly affecting the static testing process and such research oriented work has proved particularly valuable for those of us who want to understand the reflective behavior of <em>JUnit3.8 Framework</em>.</p><p><em> JUnit3.8 Framework</em> uses <em>Java Reflection API</em> to invoke core functionality (test cases creation and execution) dynamically. However, <em>Java Reflection API</em> allows developers to access and modify structure and behavior of a program. Reflection provides flexible solution for creating test cases and controlling the execution of test cases. Java reflection helps to encapsulate test cases in a single object representing the test suite. It also helps to associate each test method with a test object. Where reflection is a powerful tool to perform potential operations, on the other hand, it limits static analysis. Static analysis tools often cannot work effectively with reflection.</p><p>In order to avoid the reflection, <em>Static Testing Framework</em> provides a static platform to analyze the <em>JUnit3.8</em> source code and transform it into non-reflective version that emulates the dynamic behavior of <em>JUnit3.8</em>. The transformed source code has possible leverage to replace reflection with static code and does same things in an execution environment of <em>Static Testing Framework</em> that reflection does in <em>JUnit3.8</em>. More besides, the transformed code also enables execution environment of <em>Static Testing Framework</em> to run test methods statically. In order to measure the degree of efficiency, the implemented tool is evaluated. The evaluation of <em>Static Testing Framework</em> draws results for different Java projects and these statistical data is compared with <em>JUnit3.8</em> results to measure the effectiveness of <em>Static Testing Framework</em>. As a result of evaluation, <em>STF</em> can be used for static creation and execution of test cases up to <em>JUnit3.8</em> where test cases are not creating within a test class and where real definition of constructors is not required. These problems can be dealt as future work by introducing a middle layer to execute test fixtures for each test method and by generating test classes as per real definition of constructors.</p>
30
Motzfeldt, Peter Nicolai. "FunFX : A Framework for Functional Testing of Flex Applications." Thesis, Norwegian University of Science and Technology, Department of Computer and Information Science, 2007. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-8727.
Full textAbstract:
<p>This master thesis presents a new open source framework for functional testing of Flex applications, FunFX. FunFX is a framework that encourages test-driven development. The project was initiated by BEKK due to Flexs lack of a proper tool for functional testing. This report will focus on testing, and will describe central concepts within the area of software testing. Similar testing frameworks for other technologies will also be described and compared to FunFX. It will try to document the usefulness of such an open source tool, and try to discover what entry level this framework imposes on the user. During development, test cases using the framework will be created to be able to document both positive and negative aspects of the framework. A usage test was also arranged, to be able to document the framework better. This test session resulted in valuable information about the usability and the reliability of the created tests. The design and implementation are thoroughly described together with each class created, along with their roles in the framework. The issue of synchronization is handled as its own part. To make the implementation decisions easier to understand, the different design patterns used are elaborated. The final result is a framework that has the ability to interact with a Flex application programmatically. When used together with any test unit framework for Ruby, it is a fully functional testing tool for test-driven development. Source code, a deployable library file of the FunFX Flex adapter, and a gem of the FunFX framework, together with a Flash movie showing the framework in use can be found on the attached CD. Keywords: Framework, Flex, Ruby, Open Source, Software testing, Functional testing, Flash, Test-driven development. Keywords: Framework, Flex, Ruby, Open Source, Software testing, Functional testing, Flash, Test-driven development.</p>
31
Cooper, Amy Rachelle. "The construct of work commitment: testing an integrative framework." FIU Digital Commons, 2002. http://digitalcommons.fiu.edu/etd/2523.
Full textAbstract:
This dissertation meta-analytically examined the expansive material associated with work commitment. Work commitment, a multidimensional construct, encompasses the level of involvement an employee has with his or her work, organization, job, career, and union (Morrow & Goetz, 1998). Each of the dimensions of work commitment has been further divided into a number of subdimensions. The primary purpose of this study was to (1) cumulate the correlations found among each of the dimensions of work commitment to see which, if any, were intercorrelated, and to (2) determine the impact of work commitment dimensions and subdimensions on specific outcome variables (job satisfaction, job performance, and turnover).
A number of interesting results stemmed from the 213 separate meta-analyses that were conducted. First, the evidence did not indicate that all of the subdimensions for each respective dimension were positively correlated. Specifically, there was not enough evidence to indicate that continuance organizational commitment was positively correlated with its other organizational commitment subdimensions. Future research might consider revamping the work commitment taxonomy so that all subdimensions that fall within a particular dimension are interrelated. It might be appropriate, therefore, to drop continuance organizational commitment from the work commitment taxonomy. Second, while most of the respective dimensions were interrelated, this was not the case across the board. For instance, there was no evidence of a significant positive relationship between organizational commitment and union commitment. In fact, the only significant relationship was negative between organizational commitment and belief in unionism. Further, there was no evidence of a positive relationship between union commitment and either work ethic endorsement or job involvement, respectively. These findings supported Morrow’s (1993) rationale for excluding union commitment from the work commitment taxonomy.
32
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.
Full text
33
Liljenberg, Lars. "System Testing of Distributed Systems Using Node-Based Framework." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-260691.
Full textAbstract:
Existing methods for testing distributed systems are discussed and compared. A prototype of a new tool with support for executing distributed tests is developed and discussed. The new tool supports writing tests consisting of multiple nodes which can be coordinated from a master node through the use of remote procedure calls. A detailed description of the design and functionality of the tool is given, as well as an overview of how the tool itself was tested. In addition, a use case is presented where the tool is used for testing a conceptual distributed system, and the tool is found to work well for its intended purpose.
34
Eriksson, Oskar. "A Modular Framework Approach to Regression Testing of SQL." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-229575.
Full textAbstract:
Regression testing of SQL statements in database management systems is a time-consuming process that requires much developer effort. Adding and updating test cases is tedious and validating test case results cannot be done without considering database state. These problems can lead to fewer test cases being used, likely affecting test coverage and the quality of testing negatively. Therefore, it is important to automate and reduce the required workload for this kind of testing. This work proposes a framework for minimizing the required developer effort for managing and running SQL regression tests through a modular framework design. Modularity is achieved through well-defined interfaces and makes it possible to customize large parts of the framework functionality, such as the user interface and test execution, without affecting the rest of the system. While the extensibility is the main result of the thesis work, the default component implementations offer some alleviation of developer effort compared with other existing tools. However, more advanced component implementations should be a high priority for future users, as some usability limitations still exists.
35
Lowry, Orla Mary. "Belfast intonation : testing the ToBI framework of intonational analysis." Thesis, University of Ulster, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.370089.
Full text
36
Flansburg, Kevin. "A framework for automated management of exploit testing environments." Thesis, Georgia Institute of Technology, 2015. http://hdl.handle.net/1853/54912.
Full textAbstract:
To demonstrate working exploits or vulnerabilities, people often share
their findings as a form of proof-of-concept (PoC) prototype. Such practices are particularly useful to learn about real vulnerabilities and state-of-the-art exploitation techniques. Unfortunately, the shared PoC exploits are seldom reproducible; in part because they are often not
thoroughly tested, but largely because authors lack a formal way to specify the tested environment or its dependencies. Although exploit writers attempt to overcome such problems by describing their
dependencies or testing environments using comments, this informal way of sharing PoC exploits makes it hard for exploit authors to achieve the original goal of demonstration. More seriously, these non- or hard-to-reproduce PoC exploits have limited potential to be utilized for other useful research purposes such as penetration testing, or in
benchmark suites to evaluate defense mechanisms. In this paper, we present XShop, a framework and infrastructure to
describe environments and dependencies for exploits in a formal way, and to automatically resolve these constraints and construct an isolated environment for development, testing, and to share with the community. We show how XShop's flexible design enables new possibilities for
utilizing these reproducible exploits in five practical use cases: as a security benchmark suite, in pen-testing, for large scale vulnerability analysis, as a shared development environment, and for regression
testing. We design and implement such applications by extending the
XShop framework and demonstrate its effectiveness with twelve real
exploits against well-known bugs that include GHOST, Shellshock, and Heartbleed. We believe that the proposed practice not only brings immediate incentives to exploit authors but also has the potential to be
grown as a community-wide knowledge base.
37
Arleny, Rebeca Lopez Triana. "A framework for the execution of automated regression testing." Thesis, Malmö högskola, Fakulteten för teknik och samhälle (TS), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-20446.
Full textAbstract:
Inom programvaruutveckling är testning en viktig aktivitet där regressionstest är centralt. Regressionstestning innebär att exekvera om testfall för att säkerställa att de förändringarna som har gjorts i programmet inte har infört nya fel i systemet. Detta görs också med syfte till att kontrollera att systemets befintliga funktioner inte har påverkats negativt av dessa förändringar. Att genomföra regressionstester manuellt är resurskrävande i form av tid och pengar. Därför rekommenderas det att utföra denna aktivitet på ett automatiserat sätt. Ett problem som finns idag med exekvering av automatiserad regressionstest är att testare blir specialiserade på specifika testmiljöer på grund av det används många olika testmiljöer. Därför skulle de inte kunna stödja förbättringen av andra testares arbetsflöde. Således fokuserar denna studie på att beskriva de aktuella arbetssätt inom området exekvering av automatiserade regressionstester samt hur dessa kan utvecklas. Det har varit nödvändigt att genomföra personliga intervjuer samt litteraturstudie för att kunna besvara studiens forskningsfrågor. I detta arbete har det kommits fram till skapandet av en allmän ram för testare att arbeta mer effektivt med genomförandet av automatiserade regressionstestning oavsett testmiljön. Ramverket innehåller 7 faser: (1) Val av testfall, (2) Utföring/Exekvering av tester, (3) Kontroll/Analysera av resultat, (4) Skrivandet av rapport för testresultat, (5) Arkivering av testresultat rapporter, (6) Värdering och tilldelning av uppkommande problem samt (7) Hantering av testcykeln.<br>Software testing is an important activity within the software development area, where regression testing is essential. Regression testing implies re-running test cases in order to ensure that changes made to the software do not introduce new errors and to guarantee that the system’s functionalities have not been affected by those changes. To execute regression testing in manual mode involves valuable resources, specifically time and money. Therefore it is recommended to carry out this activity in an automated manner. A problem that faces the execution of automated regression testing is that testers are becoming specialized in specific test environments due to the existing diversity of tools used. Therefore testers would not be able improve test processes related to different environments. Thus, this paper focuses on identifying the current working manner within the domain of execution of automated regression testing and to improve it. Then, it has been necessary to conduct personal interviews (7) and a literature study in order to answer the study’s questions. This work provides a general framework for testers to work more effectively with execution of automated regression testing regardless of the test environment. The framework includes 7 stages: (1) Select test cases, (2) Execute/Run tests, (3) Monitoring/Analyzing results, (4) Write a report of the test results, (5) Archive the reports of the test results, (6) Estimate and assign the raised problems, and (7) Manage the test cycle.
38
Su, Chuan. "GMock, a Component Testing Framework for gRPC-oriented Services." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-296340.
Full textAbstract:
The Google Remote Procedure Calls (gRPC) framework is arising as a high- performance Remote Procedure Call (RPC) framework with large-scale adoptions for connecting distributed microservices applications. However, testing gRPC-oriented applications is challenging as it requires all the dependent gRPC services to be deployed either locally or remotely, and the test data to be set up correctly in each service prior to testing. We present the design and implementation of a system called GMock, that simulates service composition with test stubs and examines the correctness of the mutual interactions of different components of the system under test (SUT).We have evaluated GMock in terms of its efficiency, coverage and failure detection capability over three real-world microservices applications that are developed in industry. Moreover, we have performed a comparison study among GMock and two open-source testing frameworks, GrpcMock and Grip- Mock, to assess their effectiveness in detecting failures through mutation testing. GMock is efficient in terms of the test run time and is able to achieve relatively high coverage. The results of our comparison experiments show that the test suites written in GMock outperform the test suites of GrpcMock and GripMock in detecting faults, and the test suites written in GMock are able to achieve minimum 97% of the mutation coverage in our experiments, which shows that GMock is capable of testing real-world service-oriented applications that are based on gRPC communication protocol.<br>Google Remote Procedure Calls (gRPC) är ett växande högpresterande så kallat Remote Procedure Call (RPC) ramverk som används på stor skala som ett kommunikationslager mellan distribuerade mikrotjänster. Testning av gRPC- orienterade applikationer kommer med utmaningar. Beroenden till andra gRPC- tjänster behöver uppfyllas antingen genom att sätta upp en miljö lokalt eller på dedikerad hårdvara inklusive att all testdata behöver sättas upp korrekt innan ett test kan genomföras. Vi presenterar en design och implementation av ett system vid namn GKock som simulerar kompositionen av mikrotjänster med teststubbar och inspekterar alla gemensamma interaktioner mellan komponenter i ”system under test” (SUT) och jämför dessa mot förväntat resultat. Vi har evaluerat GMock utefter dess effektivitet, täckning och förmåga att upptäcka fel mot 3 riktiga mikrotjänstapplikationer som är utvecklade och används inom industrin.Vi har ytterligare sammanställt en jämförelse mellan GMock och två andra open- source testramverk, GrpcMock och GripMock med målet att evaluera deras effektivitet att upptäcka fel genom mutationstestning. GMock är effektiv när det gäller testens körtid och dess relativt höga täckningsgrad. Resultaten av vår jämförelse visar att testmiljöer implementerade i GMock Presterade bättre än GrpcMock och GripMock, genom att upptäcka oönskade mutationer, med en täckningsgrad på 97% av totalt antal mutationer i vår simulering. Detta påvisar att GMock är kapabel av att testa mikrotjänst- orienterade applikationer i skarpa miljöer som använder gRPC som kommunikationsprotokoll.
39
Subramanian, Vrishali <1982>. "Development and testing of a framework for sustainable nanotechnology." Doctoral thesis, Università Ca' Foscari Venezia, 2016. http://hdl.handle.net/10579/10350.
Full textAbstract:
The goal of this PhD project is to develop and test a framework for sustainable nanotechnology. The following specific objectives can be spelled out:
1. Review the needs of stakeholders in addressing the complex risks associated with nano-enabled products through the lifecycle, including industry, regulators and the insurance sector a) in the literature and b) by a user elicitation process;
2. Develop a) a conceptual decision framework for sustainable nanotechnology based on TBL and stakeholders’ needs b) a methodology implementing such a framework;
3. Apply the methodology to commercially available nano-enabled products to assess their sustainability.
40
Korneva, Alexandrina. "The Cubicle Fuzzy Loop : A Testing Framework for Cubicle." Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPASG095.
Full textAbstract:
L'objectif de cette thèse est d'intégrer une technique de test dans le model checker Cubicle. Pour cela, nous avons étendu Cubicle avec une boucle de Fuzzing (appelée Cubicle Fuzzy Loop - CFL). Cette nouvelle fonctionnalité remplit deux fonctions principales.Tout d'abord, elle sert d'oracle pour l'algorithme de génération d'invariants de Cubicle. Ce dernier, basé sur une exploration en avant de l'ensemble des états atteignables, était fortement limité par ses heuristiques lorsqu'elles sont appliquées à des modèles fortementconcurrents. CFL apporte une nouvelle manière plus efficace d'explorer ces modèles, en particulier il permet de visiter beaucoup plus d'états pertinents.Son deuxième objectif est de détecter rapidement et efficacement les problèmes et les vulnérabilités dans les modèles de toutes tailles, ainsi que de capturer les deadlocks.L'intégration de CFL nous a également permis d'augmenter l'expressivité du langage d'entrée de Cubicle, avec l'inclusion de nouvelles primitives pour manipuler des threads (verrous, sémaphores, etc.).Enfin, nous avons construit un cadre de test autour de Cubicle et de CFL avec un interpréteur interactif, utile pour le débogage, le prototypage et l'exécution pas à pas des modèles. Ce nouveau système a été appliqué avec succès sur une étude de cas d'un algorithme deconsensus distribué pour blockchains<br>The goal of this thesis is to integrate a testing technique into the Cubicle model checker. To do this, we extended Cubicle with a Fuzzing loop (called the Cubicle Fuzzy Loop - CFL). This new feature serves two primary purposes.Firstly, it acts as an oracle for Cubicle's invariant generation algorithm. The existing algorithm, which is based on a forward exploration of reachable states, was significantly limited by its heuristics when applied to highly concurrent models. CFL introduces amore efficient way to explore these models, visiting a larger number of relevant states.Its second objective is to quickly and efficiently detect issues and vulnerabilities in models of all sizes, as well as detect deadlocks.The integration of CFL has also enabled us to enhance the expressiveness of Cubicle's input language, including new primitives for manipulating threads (locks, semaphores, etc.).Lastly, we built a testing framework around Cubicle and CFL with an interactive interpreter, which is useful for debugging, prototyping, and step-by-step execution of models. This new system has been successfully applied in a case study of a distributed consensus algorithm for blockchains
41
Ashby, Tag G. "Creating a Testing Framework and Workflow for Developers New to Web Application Engineering." DigitalCommons@CalPoly, 2014. https://digitalcommons.calpoly.edu/theses/1253.
Full textAbstract:
Web applications are quickly replacing standalone applications for everyday tasks.
These web applications need to be tested to ensure proper functionality and
reliability. There have been substantial efforts to create tools that assist with the
testing of web applications, but there is no standard set of tools or a recommended
workflow to ensure speed of development and strength of application.
We have used and outlined the merits of a number of existing testing tools
and brought together the best among them to create what we believe is a fully- featured, easy to use, testing framework and workflow for web application devel- opment.
We then took an existing web application, PolyXpress, and augmented its
development process to include our workflow suggestions in order to incorporate
testing at all levels. PolyXpress is a web application that “allows you to create
location-based stories, build eTours, or create restaurant guides. It is the tool
that will bring people to locations in order to entertain, educate, or provide
amazing deals.”[10] After incorporating our testing procedures, we immediately
detected previously unknown bugs in the software. In addition, there is now a
workflow in place for future developers to use which will expedite their testing
and development.
42
Sanfelici, Matteo. "Design e Sviluppo di un Framework di Testing per Microservizi." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/14873/.
Full textAbstract:
Analisi dei requisiti e Progettazione di un framework di testing per microservizi a supporto di un processo di sviluppo agile e congruo con i principi del Development Operation.
Spiegazione di un possibile sviluppo della prima parte relativa alla fase di unit test di microservizi.
43
Utku, Selma. "Web Service Testing For Domain Specific Web Service Discovery Framework." Master's thesis, METU, 2012. http://etd.lib.metu.edu.tr/upload/12614083/index.pdf.
Full textAbstract:
The reliability of web services is important for both users and other service providers, with which they are in interaction. Thus, to guarantee reliability of the web services that are invoked and integrated at runtime, automatic testing of web services is needed.
In web service testing, different test cases for web services are generated. The most important issue is to generate the most appropriate value for input parameters of web services at runtime. In this thesis, we developed a method for automatic web service testing that uses semantics dependency-based and data mutation-based techniques to analyze web services and generate different test cases. Thus, we both check whether the services function correctly by generating appropriate input values from different data sources and check robustness of web services by generating random and error-prone data inputs. With respect to the behaviors of web services, the test values are calculated and saved to the database for each web service.
44
Serbanescu, Diana Alina [Verfasser]. "Testing Framework for Real-time And Embedded Systems / Diana Serbanescu." Berlin : Freie Universität Berlin, 2014. http://d-nb.info/105810487X/34.
Full text
45
Raina, Shivani. "QuickCheck-Style Testing of Embedded Software using the PropEr Framework." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-168373.
Full textAbstract:
Testing is an integral part of any software development. It is important for improving the quality of any product. There are several ways of software testing and one of the most common approaches being random testing. One way of realising random testing is to write generators which can produce suitable input data with the help of inbuilt and/or user defined data types. In this thesis, we have explored this method with the help of QuickCheck. QuickCheck is one of the first frameworks to support random testing written in Haskell. It has been subsequently ported to many other languages, including Erlang, Scala, and C. In this thesis, we have provided a similar framework for reactive embedded software (i.e., system testing) using Erlang version of QuickCheck called PropEr, where the test generator has to create complex program input streams in an online manner. The goal of this thesis is to create a framework by combining an existing QuickCheck implementation for Erlang called PropEr with WindRiver Simics which is an execution platform for embedded software. It involved design and implementation of an interface between the QuickCheck framework and the execution platform. This approach has been verified with the help of a case study. We have chosen an elevator case study for testing our implementation. We have evaluated the framework using the simulation of an elevator system, verifying a number of safety properties by systematic testing. It can be concluded that testing an embedded system using this embedded interface for QuickCheck is possible. There are many improvements that can be made to the interface with respect to providing more generic functions to evaluate the properties of embedded systems.
46
Garigapati, Ratna Pranathi. "A Framework for Effective Test Charter Design for Exploratory Testing." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-13322.
Full textAbstract:
Context. Colossal systems that are evolving are primarily system of systems (SOS). The system of systems are characteristic of functionally independent subsystems. These subsystems exhibit heterogeneity in terms of software or hardware. Each subsystem may reflect heterogeneity in dimensions such as the system complexity, system configuration, programming language and platforms, etc. Exploratory testing (ET) is perceived to be the best for testing such systems. An enhancement to exploratory testing is the session-based test management (SBTM) where several activities form a part of each session. These activities are mainly dependent on tester and the test charter of that session. There is lack of information in existing literature regarding a standard framework to design test charters for exploratory testing which forms the main area of focus of this thesis research. Objectives. Firstly, to investigate the design of test charters in general. Secondly, to find out the factors influencing the design of test charters. Lastly, to develop a framework to design effective test charters in SOS context. Methods. A mixed method approach that incorporates both qualitative and quantitative research methods is used. This research includes the quantitative leg of the online survey along with the interviews and literature review that are qualitative in nature. Literature review has been chosen to investigate the test charter design in general. Besides, interviews and online surveys have been used to research regarding the factors and test charter framework. Snowball sampling method and convenience sampling method have been used to sample the research data. Moreover, thematic analysis method is used for analyzing the qualitative data while descriptive statistics is used for quantitative data analysis. Results. The design aspects of test charter are documented, the factors influencing test charter design and the framework for effective test charter design for exploratory testing are presented. Conclusions. The thesis objectives are fulfilled. The findings on how the test charters are generally designed have helped in gaining insight on the primary elements that constitute a test charter design. Further, investigating the factors influencing the test charter design has helped in knowing the main elements affecting the test charter design. Finally, the main contribution of this thesis, the developed flexible test charter framework for exploratory testing encapsulates variables that should be considered, controlled or varied systematically during the course of testing. It is deemed to act as a guideline for practitioners for effective test charter design.
47
Scholey, Jonathan James. "The development of a quantitative framework for acoustic emission testing." Thesis, University of Bristol, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.492456.
Full textAbstract:
The sensitivity of acoustic emission (AE) testing coupled with its need for relatively few sensors make it an attractive candidate for structural health monitoring (SHM). The vast majority of reported AE testing is case-specific making it difficult to apply results in a practical manner. This thesis describes a novel quantitative framework which links AE source characterisation experiments and AE-based industrial monitoring systems. The framework is split into two schemes to encompass both types of AE testing.
48
Souza, Érica Ferreira de. "Knowledge management applied to software testing: an ontology based framework." Instituto Nacional de Pesquisas Espaciais (INPE), 2014. http://urlib.net/sid.inpe.br/mtc-m19/2014/01.21.12.55.
Full textAbstract:
Software development organizations are seeking to add quality to their products. Testing processes are strategic elements to manage projects and product quality. However, advances in technology and the emergence of increasingly critical applica-tions make testing a complex task and a large number of information is generated. In fact, software testing is a knowledge intensive processo In view of this, these organi-zations have shown a growing interest in knowledge management programs, which in turn support the improvement of testing procedures. In this context, testing knowledge should be captured and represented in an affordable and manageable way, and therefore, could make use of principles of Knowledge Management (KM). One of the main KM problems is how to represent knowledge. Ontologies are particularly important for KM. With respect to knowledge representation and Knowledge Ma-nagement Systems (KMS), ontologies can help manipulating the knowledge items represented, by minimizing ambiguity and vagueness in the interpretation of the shared understanding regarding the domain. In this context, this work aims to define an ontology-based framework for guiding KM initiatives in the software testing domain, supported by KMS. This framework is subjected to a proof of concept, and as a result a Testing KM Portal was developed using actual knowledge items extracted from two software projects.<br>Organizações de desenvolvimento de software vêm buscando, cada vez mais, agregar qualidade aos produtos gerados. Os processos de teste são elementos estratégicos para a condução de projetos de desenvolvimento e qualidade do produto. No entanto, os avanços tecnológicos e o surgimento de aplicações cada vez mais críticos tornam a atividade de teste uma tarefa complexa e um grande volume de conhecimento é gerado. De fato, o teste de software é um processo de conhecimento intensivo. Diante disso, tais organizações têm mostrado um crescente interesse por programas gerenciamento do conhecimento gerado, que consequentemente apoiam a melhoria dos processos de teste. Assim, o conhecimento de teste deve ser capturado e representado em uma forma acessível e controlável, e, portanto, pode fazer uso dos princípios da Gestão do Conhecimento (GC). Um dos principais problemas na GC é a forma de representar o conhecimento. Ontologias são particularmente importantes para GC. No que diz respeito a representação do conhecimento e Sistemas de Gestão do Conhecimento (SGC), ontologias podem ajudar a manipular ontologias pode ajudar a manipular os itens de conhecimento representados, minimizando a ambiguidade e imprecisão na interpretação do entendimento comum sobre o domínio. Neste contexto, este trabalho tem define um framework de base ontológica para orientar iniciativas de GC no domínio de teste de software, apoiado por SGC. Este framework é submetido a uma prova de conceito, e como resultado, um Portal de GC para teste de software foi desenvolvido utilizando itens de conhecimento reais extraídos de dois projetos de software.
49
Altalabani, Osama. "An automatic machine-learning framework for testing service-oriented architecure." Thesis, Kingston University, 2014. http://eprints.kingston.ac.uk/32198/.
Full textAbstract:
Today, Service Oriented Architecture (SOA) systems such as web services have the advantage of offering defined protocol and standard requirement specifications by means of a formal contract between the service requestor and the service provider, for example, the WSDL (Web Services Description Language) , PBEL (Business Process Execution Language), and BPMN (Business Process Model and Notation). This gives a high degree of flexibility to the design, development, Information Technology (IT) infrastructure implementation, and promise a world where computing resources work transparently and efficiently. Furthermore, the rich interface standards and specifications of SOA web services (collectively referred to as the WS-* Architecture) enable service providers and consumers to solve important problems, as these interfaces enable the development of interoperable computing environments that incorporate end-to-end security, reliability and transaction support, thus, promoting existing IT infrastructure investments. However, many of the benefits of SOA become challenges for testing approaches and frameworks due to their specific design and implementation characteristics, which cause many testability problems. Thus, a number of testing approaches and frameworks have been proposed in the literature to address various aspects of SOA testability. However, most of these approaches and frameworks are based on intuition and not carried out in a systematic manner that is based on the standards and specifications of SOA. Generally, they lack sophisticated and automated testing, which provide data mining and knowledge discovery in accordance with the system based on SOA requirements, which consequently would provide better testability, deeper intelligence and prudence. Thus, this thesis proposes an automated and systematic testing framework based on user requirements, both functional and non-functional, with support of machine-learning techniques for intelligent reliability, real-time monitoring, SOA protocols and standard requirements coverage analysis to improve the testability of SOA-based systems. This thesis addresses the development, implementation, and evaluation of the proposed framework, by means of a proof-of-concept prototype for testing SOA systems based on the web services protocol stack specifications. The framework extends to intelligent analysis of SOA web service specifications and the generation of test cases based on static test analysis using machine-learning support.
50
Ran, Lihua. "AutoDBT a framework for automatic testing of web database applications /." Online access for everyone, 2004. http://www.dissertations.wsu.edu/Thesis/Fall2004/l%5Fran%5F091504.pdf.
Full text