Subject » BMEVIMIMA01
Software and Systems Verification
Szoftver- és rendszerellenőrzés
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
—
| Subject name (Hungarian, English) |
Szoftver- és rendszerellenőrzés
Software and Systems Verification
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Subject code | BMEVIMIMA01 | ||||||||||||
| Subject type | — | ||||||||||||
| Training Level | — | ||||||||||||
| Course types and hours (weekly/semester) |
|
||||||||||||
| Assessment type | vizsga | ||||||||||||
| Credits | 4 | ||||||||||||
| Subject coordinator |
DR. Micskei Zoltán Imre
position: egyetemi docens
contact:
micskei.zoltan@vik.bme.hu
|
||||||||||||
| Responsible department |
Mesterséges Intelligencia és Rendszertervezés Tanszék
|
||||||||||||
| Faculty | Villamosmérnöki és Informatikai Kar | ||||||||||||
| Subject website | http://www.mit.bme.hu/eng/oktatas/targyak/vimima01 | ||||||||||||
| Primary curriculum type | — | ||||||||||||
| Direct prerequisites – Strong prerequisite | none | ||||||||||||
| Direct prerequisites – Weak prerequisite | none | ||||||||||||
| Direct prerequisites – Parallel prerequisite | none | ||||||||||||
| Direct prerequisites – Milestone prerequisite | none | ||||||||||||
| Direct prerequisites – Exclusion | none |
Objectives
Programme
Lectures
Overview
1. Specialties of critical systems, attributes of dependability.
2. Verification techniques in the development lifecycle
Static verification techniques
3. Verifying requirements (properties to verify, completeness and soundness, requirement management tools)
4. Verifying designs (reviewing detailed plans, model-based verification)
5. Verifying source code (coding standards, analyzing control flow and dataflow, analysis tools)
Testing
6. Testing levels and methods (goals of testing, testing in the different phases of the development process)
7. Specification and structure based test design (black box and white box techniques, coverage criteria)
8. Test automation (build processes, continuous integration, regression testing)
9. Model and code based test generation (algorithms for test generation, using model checkers and constraint solvers, dynamic symbolic execution)
Dependability analysis
10. Verifying extra-functional requirements (categorization of extra-functional requirements, stress and robustness testing, fault injection)
11. Qualitative and quantitative analysis (fault tree, cause effect analysis, FMEA)
12. Dependability modeling (model based analysis)
13. Runtime verification (requirement based monitoring, monitor synthesis)
Seminars
1. Incident management tools, announcement of home assignments
2. Verifying requirements. Requirement management tool
3. Verifying detailed designs. Using a source code analysis tool
4. Tools for unit testing (unit testing and isolation frameworks)
5. Test design techniques
6. Automatic test generation tools
7. Methods of dependability analysis
The objective of the course is to present the different verification techniques that can be used throughout the full software and systems development lifecycle. Nowadays such techniques are used not only in critical systems (where their usage are usually mandated by standards), but quality is a requirement for every system.
After completing the course, students will have a general understanding of the whole verification process, and know which techniques are recommended for the different phases. They can identify the various static verification technique, and can review specifications and designs, and apply static analysis tools on source code. They can list the different levels and methods of software testing, and can use specification and structure based test design techniques. They know the techniques for verifying extra-functional properties (e.g. modeling and analyzing dependability). They can describe the techniques for runtime verification.
Learning outcomes
Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:
Knowledge
No learning outcomes recorded.
Skills
No learning outcomes recorded.
Attitudes
No learning outcomes recorded.
Autonomy and responsibility
No learning outcomes recorded.
Oktatási módszertan
Lecture and seminar
Tanulástámogató anyagok
Online források
G. G. Schulmeyer, G. R. MacKenzie. Verification and Validation of Modern Software-Intensive Systems. Prentice Hall, 2000.; N. G. Leveson: Safeware: System Safety and Computers. Addison Wesley, 1995 ; G. J. Myers, C. Sandler. The Art of Software Testing. John Wiley & Sons, 2004.; M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner. Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science). Springer-Verlag, 2005.
Recommended preliminary knowledge for completing the subject
Knowledge type competencies
(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
Basic programming skills (Java, C and C#) and modeling with UML
Skill type competencies
(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Recommended (non-compulsory) preliminary competencies
(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)
Basic programming skills (Java, C and C#) and modeling with UML
General rules
Requirements:
Term:
To obtain the signature the students have to successfully complete a multi-phase team home assignment.
All phases of the home assignment have to be completed, and at least 40% of the points for each phase has to be achieved.
Exam period:
Written or oral exam (depending on the number of the students taking the course).
Final mark: (0.5 * grade of the home assignment) + (0.5 * grade of the exam)
Pre-exam: none
Additional possibilities:
The home assignment cannot be handed in after the deadline. [Code of Studies 122. § (2)]
The home assignment cannot be improved with a re-submission. [Code of Studies 122. § (3)]
Assessment methods
In-term assessments
No detailed assessments provided.
Weight of in-term assessments
No weights provided.
Exam-period assessments
No detailed assessments provided.
Weight of exam elements
No weights provided.
Grade calculation
No grade thresholds provided.
Attendance requirements
No attendance requirements provided.
Rules for retake and resubmission
Not provided.
Short description
Not provided.
Detailed description
Not provided.
Recommended courses
Not provided.
Workload to complete the subject
No workload breakdown provided.
Validity of subject requirements
Requirements valid from:
—
Requirements valid until:
—
Curriculum placement
No curriculum placements recorded for this subject version.