Teaching Software Verification and Validation Course: A Case Study

No Thumbnail Available

Date

2014

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Tempus Publications

Open Access Color

OpenAIRE Downloads

OpenAIRE Views

Research Projects

Organizational Units

Thumbnail Image
Organizational Unit
Computer Engineering
(1998)
The Atılım University Department of Computer Engineering was founded in 1998. The department curriculum is prepared in a way that meets the demands for knowledge and skills after graduation, and is subject to periodical reviews and updates in line with international standards. Our Department offers education in many fields of expertise, such as software development, hardware systems, data structures, computer networks, artificial intelligence, machine learning, image processing, natural language processing, object based design, information security, and cloud computing. The education offered by our department is based on practical approaches, with modern laboratories, projects and internship programs. The undergraduate program at our department was accredited in 2014 by the Association of Evaluation and Accreditation of Engineering Programs (MÜDEK) and was granted the label EUR-ACE, valid through Europe. In addition to the undergraduate program, our department offers thesis or non-thesis graduate degree programs (MS).
Thumbnail Image
Organizational Unit
Software Engineering
(2005)
Department of Software Engineering was founded in 2005 as the first department in Ankara in Software Engineering. The recent developments in current technologies such as Artificial Intelligence, Machine Learning, Big Data, and Blockchains, have placed Software Engineering among the top professions of today, and the future. The academic and research activities in the department are pursued with qualified faculty at Undergraduate, Graduate and Doctorate Degree levels. Our University is one of the two universities offering a Doctorate-level program in this field. In addition to focusing on the basic phases of software (analysis, design, development, testing) and relevant methodologies in detail, our department offers education in various areas of expertise, such as Object-oriented Analysis and Design, Human-Computer Interaction, Software Quality Assurance, Software Requirement Engineering, Software Design and Architecture, Software Project Management, Software Testing and Model-Driven Software Development. The curriculum of our Department is catered to graduate individuals who are prepared to take part in any phase of software development of large-scale software in line with the requirements of the software sector. Department of Software Engineering is accredited by MÜDEK (Association for Evaluation and Accreditation of Engineering Programs) until September 30th, 2021, and has been granted the EUR-ACE label that is valid in Europe. This label provides our graduates with a vital head-start to be admitted to graduate-level programs, and into working environments in European Union countries. The Big Data and Cloud Computing Laboratory, as well as MobiLab where mobile applications are developed, SimLAB, the simulation laboratory for Medical Computing, and software education laboratories of the department are equipped with various software tools and hardware to enable our students to use state-of-the-art software technologies. Our graduates are employed in software and R&D companies (Technoparks), national/international institutions developing or utilizing software technologies (such as banks, healthcare institutions, the Information Technologies departments of private and public institutions, telecommunication companies, TÜİK, SPK, BDDK, EPDK, RK, or universities), and research institutions such TÜBİTAK.
Thumbnail Image
Organizational Unit
Information Systems Engineering
Information Systems is an academic and professional discipline which follows data collection, utilization, storage, distribution, processing and management processes and modern technologies used in this field. Our department implements a pioneering and innovative education program that aims to raise the manpower, able to meet the changing and developing needs and expectations of our country and the world. Our courses on current information technologies especially stand out.

Journal Issue

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.

Description

Ozcelik, Erol/0000-0003-0370-8517; Cagiltay, Nergiz/0000-0003-0875-9276; Sengul, Gokhan/0000-0003-2273-4411
Mishra, Alok/0000-0003-1275-2050; Mishra, Deepti/0000-0001-5144-3811
ORCID
Ozcelik, Erol ORCID logo
Cagiltay, Nergiz ORCID logo
Sengul, Gokhan ORCID logo
Mishra, Alok ORCID logo
Mishra, Deepti ORCID logo

Keywords

software engineering, education, testing, open source tool

Turkish CoHE Thesis Center URL

Fields of Science

Citation

6

WoS Q

Q4

Scopus Q

Q2

Source

16th International Conference on Human-Computer Interaction (HCI) -- JUN 22-27, 2014 -- Heraklion, GREECE

Volume

30

Issue

6

Start Page

1476

End Page

1485

URI

https://hdl.handle.net/20.500.14411/55

Collections

WOS