Provided is a system and method comprising a test suite generation
mechanism for testing a domain (e.g., software program) via "black-box"
testing. Parameters are defined, appropriate values for each are chosen,
and via the system and method a suite of test cases are automatically
generated that covers all N-way parameter combinations (e.g., pairs when
N=2) while respecting any specified domain constraints. After receiving a
model comprising the parameters and respective values to test, along with
constraints in a form of logical predicates, the system and method
produces the test cases. Based on the constraints, an algorithm removes
invalid combinations in a first stage, and prevents any other invalid
combinations from being used in a second stage during the test case
generation process. A full set of statistically valuable test cases are
thus efficiently and automatically generated, significantly improving
testing while significantly reducing the resources needed to test.
Se è un sistema e un metodo che contengono un meccanismo della generazione del suite della prova per verificare un dominio (per esempio, programma del software) via "la nero-scatola" che esamina. I parametri sono definiti, i valori adatti per ciascuno sono scelti e via il sistema ed il metodo un suite dei casi della prova è generato automaticamente che riguarda tutte le combinazioni di parametro di N-senso (per esempio, accoppiamenti quando N=2) mentre rispetta tutti i vincoli specificati di dominio. Dopo la ricezione del modello che contiene i parametri ed i valori rispettivi alla prova, con i vincoli in una forma degli attributi logici, il sistema ed il metodo produce i casi della prova. Sulla base dei vincoli, una procedura rimuove le combinazioni non valide in una prima fase ed impedisce tutte le altre combinazioni non valide usando in una seconda fase durante il processo di generazione di caso della prova. Un insieme completo dei casi statisticamente importanti della prova così è generato efficientemente ed automaticamente, migliorante significativamente la prova mentre significativamente ridurre le risorse ha dovuto esaminare.
