Subject » BMEVIMIAC04
Integration and Verification Techniques
Integrációs és ellenőrzési technikák
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
—
| Subject name (Hungarian, English) |
Integrációs és ellenőrzési technikák
Integration and Verification Techniques
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Subject code | BMEVIMIAC04 | ||||||||||||
| Subject type | — | ||||||||||||
| Training Level | — | ||||||||||||
| Course types and hours (weekly/semester) |
|
||||||||||||
| Assessment type | vizsga | ||||||||||||
| Credits | 4 | ||||||||||||
| Subject coordinator |
DR. Strausz György
position: egyetemi docens
contact:
strausz.gyorgy@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/vimiac04 | ||||||||||||
| 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:
1. Information integration approaches. Methods of information integration: the role of mediators, design methods. Advantages and disadvantages of virtual and materialized approaches in information integration.
2. Virtual data integration techniques, introduction of mediator/integrator approach. Role of ontologies in resolving conceptual heterogeneity. The typical architectures of virtual integration mediators, query formulation, translation, optimization.
3. The materialized date integration (data warehouse systems / overview /), storing and querying data in a data warehouse system.
4. Integration of information of web data. The semantic web concept.
5. Application of the semantic web technologies for web data integration.
6. Information retrieval in semi-structured information sources. Internet search engines, technologies, capabilities and deficiencies.
7. Case Study: state of the art information broker systems.
8. The role of verification technology, the overview of the verification process: typical development phases, chcking points and related technologies. Traceability of the verification and supporting tools.
9. Static verification of specifications and plans: completeness, consistency, testability of data, behavior and interface specifications.
Demonstrative examples: data storage, query services.
10. Dynamic checks of components: design approaches of specification and structure-based tests: Selecting test data by analyzing equivalence partitions and limits, combinatorial methods.
11. Usage of test quality measures.
12. Verification of component and data integration: Incremental testing methods.
13. Test data derivation using ontology and metadata models, application of the model in web 2.0 services. Scenario-based integration tests of web-based information resources integration processes.
14. Model-based methods of system level tests (overview): Generation of test data and configurations. Continuous integration.
Exercises:
1. Creating an ontological model of information integration (Protégé, OWL)
2. Construction of RDF databases, Linked date technology
3. Model queries (SPARQL)
4. Building and running component level tests (Junit)
5. Test coverage measurement (Codec Over)
6. Using Isolation Frameworks (Mockito, JMock)
1. Information integration approaches. Methods of information integration: the role of mediators, design methods. Advantages and disadvantages of virtual and materialized approaches in information integration.
2. Virtual data integration techniques, introduction of mediator/integrator approach. Role of ontologies in resolving conceptual heterogeneity. The typical architectures of virtual integration mediators, query formulation, translation, optimization.
3. The materialized date integration (data warehouse systems / overview /), storing and querying data in a data warehouse system.
4. Integration of information of web data. The semantic web concept.
5. Application of the semantic web technologies for web data integration.
6. Information retrieval in semi-structured information sources. Internet search engines, technologies, capabilities and deficiencies.
7. Case Study: state of the art information broker systems.
8. The role of verification technology, the overview of the verification process: typical development phases, chcking points and related technologies. Traceability of the verification and supporting tools.
9. Static verification of specifications and plans: completeness, consistency, testability of data, behavior and interface specifications.
Demonstrative examples: data storage, query services.
10. Dynamic checks of components: design approaches of specification and structure-based tests: Selecting test data by analyzing equivalence partitions and limits, combinatorial methods.
11. Usage of test quality measures.
12. Verification of component and data integration: Incremental testing methods.
13. Test data derivation using ontology and metadata models, application of the model in web 2.0 services. Scenario-based integration tests of web-based information resources integration processes.
14. Model-based methods of system level tests (overview): Generation of test data and configurations. Continuous integration.
Exercises:
1. Creating an ontological model of information integration (Protégé, OWL)
2. Construction of RDF databases, Linked date technology
3. Model queries (SPARQL)
4. Building and running component level tests (Junit)
5. Test coverage measurement (Codec Over)
6. Using Isolation Frameworks (Mockito, JMock)
The subject aims to provide an overview of a variety of information integration systems, introduces the development and verification technics of such systems. We discuss the most common integration approches of distributed data, documents and other type of resources available on the Web. The subject deals with the semantic heterogeneity and structural problems, unveil the necessary technologies. We analyze in this framework the approaches and technologies of the Semantic Web concept.
The subject continues with the discussion of the verification processes and the checking possibilities in the typical development phases. Among the several verification tasks we focus on the static analysis of the specifications and plans for dealing with static controls, the dynamic verification of the components, and with the tests of integration. The subject ends with the overview of the system testing methods.
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
Lectures, laboratory
Tanulástámogató anyagok
Online források
AnHai Doan, Alon Halevy,; and Zachary Ives: Principles of Data Integration, Morgan Kaufmann, 1st edition; (2012) ( http://research.cs.wisc.edu/dibook/); G. G. Schulmeyer, G. R.; MacKenzie: Verification and Validation of Modern Software-Intensive Systems.; Prentice Hall, 2000.
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)
Software technology, Software Technics, Artificial Intelligence
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)
Software technology, Software Technics, Artificial Intelligence
General rules
Requirements:
During the semester:
students shouls accomplish a midterm in the semester, the level of acceptance is 40%
one home project should also be completed
Additional possibilities:
During the semester
and the additional week an extra midterm opportunity provided.
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.