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