Go support #1757

egiptipavel · 2023-01-27T11:18:57Z

Description

I added Go tests generation.

UI

Module utbot-intellij-go contains language-specific implementations of LanguageAssistant, DialogWrapper and other classes.

CLI

Module utbot-go-cli contains command line generation and run tests interface for Go.

How to test

Manual tests

// DivOrPanic divides x by y or panics if y is 0
func DivOrPanic(x int, y int) int {
    if y == 0 {
        panic("div by 0")
    }
    return x / y
}

Self-check list

I've set the proper labels for my PR (at least, for category and component).
PR title and description are clear and intelligible.
I've added enough comments to my code, particularly in hard-to-understand areas.
The functionality I've repaired, changed or added is covered with automated tests.
Manual tests have been provided optionally.
The documentation for the functionality I've been working on is up-to-date.

Markoutte · 2023-01-30T12:01:51Z

utbot-go/src/main/kotlin/org/utbot/go/framework/api/go/GoApi.kt

+    override val classId: GoTypeId,
+) : UtModel(classId) {
+    open fun getRequiredImports(): Set<String> = emptySet()
+    abstract fun canNotBeEqual(): Boolean


It is hard to understand code with negative assertion. canBeEqual is easier to understand.

Markoutte · 2023-01-31T05:39:52Z

Please, use Mermaid to create document diagrams instead of binary images with diagrams (like utbot-go/docs/diagrams/how-it-works.png is used)

Markoutte · 2023-01-31T05:55:40Z

utbot-go/docs/DEVELOPERS_GUIDE.md

+
+### Test code generation
+
+Finally, the last stage: the test cases are ready, UTBot Go needs only to generate code for them. Nothing terrible


Nothing terrible happens here

Sounds not very good for documentation.

Markoutte · 2023-01-31T06:04:20Z

utbot-go/docs/DEVELOPERS_GUIDE.md

+
+## How to test UTBot Go
+
+_**TODO:**_ Gradle `runIde` task and building CLI application JAR locally.


To build CLI version the build on utbot-cli-go should be called

Markoutte · 2023-01-31T06:36:50Z

utbot-go/build.gradle.kts

+tasks {
+    compileKotlin {
+        kotlinOptions {
+            jvmTarget = "11"


It is preferrable to use 8 Java API for all modules except IntelliJ plugin and CLI

Markoutte · 2023-01-31T06:48:31Z

utbot-go/src/main/kotlin/org/utbot/go/api/GoTypesApi.kt

+    implementsError: Boolean
+) : GoTypeId(name, implementsError = implementsError) {
+    override fun getRelativeName(packageName: String): String {
+        TODO("Not yet implemented")


Suspicious TODO

Markoutte · 2023-01-31T06:50:26Z

utbot-go/src/main/kotlin/org/utbot/go/framework/api/go/GoApi.kt

+ */
+abstract class GoTypeId(
+    name: String, elementClassId: GoTypeId? = null, val implementsError: Boolean = false
+) : ClassId(name, elementClassId) {


We need to rid off all dependencies of core-api, like ClassId

We all have ClassId in dependencies (including Python, even though we have our own types). It is needed to use code generation, maybe some other places too.

…alues

…ils to connect

egiptipavel added ctg-enhancement New feature, improvement or change request comp-fuzzing Issue is related to the fuzzing labels Jan 27, 2023

egiptipavel requested review from Markoutte and denis-fokin January 27, 2023 11:18

Markoutte requested review from tamarinvs19, rudolf101, tochilinak and zishkaz January 27, 2023 11:34

Markoutte reviewed Jan 30, 2023

View reviewed changes

Markoutte reviewed Jan 31, 2023

View reviewed changes

egiptipavel added 15 commits February 6, 2023 11:12

Merge actual UTBot Go

f07741a

Make it mandatory to select tested functions

faf7567

Fix generating test file for function without parameters and return v…

ad3caf6

…alues

Add logs

f212dfe

Delete changing name of function in body of modified function

5ddfc0f

Support struct type from other packages

65b22b3

Fix bugs, refactoring

fda59dd

Fix bug with initializing unexported struct fields

698e73b

Fast fuzzing for primitives and arrays

b11c98a

Change property 'requiredImports to function 'getRequiredImports'

bc1230e

Add support for integer types with implementation-specific size

0eb489f

Change logs

9146949

Add test generation for functions without parameters and return values

16d7f13

Add support for test generation for function with error as result type

d6d22b0

Refactor GoUtModel' and GoTypeId's

a937775

egiptipavel added 14 commits February 6, 2023 11:12

Fix test generation with panics

defc0f5

Add all function execution timeout

ea9468b

Change files, where will be merge conflict

727dacc

Change logic of timeout for execution of all functions

880cff8

Add isCanceled indicator

a82d001

Update README and samples

64e5983

Increase timeout for worker connection and handle case when worker fa…

0569f60

…ils to connect

Delete unnecessary files

ac4849b

Do fast fuzzing for structs, delete old fuzzing

af2fefc

Change name of method canBeEqual to isComparable

286a62a

Rid off all dependencies of core-api

7cba22e

Rewrite documentation

8b33be1

Fix equals and hashCode methods in GoStructTypeId and GoInterfaceTypeId

de389c0

Small refactoring

b026658

egiptipavel force-pushed the main branch from 43e0a82 to b026658 Compare February 6, 2023 10:37

egiptipavel added 2 commits February 6, 2023 15:35

Add necessary enviroments to process

3c7031b

Change path separator for windows to system-dependent path separator

b1530cd

Markoutte approved these changes Feb 7, 2023

View reviewed changes

Markoutte merged commit bd31da7 into UnitTestBot:main Feb 7, 2023

alisevych added this to the 2023.03 Release milestone Mar 21, 2023

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Go support #1757

Go support #1757

Uh oh!

egiptipavel commented Jan 27, 2023

Uh oh!

Markoutte Jan 30, 2023

Uh oh!

Markoutte commented Jan 31, 2023

Uh oh!

Markoutte Jan 31, 2023

Uh oh!

Markoutte Jan 31, 2023

Uh oh!

Markoutte Jan 31, 2023

Uh oh!

Markoutte Jan 31, 2023

Uh oh!

Markoutte Jan 31, 2023

Uh oh!

tochilinak Jan 31, 2023

Uh oh!

Uh oh!


		### Test code generation

		Finally, the last stage: the test cases are ready, UTBot Go needs only to generate code for them. Nothing terrible


		## How to test UTBot Go

		_TODO:_ Gradle `runIde` task and building CLI application JAR locally.

Go support #1757

Go support #1757

Uh oh!

Conversation

egiptipavel commented Jan 27, 2023

Description

UI

CLI

How to test

Manual tests

Self-check list

Uh oh!

Markoutte Jan 30, 2023

Choose a reason for hiding this comment

Uh oh!

Markoutte commented Jan 31, 2023

Uh oh!

Markoutte Jan 31, 2023

Choose a reason for hiding this comment

Uh oh!

Markoutte Jan 31, 2023

Choose a reason for hiding this comment

Uh oh!

Markoutte Jan 31, 2023

Choose a reason for hiding this comment

Uh oh!

Markoutte Jan 31, 2023

Choose a reason for hiding this comment

Uh oh!

Markoutte Jan 31, 2023

Choose a reason for hiding this comment

Uh oh!

tochilinak Jan 31, 2023

Choose a reason for hiding this comment

Uh oh!

Uh oh!