An automated approach to validate correctness and completeness of requirements specification

Other Title(s)

المنهج الآلي للتحقق من صحة و اكتمال متطلبات البرمجيات

Dissertant

al-Kasabrah, Yazan Mahmud

Thesis advisor

al-Harub, Ayish M.

University

Isra University

Faculty

Faculty of Information Technology

Department

Department Software Engineering

University Country

Jordan

Degree

Master

Degree Date

2018

Arabic Abstract

المتطلبات هي المرحلة الأولى في عملية تطوير البرمجيات التي ينبغي أن تؤخذ بعين الاعتبار، و هو لبنة أساسية لتحقيق نجاح البرمجيات و جودتها، و الصعوبة في المتطلبات أنها متغيرة، بحيث من الصعب السيطرة عليها تبعا للخدمات و المهام و في الوقت نفسه، من المهم تحديد مجموعة من متطلبات العملاء، مما يشير إلى صحتها و اكتمالها، و معالجتها من خلال رضا العملاء الذي يدور حول دقة الخدمات، فيتم بلوغ الاكتمال من خلال التوافق بين المتطلبات.

مشيرا إلى أن الصحة و الاكتمال يشيران إلى الجودة، في حين أن تحسين مواصفات المتطلبات يزيد من جودتها، و الذي بدوره يعكس بشكل إيجابي على جودة المنتج.

و يتداول البحث مشكلة تحقيق الصحة و الاكتمال والتوافق في مواصفات المتطلبات من خلال استخدام الرسم التخطيطي و تنفيذ المنهج الآلي باستخدام أداة مبرمجة بتطبيق ( إكسل ) تستند إلى قواعد قياسية وثابتة لتقييم المنهج.

يتم إنشاء التقييم باستخدام اثنين من الرسوم التخطيطية القياسية من موقع الرسوم الرسمي، و الذي بوره يؤدى إلى تحسين معايير الصحة و الاكتمال في مواصفات المتطلبات، و كذلك بالنسبة للجودة.

English Abstract

-Requirements is the first phase in software development process that should be taken into consideration, which is amilestone to achieve software success and quality, the difficulty in requirements is requirements changeability, which is hard to control by following the services and functions.

Meanwhile, it is important to pin down a set of formal customer requirements, which points out Correctness and Completeness, addressing them through customer satisfaction that revolves around precise services requests, to be conveyed to deep Completeness, through Consistency.

Mentioning that Correctness and Completeness point at Quality, while enhancing the Requirements Specification increases its quality, which in turn reflects positively on the product quality.

This research addresses the problem of achieving Correctness, Completeness and Consistency in Requirements Specification through UML use case diagram.

Applying an automated approach and a (VBA/MS excel) programmed tool based on standard rules to evaluate the approach.

The evaluation is established using two standard use case diagrams from the UML site, resulted in improving the Correctness and Completeness criteria in Requirements Specification, and so the quality.

Main Subjects

Information Technology and Computer Science

No. of Pages

55

Table of Contents

Table of contents.

Abstract.

Abstract in Arabic.

Chapter One : Introduction.

Chapter Two : Background and related work.

Chapter Three : Methodology.

Chapter Four : Experiment and discussions.

Chapter Five : Conclusions and future works.

References.

American Psychological Association (APA)

al-Kasabrah, Yazan Mahmud. (2018). An automated approach to validate correctness and completeness of requirements specification. (Master's theses Theses and Dissertations Master). Isra University, Jordan
https://search.emarefa.net/detail/BIM-789441

Modern Language Association (MLA)

al-Kasabrah, Yazan Mahmud. An automated approach to validate correctness and completeness of requirements specification. (Master's theses Theses and Dissertations Master). Isra University. (2018).
https://search.emarefa.net/detail/BIM-789441

American Medical Association (AMA)

al-Kasabrah, Yazan Mahmud. (2018). An automated approach to validate correctness and completeness of requirements specification. (Master's theses Theses and Dissertations Master). Isra University, Jordan
https://search.emarefa.net/detail/BIM-789441

Language

English

Data Type

Arab Theses

Record ID

BIM-789441