טכניקת פיתוח תוכנה בו שניים או יותר משתנים מתפקדת באופן זהה של תוכנית מפותחים על פי מפרט זהה על-ידי מתכנתים שונים או צוותים תכנות כוונה לספק זיהוי שגיאה, גדל אמינות, תיעוד נוסף, או צמצום ההסתברות שגיאות תכנות או מהדר ישפיע הדבר והתוצאות הסופיות.