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.

Purchasing Process of Industrial Solutions – Added Value, Difficulties and Good Practices

Purpose of this study is to clarify the industrial solutions purchasing process from purchaser companies’ point of view. Also customer’s view on value generating aspects and difficulties in purchases will be discussed as well as different purchas-ing entities where customers have ended up in their solution purchases. Current solution literature is mainly concentrated in supplier views and customer perspec-tive has been left without adequate attention. However, knowledge of the customer and the identification of customer need are at the core of a successful solution business. The focus of this thesis is on Finnish companies’ solution purchases that have been realized during last five years. Industrial solutions in this case are facto-ries or other large industrial plants. Industrial solutions’ purchasing process will be opened all the way from discovering the need until the start-up of the plant. Of in-terest is the customer experience of the success of the acquisition and the pur-chaser’s view on good practices allowing a successful procurement project.

Corporate social responsibility in procurement: environmentally responsible practices case study

The main object of this study is to find and define environmentally responsible procurement practices and characterize responsible procurement.

Risk Assessment of Modern Landfill Structures in Finland

The purpose of this thesis was to investigate environmental permits of landfills with respect to the appropriateness of risk assessments focusing on contaminant migration, structures capable to protect the environment, waste and leachate management and existing environmental impacts of landfills. According to the requirements, a risk assessment is always required to demonstrate compliance with environmental protection requirements if the environmental permit decision deviates from the set requirements. However, there is a reason to doubt that all relevant risk factors are identified in current risk assessment practices in order to protect people end environment. In this dissertation, risk factors were recognized in 12 randomly selected landfills. Based on this analysis, a structural risk assessment method was created. The method was verified with two case examples. Several development needs were found in the risk assessments of the environmental permit decisions. The risk analysis equations used in the decisions did not adequately take into account all the determining factors like waste prospects, total risk quantification or human delineated factors. Instead of focusing on crucial factors, the landfill environmental protection capability is simply expressed via technical factors like hydraulic conductivity. In this thesis, it could be shown, that using adequate risk assessment approaches the most essential environmental impacts can be taken into account by consideration of contaminant transport mechanisms, leachate effects, and artificial landfill structures. The developed structural risk analysing (SRA) method shows, that landfills structures could be designed in a more cost-efficient way taking advantage of recycled or by-products. Additionally, the research results demonstrate that the environmental protection requirements of landfills should be updated to correspond to the capability to protect the environment instead of the current simplified requirements related to advective transport only.

The best practices in the formation phase of Sino-Finnish joint ventures in China: For Finnish software companies

This study discusses the formation phase of Chinese-Finnish joint ventures in China. The purpose of this thesis is to create best practices for Finnish software companies in forming a joint venture with a local Chinese company in China. Therefore, the main research question, in what are the best practices for forming Sino-Finnish joint ventures in China for Finnish software firms, is examined through four different themes within the joint venture formation phase; the motives, the partner se- lection, the choice of a joint venture type and joint venture negotiations. The theoretical background of the study consists of literature relating to the establishment process of Sino-Western joint ventures in China. The empirical research conducted for this study is based on the expert interviews. The empirical data was gathered via nine semi-structured interviews with both Chinese and Finnish experts in software and technology industry, who have experience or knowledge in establishing Sino-Finnish joint ventures in China. Thematic analysis was used to cat- egorize and interpret the interview data. In addition, a thematic network was built to act as a basis of the analysis. According to the main findings, the main motives for Finnish software companies to establish a joint venture in China are lack of skills or experience, little resources to enter on their own, and China’s large market. The main motives for Chinese companies are to gain new technology or man- agerial skills, and expand internationally. The intellectual property rights (IPR) have recently im- proved a lot in China, but the Finnish companies’ knowledge on IPR is inadequate. The Finnish software companies should conduct a market and industry research in order to understand their po- sition in the market and to find a suitable location and potential joint venture partners. It is essential to define partner selection criteria and partner attributes. In addition, it is important to build the joint venture around complementary motives and a win-win situation between the joint venture partners. The Finnish companies should be prepared that the joint venture negotiations will be challenging and they will take a long time. The challenges can be overcome by gaining understanding about the Chinese culture and business environment. The findings of this study enhance understanding of the joint venture formation phase in China. This study provides guidelines for Finnish software companies to establish a joint venture in China. In addition, this study brings new insights to the Sino-Western joint venture literature with its soft- ware industry context. Future research is, however, necessary in order to gain an understanding of the advantages and disadvantages of a joint venture as an entry mode into China for Finnish soft- ware companies

Sustainable Development – the Key to Competitiveness CSR as an added value to Alstom’s corporate performance

Corporate social responsibility or CSR is today a widely recognized concept which is receiving in- creasing popularity extremely rapidly, especially in the business world. The pressure on companies to carry out their business practices in ethical manners, which promote the wellbeing of the environment and society, is coming from all directions and all stakeholders. Alstom, a French multinational conglomerate operating in the rail transport and energy industry, is no exception to this norm. This company, which will be used as the case example in this thesis, is being brought to bay in terms of engaging in CSR practices and practicing business with high ethics. It is surely not a negatively conceived phenomenon that CSR is being put on a pedestal – quite the opposite. Instead of corporations practicing CSR only to meet their stakeholder requirements through practicing window dressing, many corporations actually strive to benefit from the practice of corporate social business. In addition to bringing benefit to externals a corporation such as Alstom itself can benefit from being involved in CSR. The purpose of this thesis is to evaluate the current strategic values and the future perspectives of CSR at Alstom and moreover the added value which the practice of CSR could bring Alstom as a business. A set of perspectives from a futures studies viewpoint is looked at, with critical examination of the company’s current corporate practices as well as the CSR related studies and theories written for corporations. Through this, some solutions and practices will be suggested to Alstom in order for it to fully utilize the potential of corporate social business and the value it can bring in the most probable futures that the company is expected to face. By utilizing the Soft Systems Methodology (SSM), a method mainly used in organizations to solve problematic issues in management and policy contexts, a process is developed to see what improvements could be of help in improving Alstom and its way towards involving CSR in its business practices even more than it currently does. Alstom is already deeply involved in the practicing of CSR and its vision has a strong emphasis on this popular concept of today. In order to stay in the game and to use CSR as a competitive advantage to the company, Alstom ought to embed corporate social practices even deeper in its organizational culture by using them as a tool to reduce risk and costs, increasing employee commitment and customer loyalty and to attract socially responsible investors, just to name a few. CSR as a concept is seen to have great potential in the future, an opportunity Alstom will not miss.