سمارت يونيتي

في هذه الورقة، نهدف إلى إجراء اختبار تغطية الوحدة الآلي للبرامج المدمجة. لتحقيق هذا الهدف، من خلال تحليل المتطلبات الصناعية وأعمالنا السابقة على أداة اختبار الوحدة الآلية CAUT، نعيد بناء أداة جديدة، سمارت يونيتي، لحل المتطلبات الهندسية التي تحدث في شركات شريكتنا. سمارت يونيتي هي تنفيذ ديناميكي للتنفيذ الرمزي، يدعم تغطية البيانات، الفروع، القيمة الحدية وتغطية MC/DC. تم استخدام سمارت يونيتي لاختبار أكثر من مليون سطر من الكود في مشاريع حقيقية. لأسباب تتعلق بالسرية، اخترنا ثلاثة مشاريع حقيقية داخلية للتقييمات التجريبية. نقوم أيضًا بإجراء تقييماتنا على مشروعين مفتوحين المصدر، SQLite وPostgreSQL، لاختبار قابلية التوسع لأداتنا حيث أن حجم مشروع البرمجيات المدمجة غالبًا لا يكون كبيرًا، بمعدل 5K-50K سطر من الكود. من نتائجنا التجريبية، بوجه عام، تحقق أكثر من 90% من الدوال في البرمجيات المدمجة التجارية تغطية 100% في البيانات، الفروع، تغطية MC/DC، تحقق أكثر من 80% من الدوال في SQLite تغطية 100% في MC/DC، وتحصل أكثر من 60% من الدوال في PostgreSQL على تغطية 100% في MC/DC. علاوة على ذلك، يستطيع سمارت يونيتي إيجاد الاستثناءات أثناء وقت التشغيل على مستوى اختبار الوحدة. لقد أبلغنا أيضًا عن استثناءات مثل تجاوز فهرس المصفوفة وحدود الصفر في SQLite. بالإضافة إلى ذلك، نقوم بتحليل أسباب التغطية المنخفضة في اختبار الوحدة الآلي في إعدادنا ونقدم مسحًا عن وضع اختبار الوحدة اليدوي بالنسبة للاختبار الآلي في الصناعة.