مقاله مدل های رفتاری اساسی برای خطوط تولید نرم افزار: گویایی و تست پیش از دستورBasic behavioral models for software product lines: Expressiveness and testing pre-orders
0 (0)

0دیدگاه کاربران

در انبار موجود نمی باشد

مقاله مدل های رفتاری اساسی برای خطوط تولید نرم افزار: گویایی و تست پیش از دستورBasic behavioral models for software product lines: Expressiveness and testing pre-orders

0 (0)

0دیدگاه کاربران

15,000 تومان

ژورنال

ELSEVIER

سال انتشار

2015

صفحات انگلیسی

10 تا 20

صفحات فارسی

40 تا 50

15,000 تومان

نقد و بررسی

مقاله مدل های رفتاری اساسی برای خطوط تولید نرم افزار: گویایی و تست پیش از دستور

 

چکیده فارسی :

به­منظور فراهم آوردن یک ساختار نیرومند برای خطوط تولید نرم­افزار، چندین رویکرد اساسی برای مدل­سازی رفتاری صوری  آن­ها ارائه شده است. در این مقاله، دیدی ساختاریافته از این مدل­ها، براساس سیستم گذار برچسب­دار ارائه می­کنیم و گویایی آن­ها را از نظر مجموعه تولیداتی که می­توانند مشخص کنند، مقایسه می­کنیم. علاوه­براین، مفهوم این تست­ها را برای هریک از این مدل­ها تعریف می­کنیم و نشان می­دهیم که مفهوم ما از تست، دقیقا اشتقاقکالا را دربر­می­گیرد، یعنی تمامی محصولات معتبر، مجموعه­ای از تست­های خط تولید را خواهند گذراند و هر محصول نامعتبری نیز حداقل در یکی از آزمون­های خط تولید، رد می­شود.

 

چکیده انگلیسی:

 

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.

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

ژورنال

ELSEVIER

سال انتشار

2015

صفحات انگلیسی

10 تا 20

صفحات فارسی

40 تا 50

دیدگاه خود را در باره این کالا بیان کنید افزودن دیدگاه

دیدگاهها

هیچ دیدگاهی برای این محصول نوشته نشده است.

    هیچ پرسش و پاسخی ثبت نشده است.

پرسش خود را درباره این کالا بیان کنید

ثبت پرسش
انصراف ثبت پرسش
دانشگاه یار

عضویت از 10 ماه قبل

شماره تماس: 09120723889

امتیازی ثبت نشده
https://daneshgahyar.com/shop/mobina-khaleghi/

محصولات مرتبط