From 3e80a9ae20a7b58a3fd59ecdd363277eeb187697 Mon Sep 17 00:00:00 2001 From: Rui Azevedo Date: Fri, 28 Jun 2024 14:08:42 +0100 Subject: [PATCH] Apply "symflower fix" to a "write-test" result of a model when it errors, so model responses can possibly be fixed Closes of #213 --- cmd/eval-dev-quality/cmd/evaluate_test.go | 278 +++++++++++++--------- evaluate/evaluate.go | 3 +- evaluate/evaluate_test.go | 162 ++++++++++++- evaluate/metrics/assessment.go | 16 ++ evaluate/metrics/assessment_test.go | 51 ++++ evaluate/task/symflower-fix.go | 32 +++ evaluate/task/task-write-test.go | 46 +++- evaluate/task/task-write-test_test.go | 83 +++++++ evaluate/task/task.go | 2 + tools/symflower.go | 2 +- 10 files changed, 549 insertions(+), 126 deletions(-) create mode 100644 evaluate/task/symflower-fix.go diff --git a/cmd/eval-dev-quality/cmd/evaluate_test.go b/cmd/eval-dev-quality/cmd/evaluate_test.go index 600f18c0c..0e32d549c 100644 --- a/cmd/eval-dev-quality/cmd/evaluate_test.go +++ b/cmd/eval-dev-quality/cmd/evaluate_test.go @@ -199,17 +199,17 @@ func TestEvaluateExecute(t *testing.T) { ExpectedOutputValidate: func(t *testing.T, output string, resultPath string) { actualAssessments := validateMetrics(t, extractMetricsLogsMatch, output, []metrics.Assessments{ metrics.Assessments{ - metrics.AssessmentKeyCoverage: 10, - metrics.AssessmentKeyFilesExecuted: 1, - metrics.AssessmentKeyResponseNoError: 1, - metrics.AssessmentKeyResponseNoExcess: 1, - metrics.AssessmentKeyResponseWithCode: 1, + metrics.AssessmentKeyCoverage: 20, + metrics.AssessmentKeyFilesExecuted: 2, + metrics.AssessmentKeyResponseNoError: 2, + metrics.AssessmentKeyResponseNoExcess: 2, + metrics.AssessmentKeyResponseWithCode: 2, }, - }, []uint64{14}) + }, []uint64{28}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(508)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(508)) assert.Equal(t, 1, strings.Count(output, "Evaluation score for")) }, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ @@ -225,42 +225,52 @@ func TestEvaluateExecute(t *testing.T) { metrics.AssessmentKeyResponseNoExcess: 1, metrics.AssessmentKeyResponseWithCode: 1, }, - }, []uint64{14}) + metrics.Assessments{ + metrics.AssessmentKeyCoverage: 10, + metrics.AssessmentKeyFilesExecuted: 1, + metrics.AssessmentKeyResponseNoError: 1, + metrics.AssessmentKeyResponseNoExcess: 1, + metrics.AssessmentKeyResponseWithCode: 1, + }, + }, []uint64{14, 14}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) + assert.Greater(t, actualAssessments[1][metrics.AssessmentKeyProcessingTime], uint64(0)) + assert.Equal(t, actualAssessments[1][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) + assert.Equal(t, actualAssessments[1][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) }, filepath.Join("result-directory", "evaluation.log"): nil, filepath.Join("result-directory", "golang-summed.csv"): func(t *testing.T, filePath, data string) { actualAssessments := validateMetrics(t, extractMetricsCSVMatch, data, []metrics.Assessments{ metrics.Assessments{ - metrics.AssessmentKeyCoverage: 10, - metrics.AssessmentKeyFilesExecuted: 1, - metrics.AssessmentKeyResponseNoError: 1, - metrics.AssessmentKeyResponseNoExcess: 1, - metrics.AssessmentKeyResponseWithCode: 1, + metrics.AssessmentKeyCoverage: 20, + metrics.AssessmentKeyFilesExecuted: 2, + metrics.AssessmentKeyResponseNoError: 2, + metrics.AssessmentKeyResponseNoExcess: 2, + metrics.AssessmentKeyResponseWithCode: 2, }, - }, []uint64{14}) + }, []uint64{28}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(508)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(508)) }, filepath.Join("result-directory", "models-summed.csv"): func(t *testing.T, filePath, data string) { actualAssessments := validateMetrics(t, extractMetricsCSVMatch, data, []metrics.Assessments{ metrics.Assessments{ - metrics.AssessmentKeyCoverage: 10, - metrics.AssessmentKeyFilesExecuted: 1, - metrics.AssessmentKeyResponseNoError: 1, - metrics.AssessmentKeyResponseNoExcess: 1, - metrics.AssessmentKeyResponseWithCode: 1, + metrics.AssessmentKeyCoverage: 20, + metrics.AssessmentKeyFilesExecuted: 2, + metrics.AssessmentKeyResponseNoError: 2, + metrics.AssessmentKeyResponseNoExcess: 2, + metrics.AssessmentKeyResponseWithCode: 2, }, - }, []uint64{14}) + }, []uint64{28}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(508)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(508)) }, filepath.Join("result-directory", "README.md"): func(t *testing.T, filePath, data string) { validateReportLinks(t, data, []string{"symflower_symbolic-execution"}) @@ -280,17 +290,17 @@ func TestEvaluateExecute(t *testing.T) { ExpectedOutputValidate: func(t *testing.T, output string, resultPath string) { actualAssessments := validateMetrics(t, extractMetricsLogsMatch, output, []metrics.Assessments{ metrics.Assessments{ - metrics.AssessmentKeyCoverage: 20, - metrics.AssessmentKeyFilesExecuted: 2, - metrics.AssessmentKeyResponseNoError: 2, - metrics.AssessmentKeyResponseNoExcess: 2, - metrics.AssessmentKeyResponseWithCode: 2, + metrics.AssessmentKeyCoverage: 40, + metrics.AssessmentKeyFilesExecuted: 4, + metrics.AssessmentKeyResponseNoError: 4, + metrics.AssessmentKeyResponseNoExcess: 4, + metrics.AssessmentKeyResponseWithCode: 4, }, - }, []uint64{28}) + }, []uint64{56}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(393)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(393)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(786)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(786)) assert.Equal(t, 1, strings.Count(output, "Evaluation score for")) }, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ @@ -313,17 +323,6 @@ func TestEvaluateExecute(t *testing.T) { metrics.AssessmentKeyResponseNoExcess: 1, metrics.AssessmentKeyResponseWithCode: 1, }, - }, []uint64{14, 14}) - // Assert non-deterministic behavior. - assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) - assert.Greater(t, actualAssessments[1][metrics.AssessmentKeyProcessingTime], uint64(0)) - assert.Equal(t, actualAssessments[1][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(139)) - assert.Equal(t, actualAssessments[1][metrics.AssessmentKeyResponseCharacterCount], uint64(139)) - }, - filepath.Join("result-directory", "golang-summed.csv"): func(t *testing.T, filePath, data string) { - actualAssessments := validateMetrics(t, extractMetricsCSVMatch, data, []metrics.Assessments{ metrics.Assessments{ metrics.AssessmentKeyCoverage: 10, metrics.AssessmentKeyFilesExecuted: 1, @@ -331,28 +330,44 @@ func TestEvaluateExecute(t *testing.T) { metrics.AssessmentKeyResponseNoExcess: 1, metrics.AssessmentKeyResponseWithCode: 1, }, - }, []uint64{14}) + metrics.Assessments{ + metrics.AssessmentKeyCoverage: 10, + metrics.AssessmentKeyFilesExecuted: 1, + metrics.AssessmentKeyResponseNoError: 1, + metrics.AssessmentKeyResponseNoExcess: 1, + metrics.AssessmentKeyResponseWithCode: 1, + }, + }, []uint64{14, 14, 14, 14}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) + assert.Greater(t, actualAssessments[1][metrics.AssessmentKeyProcessingTime], uint64(0)) + assert.Equal(t, actualAssessments[1][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) + assert.Equal(t, actualAssessments[1][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) + assert.Greater(t, actualAssessments[2][metrics.AssessmentKeyProcessingTime], uint64(0)) + assert.Equal(t, actualAssessments[2][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(139)) + assert.Equal(t, actualAssessments[2][metrics.AssessmentKeyResponseCharacterCount], uint64(139)) + assert.Greater(t, actualAssessments[3][metrics.AssessmentKeyProcessingTime], uint64(0)) + assert.Equal(t, actualAssessments[3][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(139)) + assert.Equal(t, actualAssessments[3][metrics.AssessmentKeyResponseCharacterCount], uint64(139)) }, - filepath.Join("result-directory", "java-summed.csv"): func(t *testing.T, filePath, data string) { + filepath.Join("result-directory", "golang-summed.csv"): func(t *testing.T, filePath, data string) { actualAssessments := validateMetrics(t, extractMetricsCSVMatch, data, []metrics.Assessments{ metrics.Assessments{ - metrics.AssessmentKeyCoverage: 10, - metrics.AssessmentKeyFilesExecuted: 1, - metrics.AssessmentKeyResponseNoError: 1, - metrics.AssessmentKeyResponseNoExcess: 1, - metrics.AssessmentKeyResponseWithCode: 1, + metrics.AssessmentKeyCoverage: 20, + metrics.AssessmentKeyFilesExecuted: 2, + metrics.AssessmentKeyResponseNoError: 2, + metrics.AssessmentKeyResponseNoExcess: 2, + metrics.AssessmentKeyResponseWithCode: 2, }, - }, []uint64{14}) + }, []uint64{28}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(139)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(139)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(508)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(508)) }, - filepath.Join("result-directory", "models-summed.csv"): func(t *testing.T, filePath, data string) { + filepath.Join("result-directory", "java-summed.csv"): func(t *testing.T, filePath, data string) { actualAssessments := validateMetrics(t, extractMetricsCSVMatch, data, []metrics.Assessments{ metrics.Assessments{ metrics.AssessmentKeyCoverage: 20, @@ -364,8 +379,23 @@ func TestEvaluateExecute(t *testing.T) { }, []uint64{28}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(393)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(393)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(278)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(278)) + }, + filepath.Join("result-directory", "models-summed.csv"): func(t *testing.T, filePath, data string) { + actualAssessments := validateMetrics(t, extractMetricsCSVMatch, data, []metrics.Assessments{ + metrics.Assessments{ + metrics.AssessmentKeyCoverage: 40, + metrics.AssessmentKeyFilesExecuted: 4, + metrics.AssessmentKeyResponseNoError: 4, + metrics.AssessmentKeyResponseNoExcess: 4, + metrics.AssessmentKeyResponseWithCode: 4, + }, + }, []uint64{56}) + // Assert non-deterministic behavior. + assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(786)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(786)) }, filepath.Join("result-directory", "evaluation.log"): nil, filepath.Join("result-directory", "README.md"): func(t *testing.T, filePath, data string) { @@ -395,17 +425,17 @@ func TestEvaluateExecute(t *testing.T) { ExpectedOutputValidate: func(t *testing.T, output string, resultPath string) { actualAssessments := validateMetrics(t, extractMetricsLogsMatch, output, []metrics.Assessments{ metrics.Assessments{ - metrics.AssessmentKeyCoverage: 10, - metrics.AssessmentKeyFilesExecuted: 1, - metrics.AssessmentKeyResponseNoError: 1, - metrics.AssessmentKeyResponseNoExcess: 1, - metrics.AssessmentKeyResponseWithCode: 1, + metrics.AssessmentKeyCoverage: 20, + metrics.AssessmentKeyFilesExecuted: 2, + metrics.AssessmentKeyResponseNoError: 2, + metrics.AssessmentKeyResponseNoExcess: 2, + metrics.AssessmentKeyResponseWithCode: 2, }, - }, []uint64{14}) + }, []uint64{28}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(508)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(508)) assert.Equal(t, 1, strings.Count(output, "Evaluation score for")) }, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ @@ -421,42 +451,52 @@ func TestEvaluateExecute(t *testing.T) { metrics.AssessmentKeyResponseNoExcess: 1, metrics.AssessmentKeyResponseWithCode: 1, }, - }, []uint64{14}) + metrics.Assessments{ + metrics.AssessmentKeyCoverage: 10, + metrics.AssessmentKeyFilesExecuted: 1, + metrics.AssessmentKeyResponseNoError: 1, + metrics.AssessmentKeyResponseNoExcess: 1, + metrics.AssessmentKeyResponseWithCode: 1, + }, + }, []uint64{14, 14}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) + assert.Greater(t, actualAssessments[1][metrics.AssessmentKeyProcessingTime], uint64(0)) + assert.Equal(t, actualAssessments[1][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) + assert.Equal(t, actualAssessments[1][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) }, filepath.Join("result-directory", "evaluation.log"): nil, filepath.Join("result-directory", "golang-summed.csv"): func(t *testing.T, filePath, data string) { actualAssessments := validateMetrics(t, extractMetricsCSVMatch, data, []metrics.Assessments{ metrics.Assessments{ - metrics.AssessmentKeyCoverage: 10, - metrics.AssessmentKeyFilesExecuted: 1, - metrics.AssessmentKeyResponseNoError: 1, - metrics.AssessmentKeyResponseNoExcess: 1, - metrics.AssessmentKeyResponseWithCode: 1, + metrics.AssessmentKeyCoverage: 20, + metrics.AssessmentKeyFilesExecuted: 2, + metrics.AssessmentKeyResponseNoError: 2, + metrics.AssessmentKeyResponseNoExcess: 2, + metrics.AssessmentKeyResponseWithCode: 2, }, - }, []uint64{14}) + }, []uint64{28}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(508)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(508)) }, filepath.Join("result-directory", "models-summed.csv"): func(t *testing.T, filePath, data string) { actualAssessments := validateMetrics(t, extractMetricsCSVMatch, data, []metrics.Assessments{ metrics.Assessments{ - metrics.AssessmentKeyCoverage: 10, - metrics.AssessmentKeyFilesExecuted: 1, - metrics.AssessmentKeyResponseNoError: 1, - metrics.AssessmentKeyResponseNoExcess: 1, - metrics.AssessmentKeyResponseWithCode: 1, + metrics.AssessmentKeyCoverage: 20, + metrics.AssessmentKeyFilesExecuted: 2, + metrics.AssessmentKeyResponseNoError: 2, + metrics.AssessmentKeyResponseNoExcess: 2, + metrics.AssessmentKeyResponseWithCode: 2, }, - }, []uint64{14}) + }, []uint64{28}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(508)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(508)) }, filepath.Join("result-directory", "README.md"): func(t *testing.T, filePath, data string) { validateReportLinks(t, data, []string{"symflower_symbolic-execution"}) @@ -473,7 +513,7 @@ func TestEvaluateExecute(t *testing.T) { }, ExpectedOutputValidate: func(t *testing.T, output string, resultPath string) { - assert.Regexp(t, `Evaluation score for "symflower/symbolic-execution" \("code-no-excess"\): cost=0.00, score=14, coverage=10, files-executed=1, generate-tests-for-file-character-count=254, processing-time=\d+, response-character-count=254, response-no-error=1, response-no-excess=1, response-with-code=1`, output) + assert.Regexp(t, `Evaluation score for "symflower/symbolic-execution" \("code-no-excess"\): cost=0.00, score=28, coverage=20, files-executed=2, generate-tests-for-file-character-count=508, processing-time=\d+, response-character-count=508, response-no-error=2, response-no-excess=2, response-with-code=2`, output) assert.Equal(t, 1, strings.Count(output, "Evaluation score for")) }, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ @@ -489,42 +529,52 @@ func TestEvaluateExecute(t *testing.T) { metrics.AssessmentKeyResponseNoExcess: 1, metrics.AssessmentKeyResponseWithCode: 1, }, - }, []uint64{14}) + metrics.Assessments{ + metrics.AssessmentKeyCoverage: 10, + metrics.AssessmentKeyFilesExecuted: 1, + metrics.AssessmentKeyResponseNoError: 1, + metrics.AssessmentKeyResponseNoExcess: 1, + metrics.AssessmentKeyResponseWithCode: 1, + }, + }, []uint64{14, 14}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) + assert.Greater(t, actualAssessments[1][metrics.AssessmentKeyProcessingTime], uint64(0)) + assert.Equal(t, actualAssessments[1][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) + assert.Equal(t, actualAssessments[1][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) }, filepath.Join("result-directory", "evaluation.log"): nil, filepath.Join("result-directory", "golang-summed.csv"): func(t *testing.T, filePath, data string) { actualAssessments := validateMetrics(t, extractMetricsCSVMatch, data, []metrics.Assessments{ metrics.Assessments{ - metrics.AssessmentKeyCoverage: 10, - metrics.AssessmentKeyFilesExecuted: 1, - metrics.AssessmentKeyResponseNoError: 1, - metrics.AssessmentKeyResponseNoExcess: 1, - metrics.AssessmentKeyResponseWithCode: 1, + metrics.AssessmentKeyCoverage: 20, + metrics.AssessmentKeyFilesExecuted: 2, + metrics.AssessmentKeyResponseNoError: 2, + metrics.AssessmentKeyResponseNoExcess: 2, + metrics.AssessmentKeyResponseWithCode: 2, }, - }, []uint64{14}) + }, []uint64{28}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(508)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(508)) }, filepath.Join("result-directory", "models-summed.csv"): func(t *testing.T, filePath, data string) { actualAssessments := validateMetrics(t, extractMetricsCSVMatch, data, []metrics.Assessments{ metrics.Assessments{ - metrics.AssessmentKeyCoverage: 10, - metrics.AssessmentKeyFilesExecuted: 1, - metrics.AssessmentKeyResponseNoError: 1, - metrics.AssessmentKeyResponseNoExcess: 1, - metrics.AssessmentKeyResponseWithCode: 1, + metrics.AssessmentKeyCoverage: 20, + metrics.AssessmentKeyFilesExecuted: 2, + metrics.AssessmentKeyResponseNoError: 2, + metrics.AssessmentKeyResponseNoExcess: 2, + metrics.AssessmentKeyResponseWithCode: 2, }, - }, []uint64{14}) + }, []uint64{28}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(254)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(254)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(508)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(508)) }, filepath.Join("result-directory", "README.md"): func(t *testing.T, filePath, data string) { validateReportLinks(t, data, []string{"symflower_symbolic-execution"}) @@ -663,17 +713,17 @@ func TestEvaluateExecute(t *testing.T) { ExpectedOutputValidate: func(t *testing.T, output string, resultPath string) { actualAssessments := validateMetrics(t, extractMetricsLogsMatch, output, []metrics.Assessments{ metrics.Assessments{ - metrics.AssessmentKeyCoverage: 30, - metrics.AssessmentKeyFilesExecuted: 3, - metrics.AssessmentKeyResponseNoError: 3, - metrics.AssessmentKeyResponseNoExcess: 3, - metrics.AssessmentKeyResponseWithCode: 3, + metrics.AssessmentKeyCoverage: 60, + metrics.AssessmentKeyFilesExecuted: 6, + metrics.AssessmentKeyResponseNoError: 6, + metrics.AssessmentKeyResponseNoExcess: 6, + metrics.AssessmentKeyResponseWithCode: 6, }, - }, []uint64{42}) + }, []uint64{84}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(762)) - assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(762)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(1524)) + assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(1524)) assert.Equal(t, 1, strings.Count(output, "Evaluation score for")) }, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ @@ -687,11 +737,21 @@ func TestEvaluateExecute(t *testing.T) { metrics.AssessmentKeyResponseNoExcess: 3, metrics.AssessmentKeyResponseWithCode: 3, }, - }, []uint64{42}) + metrics.Assessments{ + metrics.AssessmentKeyCoverage: 30, + metrics.AssessmentKeyFilesExecuted: 3, + metrics.AssessmentKeyResponseNoError: 3, + metrics.AssessmentKeyResponseNoExcess: 3, + metrics.AssessmentKeyResponseWithCode: 3, + }, + }, []uint64{42, 42}) // Assert non-deterministic behavior. assert.Greater(t, actualAssessments[0][metrics.AssessmentKeyProcessingTime], uint64(0)) assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(762)) assert.Equal(t, actualAssessments[0][metrics.AssessmentKeyResponseCharacterCount], uint64(762)) + assert.Greater(t, actualAssessments[1][metrics.AssessmentKeyProcessingTime], uint64(0)) + assert.Equal(t, actualAssessments[1][metrics.AssessmentKeyGenerateTestsForFileCharacterCount], uint64(762)) + assert.Equal(t, actualAssessments[1][metrics.AssessmentKeyResponseCharacterCount], uint64(762)) }, filepath.Join("result-directory", "evaluation.log"): func(t *testing.T, filePath, data string) { assert.Contains(t, data, "Run 1/3") diff --git a/evaluate/evaluate.go b/evaluate/evaluate.go index ca50401d9..a089764ba 100644 --- a/evaluate/evaluate.go +++ b/evaluate/evaluate.go @@ -249,7 +249,8 @@ func Evaluate(ctx *Context) (assessments *report.AssessmentStore, totalScore uin } } if isOnlyPlainRepositories { - totalScore = uint64(len(ctx.Languages)) * uint64(ctx.Runs) + // For each task, the `symflower fix` is also called so we multiply the total score by 2. + totalScore = 2 * uint64(len(ctx.Languages)) * uint64(ctx.Runs) } return assessments, totalScore diff --git a/evaluate/evaluate_test.go b/evaluate/evaluate_test.go index ec22a4202..4bcd12e67 100644 --- a/evaluate/evaluate_test.go +++ b/evaluate/evaluate_test.go @@ -139,7 +139,7 @@ func TestEvaluate(t *testing.T) { return nil })) - assert.Equal(t, tc.ExpectedAssessments, actualAssessments) + assert.ElementsMatch(t, tc.ExpectedAssessments, actualAssessments) assert.Equal(t, tc.ExpectedTotalScore, actualTotalScore) if tc.ExpectedOutputValidate != nil { @@ -200,8 +200,15 @@ func TestEvaluate(t *testing.T) { Task: evaluatetask.IdentifierWriteTests, Assessment: metrics.Assessments{}, }, + &metricstesting.AssessmentTuple{ + Model: mockedModel, + Language: languageGolang, + RepositoryPath: repositoryPath, + Task: evaluatetask.IdentifierWriteTestsSymflowerFix, + Assessment: metrics.Assessments{}, + }, }, - ExpectedTotalScore: 1, + ExpectedTotalScore: 2, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ filepath.Join(string(evaluatetask.IdentifierWriteTests), mockedModel.ID(), "golang", "golang", "plain.log"): nil, }, @@ -246,8 +253,15 @@ func TestEvaluate(t *testing.T) { Task: evaluatetask.IdentifierWriteTests, Assessment: metrics.Assessments{}, }, + &metricstesting.AssessmentTuple{ + Model: mockedModel, + Language: languageGolang, + RepositoryPath: repositoryPath, + Task: evaluatetask.IdentifierWriteTestsSymflowerFix, + Assessment: metrics.Assessments{}, + }, }, - ExpectedTotalScore: 1, + ExpectedTotalScore: 2, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ filepath.Join(string(evaluatetask.IdentifierWriteTests), evalmodel.CleanModelNameForFileSystem(mockedModelID), "golang", "golang", "plain.log"): func(t *testing.T, filePath, data string) { assert.Contains(t, data, ErrEmptyResponseFromModel.Error()) @@ -301,8 +315,19 @@ func TestEvaluate(t *testing.T) { metrics.AssessmentKeyResponseNoError: 1, }, }, + &metricstesting.AssessmentTuple{ + Model: mockedModel, + Language: languageGolang, + RepositoryPath: repositoryPath, + Task: evaluatetask.IdentifierWriteTestsSymflowerFix, + Assessment: map[metrics.AssessmentKey]uint64{ + metrics.AssessmentKeyGenerateTestsForFileCharacterCount: 14, + metrics.AssessmentKeyResponseCharacterCount: 14, + metrics.AssessmentKeyResponseNoError: 1, + }, + }, }, - ExpectedTotalScore: 1, + ExpectedTotalScore: 2, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ filepath.Join(string(evaluatetask.IdentifierWriteTests), evalmodel.CleanModelNameForFileSystem(mockedModelID), "golang", "golang", "plain.log"): func(t *testing.T, filePath, data string) { assert.Contains(t, data, "Attempt 1/3: "+ErrEmptyResponseFromModel.Error()) @@ -355,8 +380,19 @@ func TestEvaluate(t *testing.T) { metrics.AssessmentKeyResponseNoError: 1, }, }, + &metricstesting.AssessmentTuple{ + Model: mockedModel, + Language: languageGolang, + RepositoryPath: repositoryPath, + Task: evaluatetask.IdentifierWriteTestsSymflowerFix, + Assessment: map[metrics.AssessmentKey]uint64{ + metrics.AssessmentKeyGenerateTestsForFileCharacterCount: 14, + metrics.AssessmentKeyResponseCharacterCount: 14, + metrics.AssessmentKeyResponseNoError: 1, + }, + }, }, - ExpectedTotalScore: 1, + ExpectedTotalScore: 2, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ filepath.Join(string(evaluatetask.IdentifierWriteTests), evalmodel.CleanModelNameForFileSystem(mockedModelID), "golang", "golang", "plain.log"): func(t *testing.T, filePath, data string) { assert.Contains(t, data, "DONE 0 tests, 1 error") @@ -443,6 +479,17 @@ func TestEvaluate(t *testing.T) { metrics.AssessmentKeyResponseNoError: 1, }, }, + &metricstesting.AssessmentTuple{ + Model: mockedModel, + Language: languageGolang, + RepositoryPath: repositoryNextPath, + Task: evaluatetask.IdentifierWriteTestsSymflowerFix, + Assessment: map[metrics.AssessmentKey]uint64{ + metrics.AssessmentKeyCoverage: 0, + metrics.AssessmentKeyFilesExecuted: 1, + metrics.AssessmentKeyResponseNoError: 1, + }, + }, &metricstesting.AssessmentTuple{ Model: mockedModel, Language: languageGolang, @@ -454,6 +501,17 @@ func TestEvaluate(t *testing.T) { metrics.AssessmentKeyResponseNoError: 2, }, }, + &metricstesting.AssessmentTuple{ + Model: mockedModel, + Language: languageGolang, + RepositoryPath: repositoryPlainPath, + Task: evaluatetask.IdentifierWriteTestsSymflowerFix, + Assessment: map[metrics.AssessmentKey]uint64{ + metrics.AssessmentKeyCoverage: 0, + metrics.AssessmentKeyFilesExecuted: 2, + metrics.AssessmentKeyResponseNoError: 2, + }, + }, }, ExpectedTotalScore: 0, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ @@ -516,6 +574,17 @@ func TestEvaluate(t *testing.T) { metrics.AssessmentKeyResponseNoError: 2, }, }, + &metricstesting.AssessmentTuple{ + Model: mockedModel, + Language: languageGolang, + RepositoryPath: repositoryNextPath, + Task: evaluatetask.IdentifierWriteTestsSymflowerFix, + Assessment: map[metrics.AssessmentKey]uint64{ + metrics.AssessmentKeyCoverage: 0, + metrics.AssessmentKeyFilesExecuted: 2, + metrics.AssessmentKeyResponseNoError: 2, + }, + }, &metricstesting.AssessmentTuple{ Model: mockedModel, Language: languageGolang, @@ -527,6 +596,17 @@ func TestEvaluate(t *testing.T) { metrics.AssessmentKeyResponseNoError: 1, }, }, + &metricstesting.AssessmentTuple{ + Model: mockedModel, + Language: languageGolang, + RepositoryPath: repositoryPlainPath, + Task: evaluatetask.IdentifierWriteTestsSymflowerFix, + Assessment: map[metrics.AssessmentKey]uint64{ + metrics.AssessmentKeyCoverage: 0, + metrics.AssessmentKeyFilesExecuted: 1, + metrics.AssessmentKeyResponseNoError: 1, + }, + }, }, ExpectedTotalScore: 0, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ @@ -581,6 +661,13 @@ func TestEvaluate(t *testing.T) { Task: evaluatetask.IdentifierWriteTests, Assessment: map[metrics.AssessmentKey]uint64{}, }, + &metricstesting.AssessmentTuple{ + Model: mockedModel, + Language: languageGolang, + RepositoryPath: repositoryPlainPath, + Task: evaluatetask.IdentifierWriteTestsSymflowerFix, + Assessment: map[metrics.AssessmentKey]uint64{}, + }, }, ExpectedTotalScore: 0, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ @@ -634,8 +721,19 @@ func TestEvaluate(t *testing.T) { metrics.AssessmentKeyResponseNoError: 3, }, }, + &metricstesting.AssessmentTuple{ + Model: mockedModel, + Language: languageGolang, + RepositoryPath: repositoryPath, + Task: evaluatetask.IdentifierWriteTestsSymflowerFix, + Assessment: map[metrics.AssessmentKey]uint64{ + metrics.AssessmentKeyCoverage: 0, + metrics.AssessmentKeyFilesExecuted: 3, + metrics.AssessmentKeyResponseNoError: 3, + }, + }, }, - ExpectedTotalScore: 3, + ExpectedTotalScore: 6, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ filepath.Join(string(evaluatetask.IdentifierWriteTests), evalmodel.CleanModelNameForFileSystem(mockedModelID), "golang", "golang", "plain.log"): nil, }, @@ -690,8 +788,19 @@ func TestEvaluate(t *testing.T) { metrics.AssessmentKeyResponseNoError: 3, }, }, + &metricstesting.AssessmentTuple{ + Model: mockedModel, + Language: languageGolang, + RepositoryPath: repositoryPath, + Task: evaluatetask.IdentifierWriteTestsSymflowerFix, + Assessment: map[metrics.AssessmentKey]uint64{ + metrics.AssessmentKeyCoverage: 0, + metrics.AssessmentKeyFilesExecuted: 3, + metrics.AssessmentKeyResponseNoError: 3, + }, + }, }, - ExpectedTotalScore: 3, + ExpectedTotalScore: 6, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ filepath.Join(string(evaluatetask.IdentifierWriteTests), evalmodel.CleanModelNameForFileSystem(mockedModelID), "golang", "golang", "plain.log"): nil, }, @@ -776,8 +885,19 @@ func TestEvaluate(t *testing.T) { metrics.AssessmentKeyResponseNoError: 3, }, }, + &metricstesting.AssessmentTuple{ + Model: mockedModel, + Language: languageGolang, + RepositoryPath: repositoryPath, + Task: evaluatetask.IdentifierWriteTestsSymflowerFix, + Assessment: map[metrics.AssessmentKey]uint64{ + metrics.AssessmentKeyCoverage: 0, + metrics.AssessmentKeyFilesExecuted: 3, + metrics.AssessmentKeyResponseNoError: 3, + }, + }, }, - ExpectedTotalScore: 3, + ExpectedTotalScore: 6, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ filepath.Join(string(evaluatetask.IdentifierWriteTests), evalmodel.CleanModelNameForFileSystem(mockedModelID), "golang", "golang", "plain.log"): nil, }, @@ -845,8 +965,19 @@ func TestEvaluate(t *testing.T) { metrics.AssessmentKeyResponseNoError: 3, }, }, + &metricstesting.AssessmentTuple{ + Model: mockedModel, + Language: languageGolang, + RepositoryPath: repositoryPath, + Task: evaluatetask.IdentifierWriteTestsSymflowerFix, + Assessment: map[metrics.AssessmentKey]uint64{ + metrics.AssessmentKeyCoverage: 0, + metrics.AssessmentKeyFilesExecuted: 3, + metrics.AssessmentKeyResponseNoError: 3, + }, + }, }, - ExpectedTotalScore: 3, + ExpectedTotalScore: 6, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ filepath.Join(string(evaluatetask.IdentifierWriteTests), evalmodel.CleanModelNameForFileSystem(mockedModelID), "golang", "golang", "plain.log"): nil, }, @@ -895,8 +1026,19 @@ func TestEvaluate(t *testing.T) { metrics.AssessmentKeyResponseNoError: 1, }, }, + &metricstesting.AssessmentTuple{ + Model: mockedModel, + Language: languageGolang, + RepositoryPath: repositoryPath, + Task: evaluatetask.IdentifierWriteTestsSymflowerFix, + Assessment: map[metrics.AssessmentKey]uint64{ + metrics.AssessmentKeyCoverage: 0, + metrics.AssessmentKeyFilesExecuted: 1, + metrics.AssessmentKeyResponseNoError: 1, + }, + }, }, - ExpectedTotalScore: 1, + ExpectedTotalScore: 2, ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ filepath.Join(string(evaluatetask.IdentifierWriteTests), evalmodel.CleanModelNameForFileSystem(mockedModelID), "golang", "golang", "plain.log"): nil, }, diff --git a/evaluate/metrics/assessment.go b/evaluate/metrics/assessment.go index 5b788ec81..a8b67974c 100644 --- a/evaluate/metrics/assessment.go +++ b/evaluate/metrics/assessment.go @@ -152,3 +152,19 @@ func (a Assessments) StringCSV() (row []string) { return row } + +// CombineWithSymflowerFixAssessments combines the model assessments with the ones from "symflower fix". +func CombineWithSymflowerFixAssessments(model Assessments, fixed Assessments) (combined Assessments) { + combined = NewAssessments() + + combined[AssessmentKeyCoverage] = fixed[AssessmentKeyCoverage] + combined[AssessmentKeyFilesExecuted] = fixed[AssessmentKeyFilesExecuted] + combined[AssessmentKeyGenerateTestsForFileCharacterCount] = model[AssessmentKeyGenerateTestsForFileCharacterCount] + combined[AssessmentKeyProcessingTime] = model[AssessmentKeyProcessingTime] + fixed[AssessmentKeyProcessingTime] + combined[AssessmentKeyResponseCharacterCount] = model[AssessmentKeyResponseCharacterCount] + combined[AssessmentKeyResponseNoError] = model[AssessmentKeyResponseNoError] + combined[AssessmentKeyResponseNoExcess] = model[AssessmentKeyResponseNoExcess] + combined[AssessmentKeyResponseWithCode] = model[AssessmentKeyResponseWithCode] + + return combined +} diff --git a/evaluate/metrics/assessment_test.go b/evaluate/metrics/assessment_test.go index 1ae4fe327..c39e002d0 100644 --- a/evaluate/metrics/assessment_test.go +++ b/evaluate/metrics/assessment_test.go @@ -272,3 +272,54 @@ func TestAssessmentsScore(t *testing.T) { ExpectedScore: uint64(9), }) } + +func TestCombineModelAndSymflowerFixAssessments(t *testing.T) { + type testCase struct { + Name string + + ModelAssessment Assessments + SymflowerFixAssessments Assessments + + ExpectedAssessments Assessments + } + + validate := func(t *testing.T, tc *testCase) { + t.Run(tc.Name, func(t *testing.T) { + actualAssessments := CombineWithSymflowerFixAssessments(tc.ModelAssessment, tc.SymflowerFixAssessments) + + assert.Equal(t, tc.ExpectedAssessments, actualAssessments) + }) + } + + validate(t, &testCase{ + Name: "Simple", + + ModelAssessment: Assessments{ + AssessmentKeyFilesExecuted: 1, + AssessmentKeyProcessingTime: uint64(200), + AssessmentKeyCoverage: 0, + AssessmentKeyResponseCharacterCount: 100, + AssessmentKeyGenerateTestsForFileCharacterCount: 50, + AssessmentKeyResponseNoError: 0, + AssessmentKeyResponseWithCode: 1, + AssessmentKeyResponseNoExcess: 1, + }, + SymflowerFixAssessments: Assessments{ + AssessmentKeyFilesExecuted: 1, + AssessmentKeyProcessingTime: uint64(100), + AssessmentKeyCoverage: 10, + AssessmentKeyResponseNoError: 1, + }, + + ExpectedAssessments: Assessments{ + AssessmentKeyFilesExecuted: 1, + AssessmentKeyProcessingTime: uint64(300), + AssessmentKeyCoverage: 10, + AssessmentKeyResponseCharacterCount: 100, + AssessmentKeyGenerateTestsForFileCharacterCount: 50, + AssessmentKeyResponseNoError: 0, + AssessmentKeyResponseWithCode: 1, + AssessmentKeyResponseNoExcess: 1, + }, + }) +} diff --git a/evaluate/task/symflower-fix.go b/evaluate/task/symflower-fix.go new file mode 100644 index 000000000..a441f4cbd --- /dev/null +++ b/evaluate/task/symflower-fix.go @@ -0,0 +1,32 @@ +package task + +import ( + "context" + "time" + + pkgerrors "github.com/pkg/errors" + "github.com/symflower/eval-dev-quality/evaluate/metrics" + "github.com/symflower/eval-dev-quality/language" + "github.com/symflower/eval-dev-quality/log" + "github.com/symflower/eval-dev-quality/tools" + "github.com/symflower/eval-dev-quality/util" +) + +// symflowerFix runs the "symflower fix" command and returns its execution time in milliseconds. +func symflowerFix(logger *log.Logger, modelAssessment metrics.Assessments, repositoryPath string, language language.Language) (duration uint64, err error) { + start := time.Now() + _, err = util.CommandWithResult(context.Background(), logger, &util.Command{ + Command: []string{ + tools.SymflowerPath, "fix", + "--language", language.ID(), + "--workspace", repositoryPath, + }, + + Directory: repositoryPath, + }) + if err != nil { + return 0, pkgerrors.WithStack(err) + } + + return uint64(time.Since(start).Milliseconds()), nil +} diff --git a/evaluate/task/task-write-test.go b/evaluate/task/task-write-test.go index 2b991dead..afe0a09d3 100644 --- a/evaluate/task/task-write-test.go +++ b/evaluate/task/task-write-test.go @@ -1,6 +1,7 @@ package task import ( + "maps" "path/filepath" pkgerrors "github.com/pkg/errors" @@ -63,6 +64,7 @@ func (t *TaskWriteTests) Run(repository evaltask.Repository) (repositoryAssessme } modelAssessment := metrics.NewAssessments() + var withSymflowerAssessment metrics.Assessments for _, filePath := range filePaths { if err := repository.Reset(t.Logger); err != nil { t.Logger.Panicf("ERROR: unable to reset temporary repository path: %s", err) @@ -93,15 +95,49 @@ func (t *TaskWriteTests) Run(repository evaltask.Repository) (repositoryAssessme if err != nil { problems = append(problems, pkgerrors.WithMessage(err, filePath)) - continue + // Run "symflower fix" if the model response fails to execute. + if t.Language.ID() == "golang" { // Currently we only support Go for "symflower fix". + log.Print("model response alone failed execution, attempting to fix with \"symflower fix \"") + + symflowerAssessment := metrics.NewAssessments() + duration, err := symflowerFix(log, modelAssessment, dataPath, t.Language) + if err != nil { + problems = append(problems, err) + + continue + } + symflowerAssessment[metrics.AssessmentKeyProcessingTime] = duration + + coverage, ps, err := t.Language.Execute(log, dataPath) + problems = append(problems, ps...) + if err != nil { + problems = append(problems, pkgerrors.WithMessage(err, "symflower fix")) + + continue + } + log.Printf("with symflower repair: Executes tests with %d coverage objects", coverage) + + symflowerAssessment.Award(metrics.AssessmentKeyFilesExecuted) + symflowerAssessment.AwardPoints(metrics.AssessmentKeyCoverage, coverage) + + withSymflowerAssessment = metrics.CombineWithSymflowerFixAssessments(modelAssessment, symflowerAssessment) + } else { + continue + } + } else { + log.Printf("Executes tests with %d coverage objects", coverage) + modelAssessment.Award(metrics.AssessmentKeyFilesExecuted) + modelAssessment.AwardPoints(metrics.AssessmentKeyCoverage, coverage) } - log.Printf("Executes tests with %d coverage objects", coverage) - modelAssessment.Award(metrics.AssessmentKeyFilesExecuted) - modelAssessment.AwardPoints(metrics.AssessmentKeyCoverage, coverage) } + // The symflower fix assessment should show how symflower can improve the result, so in case we did not need symflower use the original model assessment. + if withSymflowerAssessment == nil { + withSymflowerAssessment = maps.Clone(modelAssessment) + } repositoryAssessment = map[evaltask.Identifier]metrics.Assessments{ - IdentifierWriteTests: modelAssessment, + IdentifierWriteTests: modelAssessment, + IdentifierWriteTestsSymflowerFix: withSymflowerAssessment, } return repositoryAssessment, problems, nil diff --git a/evaluate/task/task-write-test_test.go b/evaluate/task/task-write-test_test.go index 5b5b2cdc6..8db51495c 100644 --- a/evaluate/task/task-write-test_test.go +++ b/evaluate/task/task-write-test_test.go @@ -14,6 +14,8 @@ import ( "github.com/symflower/eval-dev-quality/log" modeltesting "github.com/symflower/eval-dev-quality/model/testing" "github.com/symflower/eval-dev-quality/task" + "github.com/zimmski/osutil" + "github.com/zimmski/osutil/bytesutil" ) func TestTaskWriteTestsRun(t *testing.T) { @@ -77,4 +79,85 @@ func TestTaskWriteTestsRun(t *testing.T) { }, }) }) + + t.Run("Symflower Fix", func(t *testing.T) { + t.Run("Go", func(t *testing.T) { + validateGo := func(t *testing.T, testName string, testFileContent string, expectedAssessments map[task.Identifier]metrics.Assessments, expectedProblems []string) { + temporaryDirectoryPath := t.TempDir() + repositoryPath := filepath.Join(temporaryDirectoryPath, "golang", "plain") + require.NoError(t, osutil.CopyTree(filepath.Join("..", "..", "testdata", "golang", "plain"), repositoryPath)) + + modelMock := modeltesting.NewMockModelNamed(t, "mocked-model") + modelMock.RegisterGenerateSuccess(t, IdentifierWriteTests, "plain_test.go", testFileContent, metricstesting.AssessmentsWithProcessingTime).Once() + + validate(t, &tasktesting.TestCaseTask{ + Name: testName, + + Model: modelMock, + Language: &golang.Language{}, + TestDataPath: temporaryDirectoryPath, + RepositoryPath: filepath.Join("golang", "plain"), + + ExpectedRepositoryAssessment: expectedAssessments, + ExpectedProblemContains: expectedProblems, + ExpectedResultFiles: map[string]func(t *testing.T, filePath string, data string){ + filepath.Join(string(IdentifierWriteTests), "mocked-model", "golang", "golang", "plain.log"): func(t *testing.T, filePath, data string) { + assert.Contains(t, data, "Evaluating model \"mocked-model\"") + assert.Contains(t, data, "PASS: TestPlain") + }, + }, + }) + } + { + expectedAssessments := map[task.Identifier]metrics.Assessments{ + IdentifierWriteTests: metrics.Assessments{ + metrics.AssessmentKeyFilesExecuted: 1, + metrics.AssessmentKeyResponseNoError: 1, + metrics.AssessmentKeyCoverage: 10, + }, + IdentifierWriteTestsSymflowerFix: metrics.Assessments{ + metrics.AssessmentKeyFilesExecuted: 1, + metrics.AssessmentKeyResponseNoError: 1, + metrics.AssessmentKeyCoverage: 10, + }, + } + validateGo(t, "Model generated correct test", bytesutil.StringTrimIndentations(` + package plain + + import "testing" + + func TestPlain(t *testing.T) { + plain() + } + `), expectedAssessments, nil) + } + { + expectedAssessments := map[task.Identifier]metrics.Assessments{ + IdentifierWriteTests: metrics.Assessments{ + metrics.AssessmentKeyResponseNoError: 1, + }, + IdentifierWriteTestsSymflowerFix: metrics.Assessments{ + metrics.AssessmentKeyFilesExecuted: 1, + metrics.AssessmentKeyResponseNoError: 1, + metrics.AssessmentKeyCoverage: 10, + }, + } + expectedProblems := []string{ + "imported and not used", + } + validateGo(t, "Model generated test with unused import", bytesutil.StringTrimIndentations(` + package plain + + import ( + "testing" + "strings" + ) + + func TestPlain(t *testing.T) { + plain() + } + `), expectedAssessments, expectedProblems) + } + }) + }) } diff --git a/evaluate/task/task.go b/evaluate/task/task.go index 5ddda6ef5..cb422e10c 100644 --- a/evaluate/task/task.go +++ b/evaluate/task/task.go @@ -33,6 +33,8 @@ func registerIdentifier(name string) (identifier evaltask.Identifier) { var ( // IdentifierWriteTests holds the identifier for the "write test" task. IdentifierWriteTests = registerIdentifier("write-tests") + // IdentifierWriteTestsSymflowerFix holds the identifier for the "write test" task with the "symflower fix" applied. + IdentifierWriteTestsSymflowerFix = registerIdentifier("write-tests-symflower-fix") // IdentifierCodeRepair holds the identifier for the "code repair" task. IdentifierCodeRepair = registerIdentifier("code-repair") ) diff --git a/tools/symflower.go b/tools/symflower.go index 8e08b2123..c841a91df 100644 --- a/tools/symflower.go +++ b/tools/symflower.go @@ -91,7 +91,7 @@ func (*symflower) CheckVersion(logger *log.Logger, binaryPath string) (err error } // SymflowerVersionRequired holds the version of Symflower required for this revision of the evaluation. -const SymflowerVersionRequired = "37153" +const SymflowerVersionRequired = "38036" // RequiredVersion returns the required version of the tool. func (*symflower) RequiredVersion() string {