Applying Static Slicing to UCM Specifications

Applying Static Slicing to UCM Specifications. Masters thesis, King Fahd University of Petroleum and Minerals.

[img]
Preview
PDF (M.Sc thesis, Title: Applying Static Slicing to UCM Requirements Specification)
APPLYING_STATIC_SLICING_TO_UCM_REQUIREMENTS_SPECIFICATIONS.pdf - Accepted Version

Download (10MB) | Preview

Arabic Abstract

تحظى تحدید المواصفات بإھتمام كبیر كمرحلة ھامة في دورة حیاة تصمیم البرمجیات. كلما تطورت تفاصیل المتطلبات, كلما أصبحت أكثر تعقیداً . بالتالي تصبح المتطلبات صعبة الفھم والصیانة. لذلك حاز تطویر أسالیب تساعد على فھم وصیانة تحدید ھي ترمیز نماذج مرئیھ تھدف إلى وصف المتطلبات على (UCM) المتطلبات على أھتمام أكبر. خرائط إستخدام الحالھ لدمج وأخذ الجوانب الوظیفیة بناء على السیناریوھات الغیر نظامیھ (UCM) مستوى عال من السطحیھ. تُستخدم مواصفة التي تمثل الجوانب السلوكیة للنظام والجوانب المعماریھ (مكونات النظام المرتبطة بالسیناریوھات الوظیفیة). كلما زاد تطور الھدف من ھذا العمل .UCM كلما أصبحت صعبة الفھم والصیانھ. في ھذه الأطروحة, نقترح تقنیة تقطیع للغة UCM تصامیم بالنسبة إلى مھمة صیانھ معینھ. تحسین UCM المُقترح في ھذه الأطروحة ھو مساعدة محللي الأنظمة في فھم تحدید متطلبات الفھم لنموذج متطلبات یقلل كلفة صیانھ الانظمة البرم جی ویھساعد على زیادة الإنتاجیة.

English Abstract

Requirement Specification is getting more attention as a crucial stage in software development life cycle. As requirements descriptions evolve, they become more sophisticated. Hence they rapidly become difficult to understand and to maintain. Therefore, developing methods to assist the comprehension, and maintenance of re- quirements specification has gained more importance. The Use Case Maps (UCM) language, part of the standard ITU-T User Requirements Notation (URN), is a visual modelling notation that aims at describing requirements at a high-level of abstraction. A UCM specification is used to integrate and capture both functional (based on causal scenarios that represent behavioral aspects of a system) and ar- chitectural (system components bound to functional scenarios) aspects. As UCM models evolve, they rapidly become hard to understand and to maintain. In this x thesis, we propose a slicing technique for the Use Case Maps language. The goal of the proposed work in this thesis is to assist maintainers in understanding a UCM requirements specification with respect to a particular maintenance task.

Item Type: Thesis (Masters)
Subjects: Computer
Department: College of Computing and Mathematics > Information and Computer Science
Committee Advisor: Hassine, Jameleddin
Committee Members: Alshayeb, Mohammad and Zhioua, Sami
Depositing User: TAHA BINALIALHAG (g201102370)
Date Deposited: 17 Sep 2017 12:50
Last Modified: 31 Dec 2020 08:14
URI: http://eprints.kfupm.edu.sa/id/eprint/140336