The testing metamodel is a sound th

The testing metamodel is a sound theoretical framework that is used as the basis for the testing methodology.

For the integration of the proposed theoretical framework with existent tools

(for instance, the integration of a model compiler, a model-based testing tool, and a test case generator), we have considered the used of model-based technologies for the customization and extension of the modelling languages involved in the development processes.

In particular, we have considered the use of lightweight extensions, which defines new properties, associations and operations that can be used to customize a specific modelling language without altering its original meta- specification.

Thus, the technologies and tools based on the original language specification can also be applied to the customized modelling language.

For the definition of lightweight extensions, we use the OMG standard; i.e., the UML profile specification [34].

Also, we have applied the proposal presented in [21] for the automatic generation of UML testing profiles.

This reduces the effort of a manual definition, which is an error-prone and very time-consuming task.

ผลลัพธ์ (ไทย) 1:

การทดสอบ metamodel เป็นกรอบทฤษฎีเสียงที่ใช้เป็นพื้นฐานสำหรับวิธีทดสอบ สำหรับการรวมของกรอบทฤษฎีนำเสนอด้วยเครื่องมือที่มีอยู่ (สำหรับอินสแตนซ์ รวมของคอมไพเลอร์รุ่น รุ่นใช้มือทดสอบ และสร้างกรณีทดสอบ), เราได้พิจารณาการใช้เทคโนโลยีโดยใช้แบบจำลองสำหรับปรับแต่งและขยายภาษาสร้างแบบจำลองเกี่ยวข้องในกระบวนการพัฒนา โดยเฉพาะอย่างยิ่ง เราได้พิจารณาการใช้ส่วนขยายมีน้ำหนักเบา ที่กำหนดคุณสมบัติใหม่ สมาคมและการดำเนินงานที่สามารถใช้เพื่อกำหนดภาษาของสร้างแบบจำลอง โดยไม่มีการเปลี่ยนแปลงของ meta-ข้อมูลจำเพาะต้นฉบับ ดังนั้น เทคโนโลยีและเครื่องมือตามข้อมูลจำเพาะเกี่ยวกับภาษาเดิมยังใช้ภาษาสร้างแบบจำลองกำหนดเอง สำหรับคำนิยามของส่วนขยายที่มีน้ำหนักเบา ใช้มาตรฐาน OMG เช่น UML การโพรไฟล์ข้อมูลจำเพาะ [34] ยัง เราได้ใช้ข้อเสนอการนำเสนอใน [21] สำหรับสร้างโปรไฟล์ทดสอบ UML โดยอัตโนมัติ นี้ลดความพยายามของคำนิยามด้วยตนเอง ซึ่งเป็นงานพลาดโอกาส และเสียเวลามาก

ผลลัพธ์ (ไทย) 2:

metamodel ทดสอบเป็นกรอบทฤษฎีเสียงที่ถูกนำมาใช้เป็นพื้นฐานสำหรับวิธีการทดสอบสำหรับการรวมกลุ่มของกรอบทฤษฎีที่เสนอด้วยเครื่องมือที่มีอยู่(เช่นการรวมกลุ่มของคอมไพเลอร์รูปแบบเครื่องมือทดสอบแบบที่ใช้และ กรณีทดสอบเครื่องกำเนิดไฟฟ้า) เรามีการพิจารณาที่ใช้เทคโนโลยีแบบที่ใช้สำหรับการปรับแต่งและการขยายของภาษาการสร้างแบบจำลองที่เกี่ยวข้องในกระบวนการพัฒนาโดยเฉพาะอย่างยิ่งที่เราได้รับการพิจารณาการใช้ส่วนขยายที่มีน้ำหนักเบาซึ่งกำหนดคุณสมบัติใหม่, สมาคมและการดำเนินงาน ที่สามารถใช้ในการปรับแต่งแบบภาษาที่เฉพาะเจาะจงโดยไม่ต้องเปลี่ยนข้อกำหนดผลาญในระดับเดิมดังนั้นเทคโนโลยีและเครื่องมือตามข้อกำหนดภาษาเดิมนอกจากนี้ยังสามารถนำไปใช้กับภาษาการสร้างแบบจำลองที่กำหนดเองสำหรับความหมายของนามสกุลที่มีน้ำหนักเบาที่เราใช้ OMG มาตรฐาน เช่นรายละเอียดสเปค UML [34] นอกจากนี้เรายังได้ใช้ข้อเสนอที่นำเสนอใน [21] สำหรับรุ่นอัตโนมัติของโปรไฟล์การทดสอบ UML ซึ่งจะช่วยลดความพยายามของการนิยามตนเองซึ่งเป็นข้อผิดพลาดได้ง่ายและเวลามาก งานบริโภค

ผลลัพธ์ (ไทย) 3:

การทดสอบ metamodel เป็นกรอบทฤษฎีเสียงที่ใช้เป็นพื้นฐานสำหรับวิธีการ

สำหรับการเสนอทฤษฎีโครงสร้างที่มีอยู่เครื่องมือ

( ตัวอย่างเช่น การเรียบเรียง โมเดลสำหรับเครื่องมือทดสอบและกรณีทดสอบเครื่องกำเนิดไฟฟ้า )เราได้พิจารณาแล้วว่า การใช้เทคโนโลยีสำหรับการปรับแต่งและส่วนขยายของภาษาแบบมีส่วนร่วมในการพัฒนากระบวนการ

โดยเฉพาะ เราได้พิจารณาการใช้ส่วนขยายที่เบา ซึ่งกำหนดคุณสมบัติใหม่ , สมาคมและการดำเนินงานที่สามารถใช้ในการปรับแต่งภาษาแบบเฉพาะเจาะจงโดยไม่มีการดัดแปลงของเดิม meta - สเปค

ดังนั้นเทคโนโลยีและเครื่องมือตามสเปคภาษาดั้งเดิมยังสามารถใช้เพื่อปรับแต่งแบบภาษา

สำหรับความหมายของนามสกุลเบา เราใช้มาตรฐาน OMG UML รายละเอียด คือ กำหนด [ 34 ]

ยัง เรามีข้อเสนอที่นำเสนอใน [ 21 ] สำหรับรุ่นอัตโนมัติของโปรไฟล์ UML

ทดสอบใช้นี้จะช่วยลดความพยายามของคำนิยามคู่มือ ซึ่งเป็นข้อผิดพลาดได้ง่ายและมากทั้งงาน