Course detail
Testing and Dynamic Analysis
FIT-ITSAcad. year: 2017/2018
Test specification. Coverage criteria for source code (EC, NC, EPC, PPC). Logic coverage criteria (PC, CC, MCDC). Input space partitioning. Input space coverage criteria. Black-box dynamic analysis. Tracing of shared resource usage. Testing multi-threaded applications. Testing network applications. Testing GUI. Performance testing. Test management.
Language of instruction
Number of ECTS credits
Mode of study
Guarantor
Department
Learning outcomes of the course unit
Student will learn through project excercise how to analyse a software product to rise its quality. Student gain a knowledge how to create a test suite and how to find bugs in programs.
Prerequisites
Co-requisites
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
Course curriculum
- Syllabus of lectures:
- Role of testing and dynamic analysis in development of a computer-based system. Introduction to terms in testing. Models of testing process. Test requirements, test specification, and test plan. Test-driven development.
- Subsystem testing. Coverage criteria for source code. Control flow graph. Graph coverage criteria. Data flow coverage criteria.
- Relation of a graph coverage and the source code. Relation of a data flow coverage and the source code.
- Logic coverage criteria.
- Input domain modelling. Input space coverage criteria.
- Syntax-based testing.
- Test case development based on specification requirements of a system. Testing according to V-model.
- Combining test cases. Test-based bug localization. Bug-reporting.
- Black-box dynamic program analysis. Analysis based on tracing library and system calls. Constructing data and control flow graph. Constraints of event sequence.
- Virtualization in dynamic analysis. Analysis of shared resource usage. Coverage criteria based on shared resource usage.
- Testing multi-threaded applications.
- Testing network applications. Testing graphical user interface and its automation. Testing non-functional requirements.
- Performance testing. Test planning and management. Brief introduction to static analysis.
- Desing of a test suite satisfying specified test criteria for a given software project.
- Implementation of a software analyzer according to the specification.
Syllabus - others, projects and individual work of students:
Work placements
Aims
Specification of controlled education, way of implementation and compensation for absences
Recommended optional programme components
Prerequisites and corequisites
- recommended prerequisite
Algorithms - recommended prerequisite
Formal Languages and Compilers - recommended prerequisite
Operating Systems
Basic literature
Recommended reading
Classification of course in study plans
Type of course unit
Lecture
Teacher / Lecturer
Syllabus
- Role of testing and dynamic analysis in development of a computer-based system. Introduction to terms in testing. Models of testing process. Test requirements, test specification, and test plan. Test-driven development.
- Subsystem testing. Coverage criteria for source code. Control flow graph. Graph coverage criteria. Data flow coverage criteria.
- Relation of a graph coverage and the source code. Relation of a data flow coverage and the source code.
- Logic coverage criteria.
- Input domain modelling. Input space coverage criteria.
- Syntax-based testing.
- Test case development based on specification requirements of a system. Testing according to V-model.
- Combining test cases. Test-based bug localization. Bug-reporting.
- Black-box dynamic program analysis. Analysis based on tracing library and system calls. Constructing data and control flow graph. Constraints of event sequence.
- Virtualization in dynamic analysis. Analysis of shared resource usage. Coverage criteria based on shared resource usage.
- Testing multi-threaded applications.
- Testing network applications. Testing graphical user interface and its automation. Testing non-functional requirements.
- Performance testing. Test planning and management. Brief introduction to static analysis.