Software testing is a vital part of the software development process and is costly. Due to the increased use of the unified modeling language and model driven architecture approach in systems analysis and design, model-based testing has been discussed as a prominent solution for software testing to reduce the cost of software testing. Prior researches proposed an integrated method which utilizes the artifacts from the Platform Independent Model (PIM) to construct the test path and constrained class tuples. These two can then be integrated to construct an Integrated Testing Model (ITM) for determining the test data and test cases for Model-Based Testing. This study develops a methodology which extracting the information from ITM to construct the test cases. The research methodology is articulated using the design science research methodology. A prototype embedded methodology has been developed to automatically generate the test cases. A usability evaluation is performed on the prototype to demonstrate its usability. With this methodology, the test cases can be generated automatically; thereby reducing the cost and enhancing the efficiency of Model-Based Testing.

The main goal of model testing is to find system errors at the systems analysis and design stage and thereby reduce the cost of software testing and enhance the efficiency of system development. Prior researches proposed an Integrated Method which utilizes the artifacts from the Platform Independent Model (PIM) to construct the test path and constrained class tuples (CCT). These two can then be integrated to construct an Integrated Testing Model (ITM) for determining the test data and test cases for Model-Based Testing. This study develops a methodology which extracting the information from the Sequence Diagram and Class Diagram from the PIM to construct an ITM. The research methodology is articulated using the design science research methodology. A prototype embedded methodology has been developed. A usability evaluation is performed on the prototype to demonstrate its usability in terms of the factors, efficiency and effectiveness. With this methodology, the test paths, CCT and ITM can be generated automatically; thereby reducing the costs and increasing the efficiency of Model-Based Testing.

This thesis is about design and implementation one part of Integrated testing node, which is project developed by students of University of Economics. The aim of this project is create a solution, which integrates open-source tools for software testing support. The aim of this thesis is to create new part of Integrated testing node, which will be used for maintenance and creation of new automated tests created in Selenium, which is tool for frontend testing. This thesis continues with work, which was started in thesis of Bc. Jan Ženíšek. His thesis is focused to analyses and design of whole Integrated testing node. He also chose Selenium as tool responsible for automated test support. This thesis is also related to Bc. Helena Munzarová's thesis. She created REST mediator which should be used for communication with all other parts of Integrated testing node.

The purpose of this study was to determine the effects of using computer-managed, integrated testing and skills software with individualized homework packets on the reading achievement and attitudes of at-risk students in a low achieving urban school. An additional purpose was to determine teacher attitudes toward using technology to deliver, measure, and manage instruction.

We are coming to realize that there is an urgent need to reduce energy usage in buildings and it has to be done in a sustainable way. This thesis focuses on the performance of the building envelope; more precisely thermal performance of walls and super insulation material in the form of vacuum insulation. However, the building envelope is just one part of the whole building system, and super insulators have one major flaw: they are easily adversely affected by other problems in the built environment.  Vacuum Insulation Panels are one fresh addition to the arsenal of insulation materials available to the building industry. They are composite material with a core and an enclosure which, as a composite, can reach thermal conductivities as low as 0.004 W/(mK). However, the exceptional performance relies on the barrier material preventing gas permeation, maintaining a near vacuum into the core and a minimized thermal bridge effect from the wrapping of barrier material round the edge of a panel. A serpentine edge is proposed to decrease the heat loss at the edge. Modeling and testing shows a reduction of 60% if a reasonable serpentine edge is used. A diffusion model of permeation through multilayered barrier films with metallization coatings was developed to predict ultimate service life. The model combines numerical calculations with analytical field theory allowing for more precise determination than current models. The results using the proposed model indicate that it is possible to manufacture panels with lifetimes exceeding 50 years with existing manufacturing. Switching from the component scale to the building scale; an approach of integrated testing and modeling is proposed. Four wall types have been tested in a large range of environments with the aim to assess the hygrothermal nature and significance of thermal bridges and air leakages. The test procedure was also examined as a means for a more representative performance indicator than R-value (in USA). The procedure incorporates specific steps exposing the wall to different climate conditions, ranging from cold and dry to hot and humid, with and without a pressure gradient. This study showed that air infiltration alone might decrease the thermal resistance of a residential wall by 15%, more for industrial walls. Results from the research underpin a discussion concerning the importance of a holistic approach to building design if we are to meet the challenge of energy savings and sustainability. Thermal insulation efficiency is a main concept used throughout, and since it measures utilization it is a partial measure of sustainability. It is therefore proposed as a necessary design parameter in addition to a performance indicator when designing building envelopes. The thermal insulation efficiency ranges from below 50% for a wood stud wall poorly designed with incorporated VIP, while an optimized design with VIP placed in an uninterrupted external layer shows an efficiency of 99%, almost perfect. Thermal insulation efficiency reflects the measured wall performance full scale test, thus indicating efficiency under varied environmental loads: heat, moisture and pressure. The building design must be as a system, integrating all the subsystems together to function in concert. New design methodologies must be created along with new, more reliable and comprehensive measuring, testing and integrating procedures. New super insulators are capable of reducing energy usage below zero energy in buildings. It would be a shame to waste them by not taking care of the rest of the system. This thesis details the steps that went into this study and shows how this can be done. / QC 20120228

Résumé : Depuis l'interdiction en 2013 des tests sur les animaux par le Règlement cosmétique n°1223/2009, différentes méthodes in vitro ont été développées. Toutefois, selon un consensus scientifique, aucune méthode ne peut couvrir à elle seule l’ensemble des événements clés (KE) définis pour la sensibilisation cutanée.Après un état de l’art des méthodes alternatives relatives à la sensibilisation cutanée, nous avons sélectionné et comparé 3 tests pour ensuite déterminer la meilleure stratégie à suivre. Dans le but de proposer un nouveau test intégré, nous avons adressé l’ensemble des KEs au sein d’un même type cellulaire. La cellule dendritique (DC) jouant un rôle clé dans le développement de la dermatite de contact allergique (DCA), notre choix s’est porté sur la lignée humaine pro-monocytaire THP-1. Nous avons étudié comme événements initiaux (KE1) les formes réactives à l’oxygène (FRO) et le glutathion (GSH), la voie Nrf2-Keap1 (voie centrale de détoxication) et l’expression génique pour le KE2, ainsi que les modifications phénotypiques pour le KE3.Nous avons montré que les allergisants forts induisent une production précoce des FRO associée à une réduction du GSH. Ils activent également la voie Nrf2-Keap1 et induisent l’expression des marqueurs de surface cellulaire CD54 et CD86, ainsi qu’une production de cytokines spécifiques (IL-8, IL-18,...).Pour conclure, ce travail a permis de proposer un test intégrant l’ensemble des mesures biologiques comme différents KE au sein d’un même type cellulaire. / Abstract : Since the animal testing ban in 2013 by Cosmetics Regulation n°1223/2009, various in vitro methods have been developed. However, according to a scientific consensus, no single method can stand-alone to cover the different key events (KE) defined for skin sensitization.After a state of the art of alternative methods relating to skin sensitization, we selected and compared 3 tests to determine the best strategy to follow. In order to propose a new integrated test, we wanted to address all KE within the same cell line. Because dendritic cell (DC) plays a key role in the development of allergic contact dermatitis (ACD), we have chosen the pro-monocytic human line THP-1. We have studied as initial events (KE1), reactive oxygen species (ROS) and glutathione (GSH), Nrf2-Keap1 pathway (central detoxification pathway) and gene expression for KE2 as well as phenotypic modifications for KE3.We have shown that strong allergens are correlated with early production of FRO associated with GSH reduction. They also activate the Nrf2-Keap1 pathway and induce the expression of CD54 and CD86 cell surface markers as well as production of specific cytokines (IL-8, IL-18, etc.).To conclude, this work propose a new assay integrating all the biological measures as different KEs within the same cell.

改革開放為中國大陸創造了令人驚艷的經濟成長，卻也帶來區域不平衡的嚴重問題。近年來，中國大陸區塊化的發展受到各界關注，包括珠三角、長三角、環渤海區等。而長期以來受到忽略的福建省，終於在海西區的規劃中得到了來自中共中央的政策支持。福建擁有對台先行先試，探索兩岸進行區域合作試點的權力，在海西區的架構下，平潭綜合實驗區被中共中央寄與厚望，以「五個共同」積極與台灣進行各種創新合作，其中，最為人所注目的即是「共同治理」。本文認為，從目前中共中央給予平潭的各項政策利多及兩岸在此議題上的角力來看，兩岸「共同治理」，仍有許多問題亟待克服。

Nowadays the development speed of new software products is a key to success and it is not important whether the aim is to make customer's urges satisfied or get ahead of one's competitors and fill the market gap. Because of the increase of development speed the demands on the saving process of software quality are increasing. There are two types of tools that are supporting the process of software quality assurance. Firstly, we talk about comprehensive testing tools of commercial character that usually include many functions, but their purchase is extremely expensive. On the other hand there are open-source tools that are available for free, they function on many kinds of operating systems and it is possible to modify them. Unfortunately their functions are basically focused on a certain subset of controlling the software quality assurance. Company TRASK solution a.s. has decided to change this current situation, so it asked competence centre Software Quality Assurance at the University of Economics in Prague in order to create Integrated Testing Node (ITN) that would combine the advantages of open-source tools. Moreover, it would offer broad range of functions as commercial solution. The purpose of this thesis is to describe relevant phases of the process of creating the Integrated Testing Node from the factual and methodical point of view. This aim is divided into partial aims included task analysis and the proposal of solving system, open-source products portfolio analysis, choice of the most convenient tools for following integration, choosing the method of information system building, evaluating the feedback from a client and the proposal of future development of this tool. As far as the biggest contribution of this thesis is concerned, it is the realisation of ITN project that can be used during information classes at the University of Economics in Prague. Furthermore, it can be used as the control of software quality in commercial companies.