Abstract: According to an aspect, there is provided a computing device for performing the following. The computing device maintains, in a database, a first deviation detection algorithm for evaluating values of a first deviation metric. The computing device obtains, in the code editor, a plurality of logical lines of code and performs, for at least one logical line of code, the following. The computing device evaluates, using the first deviation detection algorithm, for a program instruction defined in a logical line of code, a value of the first deviation metric based at least on one or more other program instructions. The computing device selects a first color based on the first deviation metric from a first colormap. Finally, the computing device colors, in part or fully, a background or a text of the logical line of code or a graphical element associated with it with the first color.

Abstract: According to an aspect, there is provided a computing device for performing the following. The computing device obtains, in a code editor, one or more logical lines of code for a program. The computing device predicts, using a first prediction algorithm, one or more most probable next program instructions based on said one or more logical lines of code and displays them to the user. In response to receiving a selection of a program instruction, the computing device inserts a selected program instruction to the code editor. The computing device predicts, using a second prediction algorithm, one or more most probable sets of zero or more parameters based on a selected program instruction and said one or more logical lines of code and displays them to the user. In response to receiving a selection of a set, the computing device inserts a selected set to the code editor.

Abstract: According to an aspect, there is provided a computing device for performing the following. The computing device maintains, in a database, a first deviation detection algorithm for evaluating values of a first deviation metric. The computing device obtains, in the code editor, a plurality of logical lines of code and performs, for at least one logical line of code, the following. The computing device evaluates, using the first deviation detection algorithm, for a program instruction defined in a logical line of code, a value of the first deviation metric based at least on one or more other program instructions. The computing device selects a first color based on the first deviation metric from a first colormap. Finally, the computing device colors, in part or fully, a background or a text of the logical line of code or a graphical element associated with it with the first color.

Abstract: According to an aspect, there is provided a computing device for performing the following. The computing device obtains, in a code editor, one or more logical lines of code for a program. The computing device predicts, using a first prediction algorithm, one or more most probable next program instructions based on said one or more logical lines of code and displays them to the user. In response to receiving a selection of a program instruction, the computing device inserts a selected program instruction to the code editor. The computing device predicts, using a second prediction algorithm, one or more most probable sets of zero or more parameters based on a selected program instruction and said one or more logical lines of code and displays them to the user. In response to receiving a selection of a set, the computing device inserts a selected set to the code editor.

Abstract: There is provided a computer-implemented method for generating verified software application tests, the method comprising: acquiring a computer readable model representing a functionality of a software application to be tested; generating, based at least partly on the model, a test template for generating a plurality of verified software application tests, the test template comprising a plurality of data input fields for data values and defining data value constraints for the data values; obtaining user data input regarding a data input field; determining whether said user data input defines a data value of the data input field according to the data value constraints; in response to determining that said user data input does not define a data value according to the data value constraints, adjusting one or more data values of the test template such that said data value constraints are met; and generating, based on the test template, at least one software application test meeting the data value constraints.

Abstract: There is provided a computer-implemented method for generating verified software application tests, the method comprising: acquiring a computer readable model representing a functionality of a software application to be tested; generating, based at least partly on the model, a test template for generating a plurality of verified software application tests, the test template comprising a plurality of data input fields for data values and defining data value constraints for the data values; obtaining user data input regarding a data input field; determining whether said user data input defines a data value of the data input field according to the data value constraints; in response to determining that said user data input does not define a data value according to the data value constraints, adjusting one or more data values of the test template such that said data value constraints are met; and generating, based on the test template, at least one software application test meeting the data value constraints.