Model-based testing of software systems : functionality and performance

Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, reliable, fault tolerant, efficient, etc. In short, it is not enough that a calculator gives the correct result of a calculation, we want the result instantly, in the right form, with minimal use of battery, etc. One of the key aspects for succeeding in today's industry is delivering high quality. In most software development projects, high-quality software is achieved by rigorous testing and good quality assurance practices. However, today, customers are asking for these high quality software products at an ever-increasing pace. This leaves the companies with less time for development. Software testing is an expensive activity, because it requires much manual work. Testing, debugging, and verification are estimated to consume 50 to 75 per cent of the total development cost of complex software projects. Further, the most expensive software defects are those which have to be fixed after the product is released. One of the main challenges in software development is reducing the associated cost and time of software testing without sacrificing the quality of the developed software. It is often not enough to only demonstrate that a piece of software is functioning correctly. Usually, many other aspects of the software, such as performance, security, scalability, usability, etc., need also to be verified. Testing these aspects of the software is traditionally referred to as nonfunctional testing. One of the major challenges with non-functional testing is that it is usually carried out at the end of the software development process when most of the functionality is implemented. This is due to the fact that non-functional aspects, such as performance or security, apply to the software as a whole. In this thesis, we study the use of model-based testing. We present approaches to automatically generate tests from behavioral models for solving some of these challenges. We show that model-based testing is not only applicable to functional testing but also to non-functional testing. In its simplest form, performance testing is performed by executing multiple test sequences at once while observing the software in terms of responsiveness and stability, rather than the output. The main contribution of the thesis is a coherent model-based testing approach for testing functional and performance related issues in software systems. We show how we go from system models, expressed in the Unified Modeling Language, to test cases and back to models again. The system requirements are traced throughout the entire testing process. Requirements traceability facilitates finding faults in the design and implementation of the software. In the research field of model-based testing, many new proposed approaches suffer from poor or the lack of tool support. Therefore, the second contribution of this thesis is proper tool support for the proposed approach that is integrated with leading industry tools. We o er independent tools, tools that are integrated with other industry leading tools, and complete tool-chains when necessary. Many model-based testing approaches proposed by the research community suffer from poor empirical validation in an industrial context. In order to demonstrate the applicability of our proposed approach, we apply our research to several systems, including industrial ones.

Heat Demand Forecasting Models’ Development: Use of Data Mining Tools in SQL Server Analysis Services

This thesis introduces heat demand forecasting models which are generated by using data mining algorithms. The forecast spans one full day and this forecast can be used in regulating heat consumption of buildings. For training the data mining models, two years of heat consumption data from a case building and weather measurement data from Finnish Meteorological Institute are used. The thesis utilizes Microsoft SQL Server Analysis Services data mining tools in generating the data mining models and CRISP-DM process framework to implement the research. Results show that the built models can predict heat demand at best with mean average percentage errors of 3.8% for 24-h profile and 5.9% for full day. A deployment model for integrating the generated data mining models into an existing building energy management system is also discussed.

Sähkönmyyntiyhtiöiden riskienhallinnan haasteet ja kehittäminen

Diplomityön tavoitteena on esitellä sähkökaupan ja erityisesti sähköyhtiöiden kokemia sähkönmyynnin riskejä sekä kuvata sähkönmyyntiin liittyvää riskienhallinnan problematiikkaa. Tarkastelun näkökulmana on tietojärjestelmien ja saatavissa olevan tiedon hyödyntäminen energiayhtiöiden riskienhallinnassa. Toinen päätavoitteista on tutkia, kuinka saatavilla olevaa tiedon hyödyntämistä voidaan kehittää sähkönmyynnin hinnoittelussa sekä suojausten suunnittelussa. Työ toteutettiin työskentelemällä asiantuntijana energia-alaan keskittyneessä ohjelmistoyrityksessä sekä haastattelemalla yhdeksän suomalaisen sähkönmyyntiyhtiön henkilöitä riskienhallinnan haasteiden sekä tietojärjestelmien näkökulmasta. Saatavilla olevien tietojen nykyistä parempi hyödyntäminen ja automatisointi voivat auttaa pienentämään yhtiöiden riskitasoa ja parantaa menestymisen edellytyksiä sähkönmyynnin vähittäismarkkinoilla. Lisäksi kulloiseenkin markkinatilanteeseen sopivat sähkön hankintahinnan suojausstrategiat sekä monipuoliset dynaamiset hinnoittelumallit auttavat pienentämään yhtiön kokemia riskejä tai niiden vaikutuksia. Näiden hyödyntäminen vaatii laajaa ymmärrystä sähkö- ja johdannaismarkkinoiden toiminnasta sekä usein myös nykyisten tietojärjestelmien kehittämistä. Tulevaisuudessa yhä yleistyvä hajautettu tuotanto sekä kysynnän jousto asettavat tietojärjestelmille uusia vaatimuksia, jotka toteutuessaan mahdollistavat uudenlaisten palveluiden käyttöönoton sekä voivat tuoda tilaa myös alan uusille toimijoille. Työssä käsitellään energiayhtiöiden kokemia riskejä sähkönmyynnin näkökulmasta, esitellään alan yleisimmät riskit sekä keinot ja työkalut niiltä suojautumiseen. Työn lopuksi tarkastellaan sähkönmyynnin ja –hankinnan oleellisimpia prosesseja riskienhallinnan kehittämisen näkökulmasta.

A software engineering approach to distributed systems for composite modeling

The goal of this thesis is to define and validate a software engineering approach for the development of a distributed system for the modeling of composite materials, based on the analysis of various existing software development methods. We reviewed the main features of: (1) software engineering methodologies; (2) distributed system characteristics and their effect on software development; (3) composite materials modeling activities and the requirements for the software development. Using the design science as a research methodology, the distributed system for creating models of composite materials is created and evaluated. Empirical experiments which we conducted showed good convergence of modeled and real processes. During the study, we paid attention to the matter of complexity and importance of distributed system and a deep understanding of modern software engineering methods and tools.

The role of management accounting systems and venture capital investors for start-up firms

The role of star-up firms in economy and the importance of venture capital investors for the growth of start-up firms have been highlighted in recent years. The growth challenges of start-up firms consist of fast changing environment, the availability of venture capital funding and the development of firm management in the growth phase. A growing number of studies have focused on management accounting systems and venture capital in start-up and growth firm context. In this thesis the role of management accounting systems and venture capital investors is considered in the growth phase of firm development. The theoretical objective of this thesis is to construct a theoretical framework in order to describe the importance of management accounting systems and venture capital investors in start-up firms. The practice orientated objective of this thesis is to study the application of management accounting systems and management accounting based information in start-up firms in high-technology industry as well as the impact of venture capital for management accounting system design. In addition, the growth challenges of start-up firms are studied in order to understand the context in which management accounting systems are used. The research approach of theoretical part is conceptual as the theoretical framework is constructed by combining literature on firm growth, management accounting and venture finance in order to analyse the phenomenon. The action-orientated research approach is appropriate for analysing and describing of the studied phenomenon through empirical evidence. The empirical evidence was collected through interviews with three experts in start-up firm accelerator centers, four representatives of start-up firms and one venture capital investor. The results indicate that the growth challenges of stat-up firms are not related to the development of management accounting systems. Managers of start-up firms expressed a positive attitude towards management accounting systems that improve efficiency of operations. In start-up firms flexible and adjustable management accounting practices, such as budgets, cash flow calculations and future-orientated analysis tools, are applied that support planning and coordination of operations. The results indicate that venture capital investors affect the provision and the quality of management accounting information during the investment process. In addition, venture capital investors enhance the use of management accounting information for internal coordination in start-up firms. By applying the theoretical framework in the analysis, it can be stated that by acting as support function management accounting systems facilitate start-up firms development.

Building climate justice : an analysis of how the nexus between climate change and human rights shapes public policy agendas and alternatives

This thesis provides an analysis of how the nexus between climate change and human rights shapes public policy agendas and alternatives. It draws upon seminal work conducted by John Kingdon, whose landmark publication “Agendas, alternatives, and public policy” described how separate streams of problems, solutions, and politics converge to move an issue onto the public policy agenda toward potential government action. Building on Kingdon’s framework, this research explores how human rights contribute to surfacing the problem of climate change; developing alternative approaches to tackling climate change; and improving the political environment necessary for addressing climate change with sufficient ambition. The study reveals that climate change undermines the realization of human rights and that human rights can be effective tools in building climate resilience. This analysis was developed using a mixed methods approach and drawing upon substantial literature review, the researcher’s own participation in international climate policy design; elite interviews with thought leaders dealing with climate change and human rights; and regular inputs from focus groups comprised of practitioners drawn from the fields of climate change, development and human rights. This is a journal based thesis with a total of six articles submitted for evaluation, published in peer‐reviewed publications, over a five year period. Denna avhandling analyserar hur klimatfrågan och mänskliga rättigheter i samverkan formar den politiska agendan och det politiskt möjliga. Den bygger på banbrytande forskning av John Kingdon, vars publikation “Agendas, alternatives, and public policy” beskriver hur en fråga blir politiskt viktig och lyfts upp på den politiska agendan. Med utgångspunkt i Kingdons ramverk, utforskar avhandlingen hur mänskliga rättigheter bidrar till att blottlägga klimatfrågan som problem; utveckla alternativa metoder för att angripa och hantera klimatfrågan; samt skapa ett politiskt klimat nödvändigt för att på ett ambitiöst sätt kunna angripa klimatfrågan. Studien visar att klimatförändringar undergräver mänskliga rättigheterna men att arbete med mänskliga rättigheter kan vara ett effektivt verktyg för att stå emot och hantera effekterna av klimatförändringar. Analysen har genomförts med hjälp av en rad olika metoder vilka inkluderar litteraturstudier, författarens egna observationer under klimatförhandlingar; intervjuer med ledande tänkare inom klimatfrågan och mänskliga rättigheter; samt data insamlad genom fokusgrupper bestående av yrkesverksamma inom klimat, utveckling och mänskliga rättigheter. Avhandlingen är baserad på totalt sex artiklar som publicerats i fackgranskade tidskrifter under en femårsperiod.

Scouring uncharted waters – managing outbound open innovation in maritime industry

This thesis discusses the unexplored opportunities of open innovation, with a special focus on outbound open innovation. The extant literature indicates that the field of outbound open innovation still lacks of research, and especially the managerial issues lack of practicality. Also, the applicability to SME’s and traditional fields has been argued. The purpose of this study is to investigate how the outbound open innovation activities can be managed in maritime industry. By combining existing literature from the field of open innovation and innovation management, this study suggests first a theoretical management model, and contributes how it can be applied to industry- and company specifics; and then develops a practical model by constructing from the case company’s current management processes. As a result, the study synthesises a theoretical model of how the outbound open innovation activities can be managed. This model positions the outbound open innovation activities, the theoretical concepts found from the literature review, R&D processes, and the outbound open innovation implementation stages identified by previous research; and thus responses the need for practical steps for any company planning outbound open innovation activities. Practical tool for managers is also provided by identifying issues that are applied to industry- and company specifics. Then, open-ended case study questions are formulated accordingly and expert interviews selected by chain referral sampling, are conducted. Interviews provide information for the current management processes. By identifying the best practices and main challenges it is possible to outline and evaluate current outbound open innovation management processes and strategic choices in it. The researcher considers also the networks and their spheres of influences for the actors, activities and resources in the processes. Thus, the study provides a novel approach, and practical tools for the researchers and practioners in the field of open innovation. All in all, the study has come up that outbound open innovation is applicable to maritime industry; and the case company indeed has perfected its processes as cost-effective as possible, and so found its balance between the costs and benefits. However, several issues for future development are pointed out, and the study offers proposals for theory building. Findings are piloting in kind, but provide several theoretical and managerial implications, and reveal new research needs for the field.

Energy Efficiency in Electrical Drive Systems: Technical potentials, barriers and policy approaches for small and medium industries in Ghana

Today industries and commerce in Ghana are facing enormous energy challenge. The pressure is on for industries to reduce energy consumption, lower carbon emissions and provide se-cured power supply. Industrial electric motor energy efficiency improvement is one of the most important tools to reduce global warming threat and reduce electricity bills. In order to develop a strategic industrial energy efficiency policy, it is therefore necessary to study the barriers that inhibit the implementation of cost – effective energy efficiency measures and the driving forces that promote the implementation. The aim of this thesis is to analyse the energy consumption pattern of electric motors, study factors that promote or inhibit energy efficiency improvements in EMDS and provide cost – effective solutions that improve energy efficiency to bridge the existing energy efficiency gap in the surveyed industries. The results from this thesis has revealed that, the existence of low energy efficiency in motor-driven systems in the surveyed industries were due to poor maintenance practices, absence of standards, power quality issues, lack of access to capital and limited awareness to the im-portance of energy efficiency improvements in EMDS. However, based on the results pre-sented in this thesis, a policy approach towards industrial SMEs should primarily include dis-counted or free energy audit in providing the industries with the necessary information on potential energy efficiency measures, practice best motor management programmes and estab-lish a minimum energy performance standard (MEPS) for motors imported into the country. The thesis has also shown that education and capacity development programmes, financial incentives and system optimization are effective means to promote energy efficiency in elec-tric motor – driven systems in industrial SMEs in Ghana

Business Intelligence Competency Centerin perustaminen: Case LähiTapiola

Tässä diplomityössä selvitetään case-tutkimuksena parhaita käytäntöjä Business Intelligence Competency Centerin (BICC) eli liiketoimintatiedonhallinnan osaamiskeskuksen perustamiseen. Työ tehdään LähiTapiolalle, jossa on haasteita BI-alueen hallinnoinnissa kehittämisen hajaantuessa eri yksiköihin ja yhtiöihin. Myös järjestelmäympäristö on moninainen. BICC:llä tavoitellaan parempaa näkyvyyttä liiketoiminnan tarpeisiin ja toisaalta halutaan tehostaa tiedon hyödyntämistä johtamisessa sekä operatiivisen tason työskentelyssä. Tavoitteena on lisäksi saada kustannuksia pienemmäksi yhtenäistämällä järjestelmäympäristöjä ja BI-työkaluja kuten myös toimintamalleja. Työssä tehdään kirjallisuuskatsaus ja haastatellaan asiantuntijoita kolmessa yrityksessä. Tutkimuksen perusteella voidaan todeta, että liiketoiminnan BI-tarpeita kannattaa mahdollistaa eri tasoilla perusraportoinnista Ad-hoc –raportointiin ja edistyneeseen analytiikkaan huomioimalla nämä toimintamalleissa ja järjestelmäarkkitehtuurissa. BICC:n perustamisessa liiketoimintatarpeisiin vastaaminen on etusijalla.

Failure modes of passive decay heat removing safety systems of modern nuclear power plants

The purpose of this master’s thesis is to gain an understanding of passive safety systems’ role in modern nuclear reactors projects and to research the failure modes of passive decay heat removal safety systems which use phenomenon of natural circulation. Another purpose is to identify the main physical principles and phenomena which are used to establish passive safety tools in nuclear power plants. The work describes passive decay heat removal systems used in AES-2006 project and focuses on the behavior of SPOT PG system. The descriptions of the main large-scale research facilities of the passive safety systems of the AES-2006 power plant are also included. The work contains the calculations of the SPOT PG system, which was modeled with thermal-hydraulic system code TRACE. The dimensions of the calculation model are set according to the dimensions of the real SPOT PG system. In these calculations three parameters are investigated as a function of decay heat power: the pressure of the system, the natural circulation mass flow rate around the closed loop, and the level of liquid in the downcomer. The purpose of the calculations is to test the ability of the SPOT PG system to remove the decay heat from the primary side of the nuclear reactor in case of failure of one, two, or three loops out of four. The calculations show that three loops of the SPOT PG system have adequate capacity to provide the necessary level of safety. In conclusion, the work supports the view that passive systems could be widely spread in modern nuclear projects.

Performance Degradation Modelling and Techno-Economic Analysis of Lithium-Ion Battery Energy Storage Systems

Transmission system operators and distribution system operators are experiencing new challenges in terms of reliability, power quality, and cost efficiency. Although the potential of energy storages to face those challenges is recognized, the economic implications are still obscure, which introduce the risk into the business models. This thesis aims to investigate the technical and economic value indicators of lithium-ion battery energy storage systems (BESS) in grid-scale applications. In order to do that, a comprehensive performance lithium-ion BESS model with degradation effects estimation is developed. The model development process implies literature review on lifetime modelling, use, and modification of previous study progress, building the additional system parts and integrating it into a complete tool. The constructed model is capable of describing the dynamic behavior of the BESS voltage, state of charge, temperature and capacity loss. Five control strategies for BESS unit providing primary frequency regulation are implemented, in addition to the model. The questions related to BESS dimensioning and the end of life (EoL) criterion are addressed. Simulations are performed with one-month real frequency data acquired from Fingrid. The lifetime and cost-benefit analysis of the simulation results allow to compare and determine the preferable control strategy. Finally, the study performs the sensitivity analysis of economic profitability with variable size, EoL and system price. The research reports that BESS can be profitable in certain cases and presents the recommendations.

Passive Solar Building Design Using Genetic Programming

Passive solar building design is the process of designing a building while considering sunlight exposure for receiving heat in winter and rejecting heat in summer. The main goal of a passive solar building design is to remove or reduce the need of mechanical and electrical systems for cooling and heating, and therefore saving energy costs and reducing environmental impact. This research will use evolutionary computation to design passive solar buildings. Evolutionary design is used in many research projects to build 3D models for structures automatically. In this research, we use a mixture of split grammar and string-rewriting for generating new 3D structures. To evaluate energy costs, the EnergyPlus system is used. This is a comprehensive building energy simulation system, which will be used alongside the genetic programming system. In addition, genetic programming will also consider other design and geometry characteristics of the building as search objectives, for example, window placement, building shape, size, and complexity. In passive solar designs, reducing energy that is needed for cooling and heating are two objectives of interest. Experiments show that smaller buildings with no windows and skylights are the most energy efficient models. Window heat gain is another objective used to encourage models to have windows. In addition, window and volume based objectives are tried. To examine the impact of environment on designs, experiments are run on five different geographic locations. Also, both single floor models and multi-floor models are examined in this research. According to the experiments, solutions from the experiments were consistent with respect to materials, sizes, and appearance, and satisfied problem constraints in all instances.

Building Beyond Limits : Fantastic Collisions Between Bodies and Machines in French and English Fin-de-Siècle Literature

«Construire hors limite: collisions fantastiques entre corps et machines dans la littérature fin-de-siècle française et anglaise» explore un ensemble de textes qui ont surgi à la fin du dix-neuvième siècle en réponse et en réaction à la fulgurante évolution de l’environnement scientifique et technologique, et qui considèrent la relation entre l’homme et la machine en fantasmant sur la zone grise où ils s’intersectent. Les principaux textes étudiés comprennent L’Ève future de Villiers de l’Isle-Adam, Le Surmâle d’Alfred Jarry, Trilby de George Du Maurier, Le Château des Carpathes de Jules Verne, ainsi qu’une sélection de contes dont nous pouvons qualifier de «contes à appareils», notamment «La Machine à parler» de Marcel Schwob. Utilisant la théorie des systèmes comme base méthodologique, cette dissertation cherche à réinterpréter les textes de la fin du dix-neuvième siècle qui naviguent les limites de l’humain et du mécanique et les surfaces sensibles où ils se touchent et interagissent en les réinscrivant dans un projet plus vaste de construction d’identité qui défie le temps chronologique et les échelles mathématiques. Le lien entre la théorie des systèmes et l’architecture – comme méthode d’organisation d’espace blanc en espace habitable – est exploré dans le but de comprendre la manière dont nous façonnons et interprétons le néant à l’origine de l’identité individuelle, et par association collective, en pratiquant littéralement la schématisation et la construction du corps. Des auteurs tels Villiers et Jarry imaginent la construction du corps comme une entreprise scientifique nécessairement fondée et réalisée avec les matériaux et les technologies disponibles, pour ensuite démanteler cette proposition en condamnant le corps technologique à la destruction. La construction d’une identité amplifiée par la technologie prend donc des proportions prométhéennes perpétuellement redessinées dans des actes cycliques de rasage (destruction) et d’érection (édification), et reflétées dans l’écriture palimpsestique du texte. L’intégrité du corps organique étant mis en question, le noyau même de ce que signifie l’être (dans son sens de verbe infinitif) humain pourrait bien s’avérer, si l’on considère la correspondance entre perte de voix et état pathologique dans les textes de Du Maurier, Verne et Schwob, être une structure des plus précaires, distinctement hors sens (unsound).

La responsabilité sociale des entreprises transnationales : études de cas sur les audits sociaux et les droits des travailleurs en Chine

À l’heure actuelle, la régulation des chaines mondiales de production dépend principalement de mécanismes non étatiques tels que les codes de conduite et les audits sociaux implantés par les entreprises, les ONG et les organisations internationales. Dans cette recherche, nous évaluons si les audits menés par Nike, Adidas et Puma peuvent contribuer à renforcer les droits des travailleurs chinois. À l’aide d’entrevues réalisées sur le terrain auprès d’auditeurs et d’ONG, nous avons conceptualisé quatre conditions de base, lesquelles concernent la participation directe des travailleurs, le développement de capacités locales, le respect de la liberté d’association et la professionnalisation du travail d’auditeur social. Notre étude conclut que des étapes restent à franchir afin que les audits deviennent des outils d’avancement des droits fondamentaux. L’enjeu prioritaire demeure le développement de structures démocratiques afin de permettre aux ouvriers de former des syndicats libres et de négocier leurs propres conventions de travail.

Analysing artefacts dependencies to evolving software systems

Les logiciels sont en constante évolution, nécessitant une maintenance et un développement continus. Ils subissent des changements tout au long de leur vie, que ce soit pendant l'ajout de nouvelles fonctionnalités ou la correction de bogues. Lorsque les logiciels évoluent, leurs architectures ont tendance à se dégrader et deviennent moins adaptables aux nouvelles spécifications des utilisateurs. En effet, les architectures de ces logiciels deviennent plus complexes et plus difficiles à maintenir à cause des nombreuses dépendances entre les artefacts. Par conséquent, les développeurs doivent comprendre les dépendances entre les artefacts des logiciels pour prendre des mesures proactives qui facilitent les futurs changements et ralentissent la dégradation des architectures des logiciels. D'une part, le maintien d'un logiciel sans la compréhension des les dépendances entre ses artefacts peut conduire à l'introduction de défauts. D'autre part, lorsque les développeurs manquent de connaissances sur l'impact de leurs activités de maintenance, ils peuvent introduire des défauts de conception, qui ont un impact négatif sur l'évolution du logiciel. Ainsi, les développeurs ont besoin de mécanismes pour comprendre comment le changement d'un artefact impacte le reste du logiciel. Dans cette thèse, nous proposons trois contributions principales : La spécification de deux nouveaux patrons de changement et leurs utilisations pour fournir aux développeurs des informations utiles concernant les dépendances de co-changement. La spécification de la relation entre les patrons d'évolutions des artefacts et les fautes. La découverte de la relation entre les dépendances des anti-patrons et la prédisposition des différentes composantes d'un logiciel aux fautes.