Teaching Software Verification and Validation Course: A Case Study

dc.authoridOzcelik, Erol/0000-0003-0370-8517
dc.authoridCagiltay, Nergiz/0000-0003-0875-9276
dc.authoridSengul, Gokhan/0000-0003-2273-4411
dc.authoridMishra, Alok/0000-0003-1275-2050
dc.authoridMishra, Deepti/0000-0001-5144-3811
dc.authorwosidMishra, Alok/AAE-2673-2019
dc.authorwosidMishra, Deepti/AAZ-1322-2020
dc.authorwosidMishra, Alok/D-7937-2012
dc.contributor.authorMishra, Deepti
dc.contributor.authorHacaloglu, Tuna
dc.contributor.authorMishra, Alok
dc.contributor.otherComputer Engineering
dc.contributor.otherSoftware Engineering
dc.contributor.otherInformation Systems Engineering
dc.date.accessioned2024-07-05T14:25:55Z
dc.date.available2024-07-05T14:25:55Z
dc.date.issued2014
dc.departmentAtılım Universityen_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, Turkeyen_US
dc.descriptionOzcelik, Erol/0000-0003-0370-8517; Cagiltay, Nergiz/0000-0003-0875-9276; Sengul, Gokhan/0000-0003-2273-4411en_US
dc.descriptionMishra, Alok/0000-0003-1275-2050; Mishra, Deepti/0000-0001-5144-3811en_US
dc.description.abstractSoftware 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.sponsorshipECE: Tubitak 1001 [112K287]en_US
dc.description.sponsorshipThis 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.woscitationindexScience Citation Index Expanded
dc.identifier.citation6
dc.identifier.doi[WOS-DOI-BELIRLENECEK-295]
dc.identifier.endpage1485en_US
dc.identifier.isbn9783319072272
dc.identifier.isbn9783319072265
dc.identifier.issn0949-149X
dc.identifier.issue6en_US
dc.identifier.scopusqualityQ2
dc.identifier.startpage1476en_US
dc.identifier.urihttps://hdl.handle.net/20.500.14411/55
dc.identifier.volume30en_US
dc.identifier.wosWOS:000347642500013
dc.identifier.wosqualityQ4
dc.institutionauthorŞengül, Gökhan
dc.institutionauthorÖzçelik, Erol
dc.institutionauthorÇağıltay, Nergiz
dc.institutionauthorMıshra, Deepti
dc.institutionauthorHacaloğlu, Tuna
dc.institutionauthorMıshra, Alok
dc.language.isoenen_US
dc.publisherTempus Publicationsen_US
dc.relation.ispartof16th International Conference on Human-Computer Interaction (HCI) -- JUN 22-27, 2014 -- Heraklion, GREECEen_US
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.subjectsoftware engineeringen_US
dc.subjecteducationen_US
dc.subjecttestingen_US
dc.subjectopen source toolen_US
dc.titleTeaching Software Verification and Validation Course: A Case Studyen_US
dc.typeArticleen_US
dspace.entity.typePublication
relation.isAuthorOfPublicationf291b4ce-c625-4e8e-b2b7-b8cddbac6c7b
relation.isAuthorOfPublicationacfd2e4e-2792-4323-91eb-806134586df2
relation.isAuthorOfPublicationc99221fa-e0c9-4b73-9f64-54919fcd3c58
relation.isAuthorOfPublicationb675e894-7114-4e7c-8f17-24d8e0f07ca4
relation.isAuthorOfPublicationd3ed58a9-ec7a-4537-bd73-68342f5537fe
relation.isAuthorOfPublicationde97bc0b-032d-4567-835e-6cd0cb17b98b
relation.isAuthorOfPublication.latestForDiscoveryf291b4ce-c625-4e8e-b2b7-b8cddbac6c7b
relation.isOrgUnitOfPublicatione0809e2c-77a7-4f04-9cb0-4bccec9395fa
relation.isOrgUnitOfPublicationd86bbe4b-0f69-4303-a6de-c7ec0c515da5
relation.isOrgUnitOfPublicationcf0fb36c-0500-438e-b4cc-ad1d4ef25579
relation.isOrgUnitOfPublication.latestForDiscoverye0809e2c-77a7-4f04-9cb0-4bccec9395fa

Files

Collections