An automated approach to validate correctness and completeness of requirements specification
Other Title(s)
المنهج الآلي للتحقق من صحة و اكتمال متطلبات البرمجيات
Dissertant
Thesis advisor
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