QUALITY ASSURANCE - CERTIFICATION OF SAFETY-CRITICAL (SOFTWARE) SYSTEMS

In contrast to learning how to do manual testing, in this course you will learn how to generate tests automatically in the sense that test creation satisfying a given test goal or given requirement is performed automatically. This course provides an understanding of automating software testing using program analysis with the goal of intelligently and algorithmically creating tests. The course covers search-based test generation, combinatorial and random testing while highlighting the challenges associated with the use of automatic test generation.

This course deals with model-based testing, a class of technologies shown to be effective and efficient in assessing the quality and correctness of large software systems. Throughout the course the participants will learn how to design and use model-based testing tools, how to create realistic models and how to use these models to automate the testing process in their organisation.

The aim of this course is to provide participants with the principles behind model-driven development of software systems and the application of such a methodology in practice. Modelling is an effective solution to reduce problem complexity and, as a consequence, to enhance time-to-market and properties of the final product.

The purpose is to give the students an overview of issues and methods for development and assurance of safety-critical software, including details of selected technologies, methods and tools.

This course provides an understanding of the fundamental problems in software testing, as well as solid foundation in the practical methods and tools for a systematic state-of-the-art approach to testing of software.

To be translated Svensk industri möter nu en av de största utmaningarna sedan den industriella revolutionen. Vad innebär det för dig som ledare eller blivande ledare i industrin? Hur bibehåller du drivkraften hos dina medarbetare?Välkommen till kursen tekniskt ledarskap för framtidens industriprocesser. Den här kursen är särskilt framtagen för dig som har, eller strävar efter att ha en ledande roll i en industriell organisation. Kurser ger dig fördjupad kunskap inom området teknisk ledarskap med hänsyn till både mänskliga faktorn och ekonomin utöver den tekniska baskunskapen, den så kallade fullt integrerade teknikern eller ingenjör. Vi tittar närmare på och diskuterar olika ledaregenskaper och ledarstilar. Vad innebär det att vara en ledare med tekniskt ansvar?Stora förändringar krävs för att svensk industri ska fortsätta vara konkurrenskraftig. Genom studier av praktikfall och arbetsrelaterade fall skapas djupare förståelse för under vilka förutsättningar tekniska ledare arbetar och vilka krav som ställs. Kurskod, anmälningskodVP737A, HS-26353 Ansökan, behörighet och antagningOm du arbetar inom industrin, men saknar akademiska meriter, kan du ansöka om att bli bedömd på så kallad reell kompetens. Läs mer på den här sidan his.se/ansokindustrikurser