Teaching Software Verification and Validation Course: a Case Study
| dc.authorid | Ozcelik, Erol/0000-0003-0370-8517 | |
| dc.authorid | Cagiltay, Nergiz/0000-0003-0875-9276 | |
| dc.authorid | Sengul, Gokhan/0000-0003-2273-4411 | |
| dc.authorid | Mishra, Alok/0000-0003-1275-2050 | |
| dc.authorid | Mishra, Deepti/0000-0001-5144-3811 | |
| dc.authorscopusid | 15730011900 | |
| dc.authorscopusid | 56422190200 | |
| dc.authorscopusid | 7201441575 | |
| dc.authorwosid | Mishra, Alok/AAE-2673-2019 | |
| dc.authorwosid | Mishra, Deepti/AAZ-1322-2020 | |
| dc.authorwosid | Mishra, Alok/D-7937-2012 | |
| dc.contributor.author | Mishra, Deepti | |
| dc.contributor.author | Hacaloglu, Tuna | |
| dc.contributor.author | Mishra, Alok | |
| dc.contributor.other | Computer Engineering | |
| dc.contributor.other | Computer Engineering | |
| dc.contributor.other | Software Engineering | |
| dc.contributor.other | Information Systems Engineering | |
| dc.contributor.other | Software Engineering | |
| dc.contributor.other | Information Systems Engineering | |
| dc.date.accessioned | 2024-07-05T14:25:55Z | |
| dc.date.available | 2024-07-05T14:25:55Z | |
| dc.date.issued | 2014 | |
| dc.department | Atılım University | en_US |
| dc.department-temp | [Mishra, Deepti] Atilim Univ, Dept Comp Engn, Ankara, Turkey; [Hacaloglu, Tuna] Atilim Univ, Dept Informat Syst Engn, Ankara, Turkey; [Mishra, Alok] Atilim Univ, Dept Software Engn, Ankara, Turkey | en_US |
| dc.description | Ozcelik, Erol/0000-0003-0370-8517; Cagiltay, Nergiz/0000-0003-0875-9276; Sengul, Gokhan/0000-0003-2273-4411 | en_US |
| dc.description | Mishra, Alok/0000-0003-1275-2050; Mishra, Deepti/0000-0001-5144-3811 | en_US |
| dc.description.abstract | Software verification and validation (V & V) is one of the significant areas of software engineering for developing high quality software. It is also becoming part of the curriculum of a universities' software and computer engineering departments. This paper reports the experience of teaching undergraduate software engineering students and discusses the main problems encountered during the course, along with suggestions to overcome these problems. This study covers all the different topics generally covered in the software verification and validation course, including static verification and validation. It is found that prior knowledge about software quality concepts and good programming skills can help students to achieve success in this course. Further, team work can be chosen as a strategy, since it facilitates students' understanding and motivates them to study. It is observed that students were more successful in white box testing than in black box testing. | en_US |
| dc.description.sponsorship | ECE: Tubitak 1001 [112K287] | en_US |
| dc.description.sponsorship | This study is conducted for improving the scenario designs of the educational materials which are developed for neurosurgery education project (ECE: Tubitak 1001, Project No: 112K287) purposes. The authors would like to thank the support of TSBITAK 1001 program for realizing the ECE project. | en_US |
| dc.description.woscitationindex | Science Citation Index Expanded | |
| dc.identifier.citationcount | 6 | |
| dc.identifier.endpage | 1485 | en_US |
| dc.identifier.isbn | 9783319072272 | |
| dc.identifier.isbn | 9783319072265 | |
| dc.identifier.issn | 0949-149X | |
| dc.identifier.issue | 6 | en_US |
| dc.identifier.scopus | 2-s2.0-84911411334 | |
| dc.identifier.scopusquality | Q2 | |
| dc.identifier.startpage | 1476 | en_US |
| dc.identifier.uri | https://hdl.handle.net/20.500.14411/55 | |
| dc.identifier.volume | 30 | en_US |
| dc.identifier.wos | WOS:000347642500013 | |
| dc.identifier.wosquality | Q4 | |
| dc.institutionauthor | Şengül, Gökhan | |
| dc.institutionauthor | Özçelik, Erol | |
| dc.institutionauthor | Çağıltay, Nergiz | |
| dc.institutionauthor | Mıshra, Deepti | |
| dc.institutionauthor | Hacaloğlu, Tuna | |
| dc.institutionauthor | Mıshra, Alok | |
| dc.institutionauthor | Şengül, Gökhan | |
| dc.institutionauthor | Özçelik, Erol | |
| dc.institutionauthor | Çağıltay, Nergiz | |
| dc.institutionauthor | Mıshra, Deepti | |
| dc.institutionauthor | Hacaloğlu, Tuna | |
| dc.institutionauthor | Mıshra, Alok | |
| dc.language.iso | en | en_US |
| dc.publisher | Tempus Publications | en_US |
| dc.relation.ispartof | 16th International Conference on Human-Computer Interaction (HCI) -- JUN 22-27, 2014 -- Heraklion, GREECE | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science | |
| dc.relation.publicationcategory | Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı | en_US |
| dc.rights | info:eu-repo/semantics/closedAccess | en_US |
| dc.scopus.citedbyCount | 7 | |
| dc.subject | software engineering | en_US |
| dc.subject | education | en_US |
| dc.subject | testing | en_US |
| dc.subject | open source tool | en_US |
| dc.title | Teaching Software Verification and Validation Course: a Case Study | en_US |
| dc.type | Article | en_US |
| dc.wos.citedbyCount | 6 | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | f291b4ce-c625-4e8e-b2b7-b8cddbac6c7b | |
| relation.isAuthorOfPublication | acfd2e4e-2792-4323-91eb-806134586df2 | |
| relation.isAuthorOfPublication | c99221fa-e0c9-4b73-9f64-54919fcd3c58 | |
| relation.isAuthorOfPublication | b675e894-7114-4e7c-8f17-24d8e0f07ca4 | |
| relation.isAuthorOfPublication | d3ed58a9-ec7a-4537-bd73-68342f5537fe | |
| relation.isAuthorOfPublication | de97bc0b-032d-4567-835e-6cd0cb17b98b | |
| relation.isAuthorOfPublication.latestForDiscovery | f291b4ce-c625-4e8e-b2b7-b8cddbac6c7b | |
| relation.isOrgUnitOfPublication | e0809e2c-77a7-4f04-9cb0-4bccec9395fa | |
| relation.isOrgUnitOfPublication | d86bbe4b-0f69-4303-a6de-c7ec0c515da5 | |
| relation.isOrgUnitOfPublication | cf0fb36c-0500-438e-b4cc-ad1d4ef25579 | |
| relation.isOrgUnitOfPublication.latestForDiscovery | e0809e2c-77a7-4f04-9cb0-4bccec9395fa |