The aim of this course is to give students insight about certification and about what it means to certify/self-assess safety- critical systems with focus on software system and to create a safety case, including a multi-concern perspective when needed and reuse opportunities, when appropriate.
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.
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.
The emergence of artificial intelligence has created a new opportunity to apply machine learning (ML) in industry 4.0. In this era of the Internet of Things and Big data, processing of a large amount of data would not be possible without ML. Thus, ML made industrial production smarter than ever before. So, learn the course “Machine learning for Industry 4.0” to bring in new business models in your company and boost productivity using ML.
The course provides knowledge about basics of ML and data, describes ML algorithms and tools and also explains the concept of Industry 4.0 and digitalization in industry 4.0. The individual processes can be better understood and optimized with the help of the knowledge from the course. Also, it could have an important contribution in analysing the industrial data set, improving results, and making decision and/or predictions for failure, demand, sales, and production.
This course is a collaboration between Högskolan Väst, Linnéuniversitetet and Mälardalens Högskola. It consist of three course modules: Introduction to Machine Learning (MDH – 2 credits, Basic level), Industry Digitalization – Industry 4.0 (HV – 2,5 credits, Advanced level), Applied Machine Learning (LNU – 3 credits, Advanced level). Students who pass all three courses will receive a diploma from Learning for Professionals.