نقد و بررسی
مقاله مدل های رفتاری اساسی برای خطوط تولید نرم افزار: گویایی و تست پیش از دستور
چکیده فارسی :
بهمنظور فراهم آوردن یک ساختار نیرومند برای خطوط تولید نرمافزار، چندین رویکرد اساسی برای مدلسازی رفتاری صوری آنها ارائه شده است. در این مقاله، دیدی ساختاریافته از این مدلها، براساس سیستم گذار برچسبدار ارائه میکنیم و گویایی آنها را از نظر مجموعه تولیداتی که میتوانند مشخص کنند، مقایسه میکنیم. علاوهبراین، مفهوم این تستها را برای هریک از این مدلها تعریف میکنیم و نشان میدهیم که مفهوم ما از تست، دقیقا اشتقاقکالا را دربرمیگیرد، یعنی تمامی محصولات معتبر، مجموعهای از تستهای خط تولید را خواهند گذراند و هر محصول نامعتبری نیز حداقل در یکی از آزمونهای خط تولید، رد میشود.
چکیده انگلیسی:
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
0دیدگاه کاربران