Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
didattica:magistrale:atse:main [2020/09/21 10:06]
mescal [General Information]
— (current)
Line 1: Line 1:
-====== Advanced Topics in Software Engineering ====== 
----- 
-===== News ===== 
-<WRAP center round important 95%> 
-  * <wrap em>​**September 21st, 2020**</​wrap>:​ We inform the students interested in the course that the first lesson will be held on October 7th.  ​ 
-</​WRAP>​ 
- 
----- 
-===== General Information ===== 
-<WRAP box round 95% center> 
-**Teacher**: ​ 
-  * Andrea Polini - [[https://​unicam.webex.com/​meet/​andrea.polini|Webex room]] 
-  * Barbara Re - [[https://​unicam.webex.com/​meet/​barbara.re|Webex room]] 
- 
-**ESSE3 Link** 
-  * [[https://​didattica.unicam.it/​Guide/​PaginaADContest.do?​ad_cont_id=10025*9100*2019*2016*9999&​ANNO_ACCADEMICO=2019&​ANNO_COORTE=2019&​ANNO_REVISIONE=2020|Advanced Topics in Software Engineering - AY 2020/2021]] 
- 
-**Lessons schedule**: 
-  * Wednesday, 11am - 1pm, Room AB1, Polo Lodovici; 
-  * Thursday, 4pm - 6pm,  Room AB1, Polo Lodovici. 
- 
- 
-</​WRAP>​ 
- 
----- 
-===== Course Objectives ===== 
- 
-<WRAP box round 95% center> 
-The course intends to provide to the students the basic knowledge and competences for testing complex software systems. The following topics will be covered: 
-  * Software Testing generalities 
-  * Software Testing phases 
-  * Test derivation strategies 
-  * Test adequacy assessment 
-The various conceptual aspects will be illustrated using examples and competences will be assessed with a course project that will require the usage of professional tools. ​ 
-</​WRAP>​ 
- 
----- 
-===== Course Contents ===== 
- 
-<WRAP round 95% center box> 
- 
-  * **General Information** ​ 
-    * Basic of software testing 
-    * Software quality dimensions 
-    * Testing and other verification activities 
-    * Type of testing 
-  * **Test Generation Strategies from Requirements** 
-    * Equivalence partitioning 
-    * Boundary analysis 
-    * The Category Partition method 
-    * Cause-Effect graphs 
-    * Test generation from predicates 
-      * BOR,BRO, BRE adequate test sets 
-  * **Test Generation from Finite-State Models** ​ 
-    * Finite State Machines (FSM) 
-    * Conformance testing 
-    * The W-Method 
-    * The partial W-Method 
-  * **Test Generation from Combinatorial Design** ​ 
-  * **Test Adequacy Assessment Using Control Flow and Data Flow** ​ 
-    * Control-Flow criteria 
-    * Data-Flow criteria 
-  * **Unit and Integration Testing** ​ 
- 
-</​WRAP>​ 
----- 
-===== Study Material ===== 
-<WRAP box round center 95%> 
-**Course Slides** 
-  * {{:​didattica:​magistrale:​atse:​ay_2021:​introductoryconcepts.pdf |Introduction}} 
-  * {{ :​didattica:​magistrale:​atse:​ay_2021:​partitioning.pdf |Domain Partitioning}} 
-  * {{ :​didattica:​magistrale:​atse:​ay_2021:​predicateanalysis.pdf |Predicate Analysis}} 
-  * {{ {{ :​didattica:​magistrale:​atse:​ay_2021:​assessment.pdf |Adequacy Criteria}} 
-  * {{ :​didattica:​magistrale:​atse:​ay_2021:​jenkins_-_seminar.pdf |Jenkins}} 
-  * {{ :​didattica:​magistrale:​atse:​ay_2021:​junit_-_seminar.pdf |Junit}} 
-  * {{ :​didattica:​magistrale:​atse:​ay_2021:​finitestatemodels.pdf |Finite State Models}} 
-  * {{ :​didattica:​magistrale:​atse:​ay_2021:​combinatorial_design.pdf |Combinatorial Design}} 
- 
-**Video Recording** 
-  * March 24th - Course Introduction 
-  * [[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​bf321a10055e4d4f8288de30ecf71510|March 31st]] 
-  * [[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​f94599e8311a4360962aaa50ed5ad26e|April 2nd]] 
-  * [[https://​drive.google.com/​file/​d/​11FyDBIekUnRyVXg9cOF_Hay5goGJMTa2/​view|April 7th]] 
-  * [[https://​drive.google.com/​file/​d/​1NS_Vx0E6HVIDK2ZddzRFpYE5xioURPdg/​view|April 16th]] 
-  * [[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​d80736ab246f4ebf8d348e7c8dd72df9|April 21st]] 
-  * [[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​23aceb872a8644ae885eacd9c118b8e1|April 23rd]] 
-  * [[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​71426f9b2cb44830b125069a8c462118|May 14th]] 
-  * [[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​024294647efb4c68829ce208bf30c15f|May 19th]] 
-  * [[https://​unicam.webex.com/​recordingservice/​sites/​unicam/​recording/​playback/​ab5bacd981494e128611dcd1557d3780|May 21st]] 
- 
-**Textbooks** 
-  * [AM] Aditya P. Mathur, //​[[http://​www.pearsonhighered.com/​educator/​product/​Foundations-of-Software-Testing/​9788131794760.page|Foundations of Software Testing]]//,​ 2nd Edition, Pearson 2014 
-</​WRAP>​ 
----- 
-===== Exams ===== 
-<WRAP box round center 95%> 
-**Exam Dates A.Y. 2020/2021** 
-  * June 18th, 2020 - 11am-1pm, room AB1 
-  * July 16th, 2020 - 11am-1pm, room AB1 
-  * September 8th and 29th, 2020 - 11am-1pm, room AB1 
-  * February 2nd and 23th, 2021 - 11am-1pm, room AB1 
- 
-**Exam rules**: 
-  
-The exam consist of two parts. ​ 
-  * Written test (1h30). On the exam date a written test takes place, it has a mixed structure: solution of exercises, and open/close answer questionnaire. 
-  * Optional <wrap em>oral presentation</​wrap>​ that can be performed in a date agreed with the teachers. 
- 
-  * {{ :​didattica:​magistrale:​atse:​ay_2021:​20200713.pdf |Mock Exam}} (July 9th, 2020) 
-  * {{ :​didattica:​magistrale:​atse:​ay_2021:​20200713_exam.pdf |July 13th, 2020 - Exam text}} 
-** Results ** 
-  * N/A 
-</​WRAP>​ 
-