Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
didattica:magistrale:atse:main [2020/09/21 10:03] mescal [News] |
— (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 | ||
- | * Barbara Re | ||
- | |||
- | **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=2019|Advanced Topics in Software Engineering - AY 2019/2020]] | ||
- | |||
- | **Lessons schedule**: | ||
- | * Tuesday, 14.00 - 16.00, Room AB1, Polo Lodovici; | ||
- | * Thursday, 11.00 - 13.00, 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> | ||
- | |||