أسلوب تطوير برمجيات التي يتم تطوير اثنين أو أكثر من المتغيرات مماثلة وظيفيا لبرنامج من نفس مواصفات من قبل المبرمجين مختلفة أو فرق البرمجة بالقصد توفير الكشف عن الخطأ، زيادة الموثوقية، وثائق إضافية، أو تقليل احتمال أن أخطاء البرمجة أو برنامج التحويل البرمجي سوف تؤثر على النتائج النهائية.