Advanced Topics in Software Engineering
News
- October 22nd, 2020: We inform the students that next class will be November, the 4th. The classes of October 28th and 29th are cancelled.
- September 21st, 2020: We inform the students interested in the course that the first lesson will be held on October 7th.
General Information
Teacher:
- Andrea Polini - Webex room
- Barbara Re - Webex room
ESSE3 Link
Lessons schedule:
- Wednesday, 11am - 1pm, Room AB1, Polo Lodovici;
- Thursday, 4pm - 6pm, Room AB1, Polo Lodovici.
Course Objectives
The course intends to illustrate to the students the relevance of quality in the production of Information Systems with a particular focus on those information systems based on models. The course, then, faces the quality assurance of such systems from two different perspectives. The first one is that of the quality of models used to define the behaviour of Information Systems. In particular considered issues are related to behavioural and quantitative aspects. For what concern behavioural aspect the course will focus on verification techniques; model transformation from semi-formal to formal notation will be presented as well as execution states exploration strategies. Related quantitative aspects of flow analysis, queueing analysis, the simulation will be discussed. This will make it possible to analyze models and related information systems in terms of process performance measures (i.e. cycle time, waiting time, cost, and other measures). The second perspective instead refers to software testing. In this case, the student will learn about the main objectives and issues of testing an Information Systems, and how to structure a software testing process for complex Information Systems selecting among the many available strategies. As a result, the student will acquire competencies that will permit him/her to select the right strategy to adopt in real-world scenarios. The course will also illustrate the usage of concrete tools to perform the different activities introduced for bot quality assurance approaches.
Prerequisites
Enterprise and Business Process Models
Course Contents
- Introduction to information systems
- From model to code a framework for quality management
- Model transformation and design time verification
- Qualitative process analysis: value add analysis, waste analysis
- Quantitative process analysis: flow analysis, queueing analysis, simulation
- Information systems auditing: anomaly detection and mining
- Testing methodologies
Study Material
Course Slides
- BPMN - Exercises
- BPMN Manifesto - http://www.bpmb.de/images/BPMN2_0_Poster_IT.pdf
- Mapping BPMN to Petri Net Slide
- Checking Properties Slide
- Conformance Checking Slide
- Software Testing Generalities Slides
- Domain Partitioning Slides
- Predicate Analysis Slides
- Finite state models testing Slides
Class Recording
- 07 October 2020 - link
- 08 october 2020 - Link
- 14 October 2020 - Link
- 21 October 2020 - Link
- 22 October 2020 - Link
- 04 November 2020 - Link
- 05 November 2020 - link
- 11 November 2020 - Link
- 12 November 2020 - Link
- 18 November 2020 - Link
- 19 November 2020 -
Textbooks
- Dumas M, La Rosa M, Mendling J., Reijers H: Fundamentals of Business Process Management, Springer 2018. (From chapter 6 to 7)
- Aditya P. Mathur, Foundations of Software Testing, 2nd Edition, Pearson 2014
- William E. Perry. Quality Assurance for Information Systems: Methods, Tools, and Techniques. A Wiley-QED Publication, 1991.
Exams
Exam Dates A.Y. 2020/2021
- Dates available at https://didattica.unicam.it/Home.do
Exam rules: The exam consists of a written test (1h 30 m). It has a mixed structure: solution of exercises, and open/close answer questionnaire.
Results
- N/A