دانلود مقالهمدلهای رفتاری اساسی برای خطوط تولید نرم افزار: گویایی و تست پیش از دستور
تعداد کلمات فایل انگلیسی :9900 کلمه 19 صفحه pdf
تعداد صفحات فایل ترجمه :43 صفحه word فونت 14 Lotus
مدلهای رفتاری اساسی برای خطوط تولید نرمافزار: گویایی و تست پیش از دستور
چکیده
به منظور فراهم آوردن یک ساختار نیرومند برای خطوط تولید نرم افزار، چندین رویکرد اساسی برای مدلسازی رفتاری صوری[1] آنها ارائه شده است. در این مقاله، دیدی ساختاریافته از این مدلها، براساس سیستم گذار برچسبدار ارائه میکنیم و گویایی آنها را از نظر مجموعه تولیداتی که میتوانند مشخص کنند، مقایسه میکنیم. علاوه براین، مفهوم این تستها را برای هریک از این مدلها تعریف می کنیم و نشان می دهیم که مفهوم ما از تست، دقیقا اشتقاق کالا را دربرمی گیرد، یعنی تمامی محصولات معتبر، مجموعهای از تستهای خط تولید را خواهند گذراند و هر محصول نامعتبری نیز حداقل در یکی از آزمونهای خط تولید، رد میشود.
1- مقدمه
1-1 انگیزه
خطوط تولید نرم افزار به عنوان یک ایزار سودمند برای تولید انبوه و سفارشی سازی نرم افزار به طور فزایندهای در حال محبوب شدن هستند. بنابراین، ایجاد اساسی صوری برای مشخص کردن و تایید خطوط تایید نرم افزار، میتواند برای جامعه بزرگی سودمند باشد و اثر قابل توجهی داشته باشد. در چند سال گذشته، محققان بسیاری، در بسط صوری های مختلف و تکنیک های استدلالی مربوطه برای تنظیم خطوط تولید نرمافزار تلاش قابل توجهی داشته اند که مقالات ]1-5[، مرور جامعی را فراهم می آورند.
در این مقاله، ما ساختاری را برای ،پیکره این دانش، از نظر تعدادی از اساس یترین بسطهای مدلهای رفتاری برای خطوط تولید نرم افزار، یعنی مدلهای براساس سیستم گذار برچسب دار مانند مدلهای ارائه شده یا مطالعه شده در ]6-19[، ارائه میدهیم. این مدلهای اساسی میتوانند بهعنوان مدلهای معنایی برای بسط مدلهای سطح بالاتر مانند زبانهای خاص ناحیه یا مدلهای براساس زبان مدل سازی یکپارچه، دیاگرامهای حالت یا ترتیبی کمک کنند. بنابراین، ساختارسازی بیشتر بدنه دانش مدلهای محاسباتی اساسی، میتواند به طراحان زبانهای سطح بالاتر کمک کند تا موقع تعریف معانی زبان خود، حق انتخاب درستی داشته باشند.
Basic behavioral models for software product lines: Expressiveness and testing pre-orders
Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi*’1
ABSTRACT
In order to provide a rigorous foundation for Software Product Lines (SPLs), several fundamental approaches have been proposed to their formal behavioral modeling. In this paper, we provide a structured overview of those formalisms based on labeled transition systems and compare their expressiveness in terms of the set of products they can specify. Moreover, we define the notion of tests for each of these formalisms and show that our notions of testing precisely capture product derivation, i.e., all valid products will pass the set of test cases of the product line and each invalid product fails at least one test case of the product line.
© 2015 The Authors. Published by Elsevier B.V. This is an open access article under the
Keywords:
Software product lines
Formal specification
Behavioral specification
Labeled transition systems
Featured transition systems
Modal transition systems
(Calculus of communicating systems (CCS
(Product line CCS (PL-CCS
کد:9517
دانلود رایگان مقاله انگلیسی
رمز فایل :www.downloadmaghaleh.com
دانلود مقاله دات کام 
توضیحات محصول
دانلود مقالهمدلهای رفتاری اساسی برای خطوط تولید نرم افزار: گویایی و تست پیش از دستور
تعداد کلمات فایل انگلیسی :9900 کلمه 19 صفحه pdf
تعداد صفحات فایل ترجمه :43 صفحه word فونت 14 Lotus
مدلهای رفتاری اساسی برای خطوط تولید نرمافزار: گویایی و تست پیش از دستور
چکیده
به منظور فراهم آوردن یک ساختار نیرومند برای خطوط تولید نرم افزار، چندین رویکرد اساسی برای مدلسازی رفتاری صوری[1] آنها ارائه شده است. در این مقاله، دیدی ساختاریافته از این مدلها، براساس سیستم گذار برچسبدار ارائه میکنیم و گویایی آنها را از نظر مجموعه تولیداتی که میتوانند مشخص کنند، مقایسه میکنیم. علاوه براین، مفهوم این تستها را برای هریک از این مدلها تعریف می کنیم و نشان می دهیم که مفهوم ما از تست، دقیقا اشتقاق کالا را دربرمی گیرد، یعنی تمامی محصولات معتبر، مجموعهای از تستهای خط تولید را خواهند گذراند و هر محصول نامعتبری نیز حداقل در یکی از آزمونهای خط تولید، رد میشود.
1- مقدمه
1-1 انگیزه
خطوط تولید نرم افزار به عنوان یک ایزار سودمند برای تولید انبوه و سفارشی سازی نرم افزار به طور فزایندهای در حال محبوب شدن هستند. بنابراین، ایجاد اساسی صوری برای مشخص کردن و تایید خطوط تایید نرم افزار، میتواند برای جامعه بزرگی سودمند باشد و اثر قابل توجهی داشته باشد. در چند سال گذشته، محققان بسیاری، در بسط صوری های مختلف و تکنیک های استدلالی مربوطه برای تنظیم خطوط تولید نرمافزار تلاش قابل توجهی داشته اند که مقالات ]1-5[، مرور جامعی را فراهم می آورند.
در این مقاله، ما ساختاری را برای ،پیکره این دانش، از نظر تعدادی از اساس یترین بسطهای مدلهای رفتاری برای خطوط تولید نرم افزار، یعنی مدلهای براساس سیستم گذار برچسب دار مانند مدلهای ارائه شده یا مطالعه شده در ]6-19[، ارائه میدهیم. این مدلهای اساسی میتوانند بهعنوان مدلهای معنایی برای بسط مدلهای سطح بالاتر مانند زبانهای خاص ناحیه یا مدلهای براساس زبان مدل سازی یکپارچه، دیاگرامهای حالت یا ترتیبی کمک کنند. بنابراین، ساختارسازی بیشتر بدنه دانش مدلهای محاسباتی اساسی، میتواند به طراحان زبانهای سطح بالاتر کمک کند تا موقع تعریف معانی زبان خود، حق انتخاب درستی داشته باشند.
Basic behavioral models for software product lines: Expressiveness and testing pre-orders
Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi*’1
ABSTRACT
In order to provide a rigorous foundation for Software Product Lines (SPLs), several fundamental approaches have been proposed to their formal behavioral modeling. In this paper, we provide a structured overview of those formalisms based on labeled transition systems and compare their expressiveness in terms of the set of products they can specify. Moreover, we define the notion of tests for each of these formalisms and show that our notions of testing precisely capture product derivation, i.e., all valid products will pass the set of test cases of the product line and each invalid product fails at least one test case of the product line.
© 2015 The Authors. Published by Elsevier B.V. This is an open access article under the
Keywords:
Software product lines
Formal specification
Behavioral specification
Labeled transition systems
Featured transition systems
Modal transition systems
(Calculus of communicating systems (CCS
(Product line CCS (PL-CCS
کد:9517
دانلود رایگان مقاله انگلیسی
رمز فایل :www.downloadmaghaleh.com