INF4290 - Spring 2011

Teaching plan

Date	Teacher	Place	Topic	Lecture notes / comments
24.01.2011	L. Briand?	?	Introduction & Overview?	Motivations General definitions and concepts Outline of the remainder of the course Course Introduction Testing Introduction Project proposal template Project report template Example Project report 1 Example Project report 2 ?Exercises ?
31.01.2011	L. Briand?	?	Introduction to software testing?	Fundamental concepts Testing processes and strategies ?
07.02.2011	L. Briand?	?	White-box Testing?	? Control flow testing ? Data flow testing ? Integration testing White-box testing?
14.02.2011	L. Briand?	?	White-Box Testing (continued)?	? Control flow testing ? Data flow testing ? Integration testing ?
21.02.2011	L. Briand?	?	Black-Box Testing?	? Equivalence partitioning ? Category-partition testing ? Cause-effect graphs, logic function testing Black-box testing?
28.02.2011	L. Briand?	?	Black-box testing (continued)?	? Cause-effect graphs, logic function testing ? Model-based testing ? Combinatorial techniques?
07.03.2011	L. Briand?	?	Testing Object Oriented Systems?	? Class and class cluster testing Class Testing Part1 Class Testing Part2 Class Testing Part3 Class Testing Erik Arisholm's lecture ?
14.03.2011	L. Briand?	?	Testing object-oriented systems (continued)?	? Integration testing ? Functional testing using UML?
21.03.2011	Andrea Arcuri?	?	Random Testing?	. Random testing . Adaptive random testing Random Testing?
28.03.2011	Mehrdad Sabetzadeh?	?	Requirements Quality Assurance?	. Inspections . Structural consistency checking and querying . Requirements simulation . Formal verification techniques Requirements Quality Assurance?
04.04.2011	Leon Moonen?	?	Program Analysis for Software Verification?	. relation to testing . static vs dynamic program analysis . analysis precision & safety . data flow analysis (uninitialized variables & dead definitions) . program slicing . application to automating software inspections Static analysis for verification?
11.04.2011	L. Briand?	?	Mutation Testing?	Mutation operators Process of mutation testing Cost effectiveness and practical challenges Mutation testing Survey on mutation testing research?
02.05.2010	L. Briand?	?	Regression testing?	. Test selection . Test prioritization Regression testing Survey on regression testing research?
09.05.2011	Shiva Nejati?	?	Model checking?	. Temporal logic . Basic model checking algorithms . Model checking tools: SMV . State explosion problem . Model checking successes and future challenges Model Checking?
16.05.2011	L. Briand?	?	Safety Analysis?	. Fundamental concepts . Hazard analysis . Fault tree analysis . Safety standards . Safety cases, safety arguments (GSN notation) Safety Analysis?
23.05.2011	L. Briand?	?	Software Reliability Engineering?	? Measuring and predicting software reliability ? Certifying software reliability ? Defensive programming ? Fault tolerance Software Reliability Engineering Programming for Reliability?
30.05.2011	L. Briand?	?	Quality Assurance and Management?	? Statistical quality control ? Preventing defects: Defect root cause analysis ? Assessing V&V effectiveness: Orthogonal defect Classification?

Published Jan. 11, 2011 10:46 AM - Last modified Feb. 7, 2020 4:02 PM