agentic-qe 3.2.3 → 3.3.1

package/v3/dist/domains/test-generation/services/property-test-generator.js

@@ -0,0 +1,306 @@
+/**
+ * Agentic QE v3 - Property-Based Test Generator Service
+ * Generates property-based tests using fast-check arbitraries
+ *
+ * Extracted from TestGeneratorService to follow Single Responsibility Principle
+ */
+/**
+ * Property-Based Test Generator Service
+ * Generates property-based tests with fast-check generators
+ */
+export class PropertyTestGeneratorService {
+    /**
+     * Generate property-based tests
+     */
+    async generatePropertyTests(request) {
+        const { function: funcName, properties, constraints = {} } = request;
+        const tests = properties.map((property) => ({
+            property,
+            testCode: this.generatePropertyTestCode(funcName, property, constraints),
+            generators: this.inferGenerators(property, constraints),
+        }));
+        return {
+            tests,
+            arbitraries: this.collectArbitraries(tests),
+        };
+    }
+    generatePropertyTestCode(funcName, property, constraints) {
+        const propertyLower = property.toLowerCase();
+        const { generators, assertion, setupCode } = this.analyzePropertyForTestGeneration(propertyLower, funcName, constraints);
+        return `import * as fc from 'fast-check';
+
+describe('${funcName} property tests', () => {
+  it('${property}', () => {
+${setupCode}
+    fc.assert(
+      fc.property(${generators.join(', ')}, (${this.generatePropertyParams(generators)}) => {
+        const result = ${funcName}(${this.generatePropertyArgs(generators)});
+        ${assertion}
+      })
+    );
+  });
+});`;
+    }
+    analyzePropertyForTestGeneration(propertyLower, funcName, constraints) {
+        const generators = [];
+        let assertion = 'return result !== undefined;';
+        let setupCode = '';
+        if (propertyLower.includes('idempotent') || propertyLower.includes('same result')) {
+            generators.push(this.inferGeneratorFromConstraints(constraints, 'input'));
+            assertion = `// Idempotent: applying twice gives same result
+        const firstResult = ${funcName}(input);
+        const secondResult = ${funcName}(firstResult);
+        return JSON.stringify(firstResult) === JSON.stringify(secondResult);`;
+        }
+        else if (propertyLower.includes('commutative') || propertyLower.includes('order independent')) {
+            const gen = this.inferGeneratorFromConstraints(constraints, 'value');
+            generators.push(gen, gen);
+            assertion = `// Commutative: order doesn't matter
+        const result1 = ${funcName}(a, b);
+        const result2 = ${funcName}(b, a);
+        return JSON.stringify(result1) === JSON.stringify(result2);`;
+        }
+        else if (propertyLower.includes('associative')) {
+            const gen = this.inferGeneratorFromConstraints(constraints, 'value');
+            generators.push(gen, gen, gen);
+            assertion = `// Associative: grouping doesn't matter
+        const left = ${funcName}(${funcName}(a, b), c);
+        const right = ${funcName}(a, ${funcName}(b, c));
+        return JSON.stringify(left) === JSON.stringify(right);`;
+        }
+        else if (propertyLower.includes('identity') || propertyLower.includes('neutral element')) {
+            generators.push(this.inferGeneratorFromConstraints(constraints, 'input'));
+            const identity = constraints.identity !== undefined ? String(constraints.identity) : '0';
+            setupCode = `    const identity = ${identity};`;
+            assertion = `// Identity: operation with identity returns original
+        const result = ${funcName}(input, identity);
+        return JSON.stringify(result) === JSON.stringify(input);`;
+        }
+        else if (propertyLower.includes('inverse') || propertyLower.includes('reversible') ||
+            propertyLower.includes('round-trip') || propertyLower.includes('encode') ||
+            propertyLower.includes('decode')) {
+            generators.push(this.inferGeneratorFromConstraints(constraints, 'input'));
+            const inverseFn = constraints.inverse || `${funcName}Inverse`;
+            assertion = `// Inverse: applying function and its inverse returns original
+        const encoded = ${funcName}(input);
+        const decoded = ${inverseFn}(encoded);
+        return JSON.stringify(decoded) === JSON.stringify(input);`;
+        }
+        else if (propertyLower.includes('distributive')) {
+            const gen = this.inferGeneratorFromConstraints(constraints, 'number');
+            generators.push(gen, gen, gen);
+            assertion = `// Distributive: f(a, b + c) === f(a, b) + f(a, c)
+        const left = ${funcName}(a, b + c);
+        const right = ${funcName}(a, b) + ${funcName}(a, c);
+        return Math.abs(left - right) < 0.0001;`;
+        }
+        else if (propertyLower.includes('monotonic') || propertyLower.includes('preserves order') ||
+            propertyLower.includes('non-decreasing') || propertyLower.includes('sorted')) {
+            generators.push('fc.integer()', 'fc.integer()');
+            assertion = `// Monotonic: preserves order
+        const [small, large] = a <= b ? [a, b] : [b, a];
+        const resultSmall = ${funcName}(small);
+        const resultLarge = ${funcName}(large);
+        return resultSmall <= resultLarge;`;
+        }
+        else if (propertyLower.includes('bound') || propertyLower.includes('range') ||
+            propertyLower.includes('between') || propertyLower.includes('clamp')) {
+            generators.push(this.inferGeneratorFromConstraints(constraints, 'input'));
+            const min = constraints.min !== undefined ? constraints.min : 0;
+            const max = constraints.max !== undefined ? constraints.max : 100;
+            assertion = `// Bounded: result is within expected range
+        const result = ${funcName}(input);
+        return result >= ${min} && result <= ${max};`;
+        }
+        else if (propertyLower.includes('length') || propertyLower.includes('size')) {
+            generators.push('fc.array(fc.anything())');
+            if (propertyLower.includes('preserve')) {
+                assertion = `// Length preserved: output has same length as input
+        const result = ${funcName}(input);
+        return Array.isArray(result) && result.length === input.length;`;
+            }
+            else {
+                assertion = `// Length invariant
+        const result = ${funcName}(input);
+        return typeof result.length === 'number' || typeof result.size === 'number';`;
+            }
+        }
+        else if (propertyLower.includes('type') && propertyLower.includes('preserve')) {
+            generators.push('fc.anything()');
+            assertion = `// Type preserved: output has same type as input
+        const result = ${funcName}(input);
+        return typeof result === typeof input;`;
+        }
+        else if (propertyLower.includes('never null') || propertyLower.includes('always defined') ||
+            propertyLower.includes('non-null')) {
+            generators.push(this.inferGeneratorFromConstraints(constraints, 'input'));
+            assertion = `// Never null: always returns defined value
+        const result = ${funcName}(input);
+        return result !== null && result !== undefined;`;
+        }
+        else if (propertyLower.includes('deterministic') || propertyLower.includes('pure') ||
+            propertyLower.includes('consistent')) {
+            generators.push(this.inferGeneratorFromConstraints(constraints, 'input'));
+            assertion = `// Deterministic: same input always gives same output
+        const result1 = ${funcName}(input);
+        const result2 = ${funcName}(input);
+        return JSON.stringify(result1) === JSON.stringify(result2);`;
+        }
+        else {
+            generators.push(this.inferGeneratorFromConstraints(constraints, 'input'));
+            assertion = `// Basic property: function returns a value
+        return result !== undefined;`;
+        }
+        return { generators, assertion, setupCode };
+    }
+    inferGeneratorFromConstraints(constraints, hint) {
+        const type = constraints.type?.toLowerCase() || hint.toLowerCase();
+        if (type.includes('string') || type.includes('text')) {
+            const minLength = constraints.minLength;
+            const maxLength = constraints.maxLength;
+            if (minLength !== undefined || maxLength !== undefined) {
+                return `fc.string({ minLength: ${minLength ?? 0}, maxLength: ${maxLength ?? 100} })`;
+            }
+            return 'fc.string()';
+        }
+        if (type.includes('number') || type.includes('int') || type.includes('value')) {
+            const min = constraints.min;
+            const max = constraints.max;
+            if (min !== undefined || max !== undefined) {
+                return `fc.integer({ min: ${min ?? Number.MIN_SAFE_INTEGER}, max: ${max ?? Number.MAX_SAFE_INTEGER} })`;
+            }
+            return 'fc.integer()';
+        }
+        if (type.includes('float') || type.includes('decimal'))
+            return 'fc.float()';
+        if (type.includes('boolean') || type.includes('bool'))
+            return 'fc.boolean()';
+        if (type.includes('array') || type.includes('list')) {
+            const itemType = constraints.itemType || 'anything';
+            const itemGen = this.getSimpleGenerator(itemType);
+            return `fc.array(${itemGen})`;
+        }
+        if (type.includes('object') || type.includes('record'))
+            return 'fc.object()';
+        if (type.includes('date'))
+            return 'fc.date()';
+        if (type.includes('uuid') || type.includes('id'))
+            return 'fc.uuid()';
+        if (type.includes('email'))
+            return 'fc.emailAddress()';
+        return 'fc.anything()';
+    }
+    getSimpleGenerator(typeName) {
+        const typeMap = {
+            string: 'fc.string()',
+            number: 'fc.integer()',
+            integer: 'fc.integer()',
+            float: 'fc.float()',
+            boolean: 'fc.boolean()',
+            date: 'fc.date()',
+            uuid: 'fc.uuid()',
+            anything: 'fc.anything()',
+        };
+        return typeMap[typeName.toLowerCase()] || 'fc.anything()';
+    }
+    generatePropertyParams(generators) {
+        if (generators.length === 1)
+            return 'input';
+        return generators.map((_, i) => String.fromCharCode(97 + i)).join(', ');
+    }
+    generatePropertyArgs(generators) {
+        if (generators.length === 1)
+            return 'input';
+        return generators.map((_, i) => String.fromCharCode(97 + i)).join(', ');
+    }
+    inferGenerators(property, constraints) {
+        const generators = [];
+        const propertyLower = property.toLowerCase();
+        if (propertyLower.includes('string') || propertyLower.includes('text') ||
+            propertyLower.includes('name') || propertyLower.includes('email')) {
+            if (constraints.minLength || constraints.maxLength) {
+                const min = constraints.minLength ?? 0;
+                const max = constraints.maxLength ?? 100;
+                generators.push(`fc.string({ minLength: ${min}, maxLength: ${max} })`);
+            }
+            else {
+                generators.push('fc.string()');
+            }
+            if (propertyLower.includes('email')) {
+                generators.push('fc.emailAddress()');
+            }
+        }
+        if (propertyLower.includes('number') || propertyLower.includes('count') ||
+            propertyLower.includes('amount') || propertyLower.includes('integer') ||
+            propertyLower.includes('positive') || propertyLower.includes('negative')) {
+            if (propertyLower.includes('positive')) {
+                generators.push('fc.nat()');
+            }
+            else if (propertyLower.includes('negative')) {
+                generators.push('fc.integer({ max: -1 })');
+            }
+            else if (constraints.min !== undefined || constraints.max !== undefined) {
+                const min = constraints.min ?? Number.MIN_SAFE_INTEGER;
+                const max = constraints.max ?? Number.MAX_SAFE_INTEGER;
+                generators.push(`fc.integer({ min: ${min}, max: ${max} })`);
+            }
+            else {
+                generators.push('fc.integer()');
+            }
+            if (propertyLower.includes('float') || propertyLower.includes('decimal')) {
+                generators.push('fc.float()');
+            }
+        }
+        if (propertyLower.includes('boolean') || propertyLower.includes('flag')) {
+            generators.push('fc.boolean()');
+        }
+        if (propertyLower.includes('array') || propertyLower.includes('list') ||
+            propertyLower.includes('collection')) {
+            const itemType = constraints.itemType || 'anything';
+            const itemGen = this.getGeneratorForType(itemType);
+            if (constraints.minItems || constraints.maxItems) {
+                const min = constraints.minItems ?? 0;
+                const max = constraints.maxItems ?? 10;
+                generators.push(`fc.array(${itemGen}, { minLength: ${min}, maxLength: ${max} })`);
+            }
+            else {
+                generators.push(`fc.array(${itemGen})`);
+            }
+        }
+        if (propertyLower.includes('object') || propertyLower.includes('record')) {
+            generators.push('fc.object()');
+            generators.push('fc.dictionary(fc.string(), fc.anything())');
+        }
+        if (propertyLower.includes('date') || propertyLower.includes('time')) {
+            generators.push('fc.date()');
+        }
+        if (propertyLower.includes('uuid') || propertyLower.includes('id')) {
+            generators.push('fc.uuid()');
+        }
+        if (generators.length === 0) {
+            generators.push('fc.anything()');
+        }
+        return generators;
+    }
+    getGeneratorForType(type) {
+        const typeGenerators = {
+            string: 'fc.string()',
+            number: 'fc.integer()',
+            integer: 'fc.integer()',
+            float: 'fc.float()',
+            boolean: 'fc.boolean()',
+            date: 'fc.date()',
+            uuid: 'fc.uuid()',
+            anything: 'fc.anything()',
+        };
+        return typeGenerators[type.toLowerCase()] || 'fc.anything()';
+    }
+    collectArbitraries(tests) {
+        const arbitraries = new Set();
+        for (const test of tests) {
+            test.generators.forEach((g) => arbitraries.add(g));
+        }
+        return Array.from(arbitraries);
+    }
+}
+//# sourceMappingURL=property-test-generator.js.map

package/v3/dist/domains/test-generation/services/property-test-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-test-generator.js","sourceRoot":"","sources":["../../../../src/domains/test-generation/services/property-test-generator.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAYH;;;GAGG;AACH,MAAM,OAAO,4BAA4B;IACvC;;OAEG;IACH,KAAK,CAAC,qBAAqB,CAAC,OAA4B;QACtD,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC;QAErE,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC1C,QAAQ;YACR,QAAQ,EAAE,IAAI,CAAC,wBAAwB,CAAC,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC;YACxE,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,WAAW,CAAC;SACxD,CAAC,CAAC,CAAC;QAEJ,OAAO;YACL,KAAK;YACL,WAAW,EAAE,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;SAC5C,CAAC;IACJ,CAAC;IAEO,wBAAwB,CAC9B,QAAgB,EAChB,QAAgB,EAChB,WAAoC;QAEpC,MAAM,aAAa,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,gCAAgC,CAChF,aAAa,EACb,QAAQ,EACR,WAAW,CACZ,CAAC;QAEF,OAAO;;YAEC,QAAQ;QACZ,QAAQ;EACd,SAAS;;oBAES,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC;yBAC7D,QAAQ,IAAI,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC;UAChE,SAAS;;;;IAIf,CAAC;IACH,CAAC;IAEO,gCAAgC,CACtC,aAAqB,EACrB,QAAgB,EAChB,WAAoC;QAEpC,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,IAAI,SAAS,GAAG,8BAA8B,CAAC;QAC/C,IAAI,SAAS,GAAG,EAAE,CAAC;QAEnB,IAAI,aAAa,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;YAClF,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;YAC1E,SAAS,GAAG;8BACY,QAAQ;+BACP,QAAQ;6EACsC,CAAC;QAC1E,CAAC;aAAM,IAAI,aAAa,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;YAChG,MAAM,GAAG,GAAG,IAAI,CAAC,6BAA6B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YACrE,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAC1B,SAAS,GAAG;0BACQ,QAAQ;0BACR,QAAQ;oEACkC,CAAC;QACjE,CAAC;aAAM,IAAI,aAAa,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;YACjD,MAAM,GAAG,GAAG,IAAI,CAAC,6BAA6B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YACrE,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC/B,SAAS,GAAG;uBACK,QAAQ,IAAI,QAAQ;wBACnB,QAAQ,OAAO,QAAQ;+DACgB,CAAC;QAC5D,CAAC;aAAM,IAAI,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC3F,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;YAC1E,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YACzF,SAAS,GAAG,wBAAwB,QAAQ,GAAG,CAAC;YAChD,SAAS,GAAG;yBACO,QAAQ;iEACgC,CAAC;QAC9D,CAAC;aAAM,IAAI,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,YAAY,CAAC;YACzE,aAAa,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACxE,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5C,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;YAC1E,MAAM,SAAS,GAAG,WAAW,CAAC,OAAiB,IAAI,GAAG,QAAQ,SAAS,CAAC;YACxE,SAAS,GAAG;0BACQ,QAAQ;0BACR,SAAS;kEAC+B,CAAC;QAC/D,CAAC;aAAM,IAAI,aAAa,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;YAClD,MAAM,GAAG,GAAG,IAAI,CAAC,6BAA6B,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;YACtE,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC/B,SAAS,GAAG;uBACK,QAAQ;wBACP,QAAQ,YAAY,QAAQ;gDACJ,CAAC;QAC7C,CAAC;aAAM,IAAI,aAAa,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,iBAAiB,CAAC;YAChF,aAAa,CAAC,QAAQ,CAAC,gBAAgB,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxF,UAAU,CAAC,IAAI,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;YAChD,SAAS,GAAG;;8BAEY,QAAQ;8BACR,QAAQ;2CACK,CAAC;QACxC,CAAC;aAAM,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC;YAClE,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAChF,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;YAC1E,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAChE,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAClE,SAAS,GAAG;yBACO,QAAQ;2BACN,GAAG,iBAAiB,GAAG,GAAG,CAAC;QAClD,CAAC;aAAM,IAAI,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9E,UAAU,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;YAC3C,IAAI,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvC,SAAS,GAAG;yBACK,QAAQ;wEACuC,CAAC;YACnE,CAAC;iBAAM,CAAC;gBACN,SAAS,GAAG;yBACK,QAAQ;qFACoD,CAAC;YAChF,CAAC;QACH,CAAC;aAAM,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAChF,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YACjC,SAAS,GAAG;yBACO,QAAQ;+CACc,CAAC;QAC5C,CAAC;aAAM,IAAI,aAAa,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,gBAAgB,CAAC;YAChF,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9C,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;YAC1E,SAAS,GAAG;yBACO,QAAQ;wDACuB,CAAC;QACrD,CAAC;aAAM,IAAI,aAAa,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC;YACzE,aAAa,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YAChD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;YAC1E,SAAS,GAAG;0BACQ,QAAQ;0BACR,QAAQ;oEACkC,CAAC;QACjE,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;YAC1E,SAAS,GAAG;qCACmB,CAAC;QAClC,CAAC;QAED,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;IAC9C,CAAC;IAEO,6BAA6B,CACnC,WAAoC,EACpC,IAAY;QAEZ,MAAM,IAAI,GAAI,WAAW,CAAC,IAAe,EAAE,WAAW,EAAE,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QAE/E,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACrD,MAAM,SAAS,GAAG,WAAW,CAAC,SAA+B,CAAC;YAC9D,MAAM,SAAS,GAAG,WAAW,CAAC,SAA+B,CAAC;YAC9D,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACvD,OAAO,0BAA0B,SAAS,IAAI,CAAC,gBAAgB,SAAS,IAAI,GAAG,KAAK,CAAC;YACvF,CAAC;YACD,OAAO,aAAa,CAAC;QACvB,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9E,MAAM,GAAG,GAAG,WAAW,CAAC,GAAyB,CAAC;YAClD,MAAM,GAAG,GAAG,WAAW,CAAC,GAAyB,CAAC;YAClD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBAC3C,OAAO,qBAAqB,GAAG,IAAI,MAAM,CAAC,gBAAgB,UAAU,GAAG,IAAI,MAAM,CAAC,gBAAgB,KAAK,CAAC;YAC1G,CAAC;YACD,OAAO,cAAc,CAAC;QACxB,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,OAAO,YAAY,CAAC;QAC5E,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,cAAc,CAAC;QAC7E,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACpD,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAkB,IAAI,UAAU,CAAC;YAC9D,MAAM,OAAO,GAAG,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;YAClD,OAAO,YAAY,OAAO,GAAG,CAAC;QAChC,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,OAAO,aAAa,CAAC;QAC7E,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,WAAW,CAAC;QAC9C,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,WAAW,CAAC;QACrE,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,OAAO,mBAAmB,CAAC;QAEvD,OAAO,eAAe,CAAC;IACzB,CAAC;IAEO,kBAAkB,CAAC,QAAgB;QACzC,MAAM,OAAO,GAA2B;YACtC,MAAM,EAAE,aAAa;YACrB,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE,cAAc;YACvB,KAAK,EAAE,YAAY;YACnB,OAAO,EAAE,cAAc;YACvB,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,eAAe;SAC1B,CAAC;QACF,OAAO,OAAO,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,IAAI,eAAe,CAAC;IAC5D,CAAC;IAEO,sBAAsB,CAAC,UAAoB;QACjD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QAC5C,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC;IAEO,oBAAoB,CAAC,UAAoB;QAC/C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QAC5C,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC;IAEO,eAAe,CACrB,QAAgB,EAChB,WAAoC;QAEpC,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,MAAM,aAAa,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;QAE7C,IAAI,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC;YAClE,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACtE,IAAI,WAAW,CAAC,SAAS,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;gBACnD,MAAM,GAAG,GAAG,WAAW,CAAC,SAAS,IAAI,CAAC,CAAC;gBACvC,MAAM,GAAG,GAAG,WAAW,CAAC,SAAS,IAAI,GAAG,CAAC;gBACzC,UAAU,CAAC,IAAI,CAAC,0BAA0B,GAAG,gBAAgB,GAAG,KAAK,CAAC,CAAC;YACzE,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YACjC,CAAC;YACD,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpC,UAAU,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QAED,IAAI,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC;YACnE,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC;YACrE,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7E,IAAI,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC9B,CAAC;iBAAM,IAAI,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC9C,UAAU,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;YAC7C,CAAC;iBAAM,IAAI,WAAW,CAAC,GAAG,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;gBAC1E,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,IAAI,MAAM,CAAC,gBAAgB,CAAC;gBACvD,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,IAAI,MAAM,CAAC,gBAAgB,CAAC;gBACvD,UAAU,CAAC,IAAI,CAAC,qBAAqB,GAAG,UAAU,GAAG,KAAK,CAAC,CAAC;YAC9D,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC;YACD,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gBACzE,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QAED,IAAI,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACxE,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAClC,CAAC;QAED,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC;YACjE,aAAa,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAkB,IAAI,UAAU,CAAC;YAC9D,MAAM,OAAO,GAAG,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;YACnD,IAAI,WAAW,CAAC,QAAQ,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;gBACjD,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,IAAI,CAAC,CAAC;gBACtC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,IAAI,EAAE,CAAC;gBACvC,UAAU,CAAC,IAAI,CAAC,YAAY,OAAO,kBAAkB,GAAG,gBAAgB,GAAG,KAAK,CAAC,CAAC;YACpF,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,IAAI,CAAC,YAAY,OAAO,GAAG,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;QAED,IAAI,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzE,UAAU,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YAC/B,UAAU,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;QAC/D,CAAC;QAED,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACrE,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC/B,CAAC;QAED,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACnE,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC/B,CAAC;QAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACnC,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAEO,mBAAmB,CAAC,IAAY;QACtC,MAAM,cAAc,GAA2B;YAC7C,MAAM,EAAE,aAAa;YACrB,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE,cAAc;YACvB,KAAK,EAAE,YAAY;YACnB,OAAO,EAAE,cAAc;YACvB,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,eAAe;SAC1B,CAAC;QACF,OAAO,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,eAAe,CAAC;IAC/D,CAAC;IAEO,kBAAkB,CAAC,KAAiC;QAC1D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjC,CAAC;CACF"}

package/v3/dist/domains/test-generation/services/tdd-generator.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Agentic QE v3 - TDD Generator Service
+ * Handles Test-Driven Development workflow (Red-Green-Refactor)
+ *
+ * Extracted from TestGeneratorService to follow Single Responsibility Principle
+ */
+import { TDDRequest, TDDResult } from '../interfaces';
+/**
+ * Interface for TDD generation service
+ * Enables dependency injection and mocking
+ */
+export interface ITDDGeneratorService {
+    generateTDDTests(request: TDDRequest): Promise<TDDResult>;
+}
+/**
+ * TDD Generator Service
+ * Generates code and tests following TDD workflow phases
+ */
+export declare class TDDGeneratorService implements ITDDGeneratorService {
+    /**
+     * Generate TDD artifacts based on the requested phase
+     */
+    generateTDDTests(request: TDDRequest): Promise<TDDResult>;
+    private generateRedPhaseTest;
+    private generateAssertionsFromBehavior;
+    private extractBehaviorContext;
+    private buildFunctionCall;
+    private generateGreenPhaseCode;
+    private inferImplementationFromBehavior;
+    private generateRefactoringSuggestions;
+    private camelCase;
+}
+//# sourceMappingURL=tdd-generator.d.ts.map

package/v3/dist/domains/test-generation/services/tdd-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tdd-generator.d.ts","sourceRoot":"","sources":["../../../../src/domains/test-generation/services/tdd-generator.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAEtD;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACnC,gBAAgB,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;CAC3D;AAED;;;GAGG;AACH,qBAAa,mBAAoB,YAAW,oBAAoB;IAC9D;;OAEG;IACG,gBAAgB,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC;IAe/D,OAAO,CAAC,oBAAoB;IAsB5B,OAAO,CAAC,8BAA8B;IAqGtC,OAAO,CAAC,sBAAsB;IA8C9B,OAAO,CAAC,iBAAiB;IAyCzB,OAAO,CAAC,sBAAsB;IAwB9B,OAAO,CAAC,+BAA+B;IAmFvC,OAAO,CAAC,8BAA8B;IAiBtC,OAAO,CAAC,SAAS;CAKlB"}