Applications 2021-03-15
COURSE DESCRIPTION
The course aims to provide an understanding of the application of software development in an environment based on the philosophy of lean and agile working methods. It includes an understanding of industry-relevant technologies to promote the development of software products as well as an understanding that value is of the utmost importance within businesses and organizations. The focus of the course is thus on creating a better understanding of the relationship between values and the influence of principles on businesses and organizations to achieve the best application of agile working methods and Lean as a philosophy.
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 makes you acquainted with the concept of systems-of-systems (SoS), which means that independent systems are collaborating. It gives you an understanding why SoS is an important topic in the current digitalisation and provides a theoretical and practical foundation for understanding important characteristics of SoS. It also gives you a deeper knowledge in a number of key concerns that need to be considered when engineering SoS. Admitted students to this course may join the course any time between August 31 and October 25 2020. With the recommended study pace of 25%, the course would take approximate seven calendar weeks to complete. Higher or lower study pace is possible as long as the course is finished no later than January 17 2021.
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.
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.