INF4290 - Spring 2010

Teaching plan

Date	Teacher	Place	Topic	Lecture notes / comments
27.01.2010	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?
03.02.2010	L. Briand?	?	Introduction to software testing?	Fundamental concepts Testing processes and strategies ?
10.02.2010	L. Briand?	?	White-box Testing?	? Control flow testing ? Data flow testing ? Integration testing White-box testing?
17.02.2010	L. Briand?	?	White-Box Testing (continued)?	? Control flow testing ? Data flow testing ? Integration testing ?
24.02.2010	L. Briand?	?	Black-Box Testing?	? Equivalence partitioning ? Category-partition testing ? Cause-effect graphs, logic function testing Black-box testing?
03.03.2010	L. Briand?	?	Black-box testing (continued)?	? Cause-effect graphs, logic function testing ? Model-based testing ? Combinatorial techniques?
10.03.2010	L. Briand?	?	Testing Object Oriented Systems?	? Class and class cluster testing Class Testing Part1 Class Testing Part2 Class Testing Part3 ?
17.03.2010	L. Briand?	?	Testing object-oriented systems (continued)?	? Integration testing ? Functional testing using UML?
24.03.2010	Andrea Arcuri?	?	Random Testing?	. Random testing . Adaptive random testing Random Testing?
07.04.2010	Mehrdad Sabetzadeh?	?	Requirements Quality Assurance?	. Inspections . Structural consistency checking and querying . Requirements simulation . Formal verification techniques ?Requirements Quality Assurance?
14.04.2010	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??
21.04.2010	L. Briand?	?	Mutation Testing?	Mutation operators Process of mutation testing Cost effectiveness and practical challenges Mutation testing?
28.04.2010	L. Briand?	?	Regression testing?	. Test selection . Test prioritization Regression testing?
05.05.2010	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??
12.05.2010	L. Briand?	?	Safety Analysis?	. Fundamental concepts . Hazard analysis . Fault tree analysis . Safety standards . Safety cases, safety arguments (GSN notation) Safety Analysis?
19.05.2010	L. Briand?	?	Software Reliability Engineering?	? Measuring and predicting software reliability ? Certifying software reliability ? Defensive programming ? Fault tolerance Software Reliability Engineering ?Programming for Reliability??
26.05.2010	L. Briand?	?	Quality Assurance and Management?	? Statistical quality control ? Preventing defects: Defect root cause analysis ? Assessing V&V effectiveness: Orthogonal defect Classification?

Published Jan. 12, 2010 2:32 PM - Last modified Feb. 7, 2020 4:02 PM