Lectures ======== Teacher: Gerardo Schneider * **Note 1**: The following schedule is preliminary and it is subject to change. In particular we plan to have a couple of guest lectures. Any change will be notified in the News section (in the main page) after the course starts. * **Note 2**: Mandatory meetings with each group will be set on some of the slots marked as "Group work and consultation". The course assistant will communicate the specific date to each group in due time. * **Note 3**: There will be 3 deadlines for submission of reports. See the "Project Assignment" tab above for more details on the dates and content of each report. **Place**: Lectures will take place at Lindholmen, in room **SVEA 118**. Schedule -------- +------------------------------------+---------------------------------------------------------------------------------+ |When |Content | +====================================+=================================================================================+ |**Week 1/12** | +------------------------------------+---------------------------------------------------------------------------------+ |Mon Mar 21, 08:00-12:00 | :ref:`lecture0` | | | | | | :ref:`lecture1` | +------------------------------------+---------------------------------------------------------------------------------+ |Wed Mar 23, 10:15-12:00 | :ref:`lecture2` | +------------------------------------+---------------------------------------------------------------------------------+ |Wed Mar 23, 13:15-14:45 | :ref:`lecture3` | +------------------------------------+---------------------------------------------------------------------------------+ |Wed Mar 23, 15:00-17:00 | :ref:`tutorial1` | +------------------------------------+---------------------------------------------------------------------------------+ |**Week -/13** | +------------------------------------+---------------------------------------------------------------------------------+ |Mon Mar 28 | NO LECTURE - HOLIDAY | +------------------------------------+---------------------------------------------------------------------------------+ |Wed Mar 30 | NO LECTURE - HOLIDAY | +------------------------------------+---------------------------------------------------------------------------------+ |**Week -/14** | +------------------------------------+---------------------------------------------------------------------------------+ |Mon Apr 4 | NO LECTURE - HOLIDAY | +------------------------------------+---------------------------------------------------------------------------------+ |Mon Apr 6 | NO LECTURE - HOLIDAY | +------------------------------------+---------------------------------------------------------------------------------+ |**Week 2/15** | +------------------------------------+---------------------------------------------------------------------------------+ |Mon Apr11, 08:00-12:00 | :ref:`lecture4` | | | | | | :ref:`lecture5` | +------------------------------------+---------------------------------------------------------------------------------+ |Wed Apr 13, 10:15-12:00 | :ref:`lecture6` | +------------------------------------+---------------------------------------------------------------------------------+ |Wed Apr 13, 13:15-17:00 | :ref:`tutorial2` | +------------------------------------+---------------------------------------------------------------------------------+ |**Week 3/16** | +------------------------------------+---------------------------------------------------------------------------------+ |Mon Apr 18, 08:00-12:00 | :ref:`lecture7` | | | | | | :ref:`lecture8` | +------------------------------------+---------------------------------------------------------------------------------+ |Wed Apr 20, 10:15-12:00 | :ref:`lecture9` | +------------------------------------+---------------------------------------------------------------------------------+ |Wed Apr 20, 13:15-17:00 | Group work and Consultation | +------------------------------------+---------------------------------------------------------------------------------+ |**Week 4/17** | +------------------------------------+---------------------------------------------------------------------------------+ |Mon Apr 25, 08:00-12:00, | :ref:`lecture10` | | | | | | :ref:`lecture11` | +------------------------------------+---------------------------------------------------------------------------------+ |Wed Apr 27, 10:15-12:00 | :ref:`tutorial3` | +------------------------------------+---------------------------------------------------------------------------------+ |Wed Apr 27, 13:15-17:00 | :ref:`tutorial4` | +------------------------------------+---------------------------------------------------------------------------------+ |**Week 5/18** | +------------------------------------+---------------------------------------------------------------------------------+ |Mon May 2, 08:00-10:00 | Group work and consultation | +------------------------------------+---------------------------------------------------------------------------------+ |Wed May 4, 10:15-12:00 | Group work and consultation | +------------------------------------+---------------------------------------------------------------------------------+ |Wed May 4, 13:15-17:00 | Group work and consultation | +------------------------------------+---------------------------------------------------------------------------------+ |**Week 6/19** | +------------------------------------+---------------------------------------------------------------------------------+ |Mon May 9, 08:00-10:00 | Group work and consultation | +------------------------------------+---------------------------------------------------------------------------------+ |Wed May 11, 10:15-12:00 | Group work and consultation | +------------------------------------+---------------------------------------------------------------------------------+ |Wed May 11, 13:15-17:00 | Group work and consultation | +------------------------------------+---------------------------------------------------------------------------------+ |**Week 7/20** | +------------------------------------+---------------------------------------------------------------------------------+ |Mon May 16, 08:00-12:00 | Group work and consultation | +------------------------------------+---------------------------------------------------------------------------------+ |Wed May 18, 10:15-12:00 | :ref:`guestLecture` | +------------------------------------+---------------------------------------------------------------------------------+ |Wed May 18, 13:15-17:00 | Group work and consultation | +------------------------------------+---------------------------------------------------------------------------------+ |**Week 8/21** | +------------------------------------+---------------------------------------------------------------------------------+ |Mon May 23, 09:15-12:00 | :ref:`lecture12` | +------------------------------------+---------------------------------------------------------------------------------+ |Wed May 25, 10:15-12:00 | Final project presentations by students | +------------------------------------+---------------------------------------------------------------------------------+ |Wed May 25, 13:15-17:00 | Final project presentations by students | +------------------------------------+---------------------------------------------------------------------------------+ .. _lecture0: Lecture 0: Introduction to the course ------------------------------------- * **Slides**: :download:`Introduction to the course`. .. _lecture1: Lecture 1: Introduction to Validation and Verification ------------------------------------------------------ * **Slides**: :download:`Introduction to Validation and Verification` * **Literature**: |JS| .. _lecture2: Lecture 2: BlackBox Testing --------------------------- * **Slides**: :download:`BlackBox Testing` * **Literature**: |JS| .. _lecture3: Lecture 3: WhiteBox Testing --------------------------- * **Slides**: :download:`WhiteBox Testing and Coverage` * **Literature**: |JS| L3, L4 White Box Testing; Testing from the Software Development Perspective J-S .. _lecture4: Lecture 4: Testing from the Software Development Perspective ------------------------------------------------------------ * **Slides**: :download:`Testing in General` * **Literature**: |JS| .. _lecture5: Lecture 5: Extended Finite State Machines (EFSM) ------------------------------------------------ * **Slides**: :download:`EFSM` .. _lecture6: Lecture 6: More on EFSMs ------------------------ * **Slides**: :download:`More on EFSM` .. _lecture7: Lecture 7: Introduction to MBT ------------------------------ * **Slides**: :download:`Introduction to MBT` * **Literature**: |UL| (Chapters 1-3) .. _lecture8: Lecture 8: Selecting tests -------------------------- * **Slides**: :download:`How to select your tests` * **Literature**: |UL| (Chapter 4) .. _lecture9: Lecture 9: Graph Theory Techniques in MBT ----------------------------------------- * **Slides**: :download:`Graph Theory Techniques in MBT` * **Literature**: |RR| .. _lecture10: Lecture 10: ModelJUnit ---------------------- * **Slides**: :download:`ModelJUnit` * **Literature**: |UL| (Sections 5.1-5.2) .. _lecture11: Lecture 11: Making tests executable ----------------------------------- * **Slides**: :download:`Making tests executable` * **Literature**: |UL| (Section 5.3 and Chapter 8) .. _lecture12: Lecture 12: Revision Lecture ------------------------------------------------------------------- * **Slides**: :download:`Revision Lecture` * **Literature**: .. _guestLecture: Guest Lecture Iva Popova ------------------------ * **Slides**: :download:`"Test Jungles in Game Development"` .. _tutorial1: Introduction to assignments, and Tutorial on JUnit (T1) ------------------------------------------------------- Will go through the description of assignment 1, help students set up their private machines machines, and have a tutorial on JUnit. * **Slides**: :download:`Tutorial on JUnit` * **Further information**: * Demo of the SUT * Distribution of units to be tested .. _tutorial2: Tutorial on tools for EFSM (T2) + Consultation assignment 1 ----------------------------------------------------------- We had a demo on how to navigate through the SUT followed by a short presentation of modeling tools and a voluntary exercise on Finite State Machines. * **Slides**: :download:`Tutorial on tools for EFSM` * **Further information**: .. _tutorial3: Tutorial on Modeling (T3) ------------------------- * **Slides**: :download:`Tutorial on Modeling` * **Further information**: See also the example at :doc:`tutorials/modeling-tutorial` .. _tutorial4: Tutorial on ModelJUnit (T4) + Consultation assignments ------------------------------------------------------ See :doc:`tutorials/modeljunit-tutorial` .. |JS| replace:: :ref:`Jorgenson and Sommerville` .. |RR| replace:: :ref:`Robinson` .. |UL| replace:: :ref:`Utting & Legeard` .. |QQ| replace:: :ref:`QuickCheck (papers)`