Key points are not available for this paper at this time.
يجب أن تكون المجمعات صحيحة. لتحسين جودة مجمعات C، أنشأنا Csmith، أداة لتوليد حالات اختبار عشوائية، وقد قضينا ثلاث سنوات نستخدمها لإيجاد أخطاء المجمعات. خلال هذه الفترة، أبلغنا عن أكثر من 325 خطأ غير معروف سابقًا لمطوري المجمعات. كل مجمع اختبرناه وُجد أنه ينهار وأيضًا يولد شفرة خاطئة بصمت عندما يُقدَّم له إدخال صحيح. في هذه الورقة نقدم أداتنا لاختبار المجمعات ونتائج دراستنا في البحث عن الأخطاء. مساهمتنا الأولى هي التقدم بحالة الفن في اختبار المجمعات. على عكس الأدوات السابقة، يقوم Csmith بتوليد برامج تغطي مجموعة كبيرة من C مع تجنب السلوكيات غير المعرفة وغير المحددة التي من شأنها تدمير قدرته على العثور تلقائيًا على أخطاء الشفرة الخاطئة. مساهمتنا الثانية هي مجموعة من النتائج النوعية والكمية حول الأخطاء التي وجدناها في مجمعات C مفتوحة المصدر.
درس جانغ وزملاؤه (سات) هذا السؤال.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: