چکیده فارسی :

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

کلمات کلیدی مربوط به این موضوع و طبقه بندی ها.

D.3.3 (زبان برنامه نویسی) : ساختار زبان و خصوصیات آن؛ D.2.10 ( مهندسی نرم افزار) : طرح ؛ D.2.2 (مهندسی نرم افزار): ابزارها و تکنیک های طراحی.

اصطلاحات کلی.

طرح ، زبان ، اثبات.

کلمات کلیدی.

اثبات سخت افزاری ، زبان برنامه نویسی e ، طرحی جهت محور ، موضوع/UML.

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

e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In recent years, the continued growth of the testbenches developed at Infineon Technologies has resulted in their becoming difficult to understand, maintain and extend. Consequently, a decision was taken to document the testbenches at a higher level of abstraction. Accordingly, we attempted to model our legacy test suites with an existing aspect-oriented modelling approach. In this paper we describe our experience of applying Theme/UML, an aspect-oriented modelling approach, to the representation of aspect-oriented testbenches implemented in e. It emerged that the common aspect-oriented concepts supported by Theme/UML were not sufficient to adequately represent the e language, primarily due to e’s dynamic, temporal nature. Based on this experience we propose a number of requirements that must be addressed before aspect-oriented modelling approaches such as Theme/UML are capable of representing aspect-oriented systems implemented in e.
Categories and Subject Descriptors :
D.3.3 [Programming Languages]: Language Constructs and
Features; D.2.10 [Software Engineering]: Design; D.2.2
[Software Engineering]: Design Tools and Techniques
General Terms :
Design, Languages, Verification
Keywords :
Hardware verification, e, aspect-oriented modelling, Theme/UML