SEN4013 Software Verification and ValidationBahçeşehir UniversityDegree Programs SOFTWARE ENGINEERINGGeneral Information For StudentsDiploma SupplementErasmus Policy StatementNational QualificationsBologna Commission
SOFTWARE ENGINEERING
Bachelor TR-NQF-HE: Level 6 QF-EHEA: First Cycle EQF-LLL: Level 6

Course Introduction and Application Information

Course Code Course Name Semester Theoretical Practical Credit ECTS
SEN4013 Software Verification and Validation Fall 3 0 3 6

Basic information

Language of instruction: English
Type of course: Must Course
Course Level: Bachelor’s Degree (First Cycle)
Mode of Delivery: Face to face
Course Coordinator : Dr. Öğr. Üyesi BETÜL ERDOĞDU ŞAKAR
Recommended Optional Program Components: None
Course Objectives: Since software is used in every part of our lives, its reliability, safety and security are must requirements. Ensuring, with high confidence, that software systems behave according to their specification (verification) and serves the planned purpose (validation) are significant activities for software development. That’s why using related verification and validation techniques are critical to reduce software development cost and increase software quality. The objective of this course in to cover software verification and validation with focus on formal verification and software testing.

Learning Outcomes

The students who have succeeded in this course;
1) Identify and explain the concepts and theory related to software verification, validation, general concepts and theory related to software testing.
2) Define the concepts and theory related to model-based testing, model-checking and know how to apply these.
3) Describe the concepts and theory related to run-time verification and know how to apply these.
4) Demonstrate an understanding of selecting and applying appropriate software verification and validation techniques in development projects.
5) Describe the possibilities and limitations of software verification and validation.
6) Learn to use automated verification and validation tools.

Course Content

The course content consists of fundamentals of test and analysis, finite state verification, and different testing techniques.

Weekly Detailed Course Contents

Week Subject Related Preparation
1) Fundamentals of Test and Analysis Software Test and Analysis in a Nutshell, A Framework for Test and Analysis
2) Fundamentals of Test and Analysis Basic Principles, Test and Analysis Activities Within a Software Process
3) Finite Models Finite Models
4) Finite Models Dependence and Data Flow Models
5) Finite State Verification Symbolic Execution and Proof of Properties
6) Finite State Verification Finite State Verification
7) Software Testing Concepts Black Box Testing and White Box Testing
8) Software Testing Principles Software Testing Levels
9) Test Case Selection and Adequacy Adequacy Criteria and Coverage Criteria
10) Functional Testing Partition Testing Strategies
11) Combinatorial Testing Pairwise Combination Testing
12) Structural Testing and Data Flow Testing Statement Testing, Branch Testing, Condition Testing, Path Testing, Data Flow Testing
13) Process Planning and Monitoring the Process
14) Test-Driven Development and Model Checking System, Acceptance, and Regression Testing; Automating Analysis and Test; Documenting Analysis and Test; Finite State Verification

Sources

Course Notes / Textbooks: 1) Software Testing and Analysis: Process, Principles and Techniques, ISBN: 9780471455936
2) Course notes
References: 1) Introduction to Software Testing, ISBN: 9780521880381
2) Foundations of Software Testing, ISBN: 978-8131794760

Evaluation System

Semester Requirements Number of Activities Level of Contribution
Quizzes 1 % 10
Project 1 % 25
Midterms 1 % 25
Final 1 % 40
Total % 100
PERCENTAGE OF SEMESTER WORK % 35
PERCENTAGE OF FINAL WORK % 65
Total % 100

ECTS / Workload Table

Activities Number of Activities Duration (Hours) Workload
Course Hours 14 3 42
Study Hours Out of Class 4 8 32
Project 1 25 25
Quizzes 1 5 5
Midterms 1 20 20
Final 1 20 20
Total Workload 144

Contribution of Learning Outcomes to Programme Outcomes

No Effect 1 Lowest 2 Low 3 Average 4 High 5 Highest
           
Program Outcomes Level of Contribution
1) Be able to specify functional and non-functional attributes of software projects, processes and products.
2) Be able to design software architecture, components, interfaces and subcomponents of a system for complex engineering problems.
3) Be able to develop a complex software system with in terms of code development, verification, testing and debugging.
4) Be able to verify software by testing its program behavior through expected results for a complex engineering problem.
5) Be able to maintain a complex software system due to working environment changes, new user demands and software errors that occur during operation.
6) Be able to monitor and control changes in the complex software system, to integrate the software with other systems, and to plan and manage new releases systematically.
7) Be able to identify, evaluate, measure, manage and apply complex software system life cycle processes in software development by working within and interdisciplinary teams.
8) Be able to use various tools and methods to collect software requirements, design, develop, test and maintain software under realistic constraints and conditions in complex engineering problems.
9) Be able to define basic quality metrics, apply software life cycle processes, measure software quality, identify quality model characteristics, apply standards and be able to use them to analyze, design, develop, verify and test complex software system.
10) Be able to gain technical information about other disciplines such as sustainable development that have common boundaries with software engineering such as mathematics, science, computer engineering, industrial engineering, systems engineering, economics, management and be able to create innovative ideas in entrepreneurship activities.
11) Be able to grasp software engineering culture and concept of ethics and have the basic information of applying them in the software engineering and learn and successfully apply necessary technical skills through professional life.
12) Be able to write active reports using foreign languages and Turkish, understand written reports, prepare design and production reports, make effective presentations, give clear and understandable instructions.
13) Be able to have knowledge about the effects of engineering applications on health, environment and security in universal and societal dimensions and the problems of engineering in the era and the legal consequences of engineering solutions.