Caixa blanca (sistemes)

En programació, es denomina caixes blanques a un tipo de proves de software que es realisa sobre les funcions internes d'un mòdul. Aixina com les proves de caixa negra eixerciten els requisits funcionals des de l'exterior del mòdul, les de caixa blanca estan dirigides a les funcions internes. Entre les tècniques usades es troben; la cobertura de camins (proves que facen que es recórreguen tots els possibles camins d'eixecució), proves sobre les expressions llògic-aritmèticas, proves de camí de senyes (definició-use de variables), comprovació de bucles (es verifiquen els bucles per a 0,1 i interaccions, i després per a les interaccions màximes, màximes menys un i més un).

Les proves de caixa blanca es porten a terme en primer lloc, sobre un mòdul concret, per a després realisar les de caixa negra sobre varis subsistema (integració).

En els sistemes orientats a objectes, les proves de caixa blanca poden aplicar-se als métodos de la classe, pero segons vàries opinions, eixe esforç deuria dedicar-se a un atre tipo de proves més especialisades (un argument podria ser que els métodos d'una classe solen ser menys complexos que els de una funció de programació estructurada). Dins de les Proves de Caixa Blanca trobem les anomenades cobertura (sentència, decisió, condició i múltiple ademés dels mencionats camins ciclomáticos proposts per McCabe)

Este concepte també és utilisat de manera anàloga en la teoria general de sistemes.

Vore també

• Proves de software
• Proves de caixa blanca
• Proves de caixa negra