l'ÉITIRechercheNouvellesRépertoiresRessourcesGénie/EngineeringUd'O/UofOSITESearchNewsDirectoriesResourcesSITE

CSI5118 (COMP 5302) AUTOMATED VERIFICATION AND VALIDATION OF SOFTWARE

Welcome to the web page of CSI5118 taught by Dr. Stéphane S. Somé


News

Course syllabus

Schedule


Day

Time

Location


Monday

2:30PM – 4:00PM

MRT 015

Lecture

Thursday

4:00PM – 5:30PM

BRS 206

Lecture

Assignments

Paper Synthesis and Presentation

Date
Paper
Presenter
November 25th
Efficient instrumentation for code coverage testing
Using an SQL coverage measurement for testing database applications
An Experience in Testing the Security of Real-World Electronic Voting Systems
S. Leblanc
M. Garzon
N. Nanda
November 29th
Regression test selection for Java software
Feedback-directed Random Test Generation
Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software
S. Valencia
W. Bo
G. S. Dhadda
December 2nd
Using model checking to generate tests from requirements specifications
Model checking large software specifications
The Role of Modeling in the Performance Testing of E-Commerce Applications
D. Langayan
S. T. Rumy
M. Rahman

Course Notes


Topic Readings
1 Introduction to automated verification and validation of software



2


Automated Testing
Test Automation Architectures: Planning for Test Automation
Best Practices in Software Test Automation
Improving the Maintainability of Automated Test Suites
Test Automation Snake Oil
3
The JUnit testing framework
JUnit Cookbook

4

Automated Test Generation
Testing Software Design Modeled by Finite-State Machines
An Overview of OSI Conformance Testing
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs
Principles and Methods of Testing Finite State Machines - A Survey

5

Instrumentation/Code Coverage
Introduction to Code Coverage
In pursuit of code quality: Don't be fooled by the coverage report
Code Coverage Analysis
How to misuse Code Coverage
6
Software Profiling: Eclipse TPTP Java Profiling Using TPTP
TPTP Tutorial


7


Tools for Integration Testing
Endo-Testing: Unit Testing with Mock Objects
Using Mocks and Tests to Design Role-Based Objects
Mock Roles, not Objects
Using mock objects for complex unit tests
Mocks Aren't Stubs
8
Database Testing Database Testing: How to Regression Test a Relational Database
9
Web integration testing
Web Performance Testing


10

State Space Exploration - Model Checking
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Specification and verification of concurrent systems in CESAR
Automatic verification of finite-state concurrent systems using temporal logic specifications

Tools

Code Sample

Sample List of Conferences on Software Verification, Validation and Testing

Links



Contactez: L'École d'ingénierie et de technologie de l'information /
Contact: School of Information Technology and Engineering
Copyright © Université d'Ottawa / University of Ottawa
Webmestre / Webmaster