Abstract: A computer implemented method for testing rules by a computing device including selecting a current version of a rule and prior version of the rule, comparing the prior version of the rule and the current version of the rule to each other to identify a type of change made in the current version of the rule with respect to the prior version of the rule, and testing the prior version of a rule and the current version of the rule using a common data set, the testing being based on the identified type of change. The test result is provided to a user.

Abstract: A computer-implemented system and related method process a smart contract. The method uses a processor for processing a smart contract that receives a transaction proposal (TP) from a blockchain client. The processor determines a pre-endorsement result (PER) that is associated with the TP, analyzes, according to a pre-endorsement agreement logic, the PER to produce an agreed result, and endorses the agreed result. The processor sends, to the blockchain client, the endorsed agreed result.

Abstract: Systems and techniques that facilitate automated generation of relevant and adequate test datasets based on guarded commands are provided. In various embodiments, a query generation component can generate a query language query based on a first guarded command. In various aspects, an execution component can execute the query language query on a data table to return one or more datasets for testing the first guarded command. In various embodiments, the query generation component can comprise an initialization component that can initialize conditions of a WHERE clause of the query language query based on the first guarded command. In various instances, the query generation component can further comprise a transformation component that can transform the conditions of the WHERE clause of the query language query based on a sequence of guarded commands on which the first guarded command depends.

Abstract: A computer-implemented system and related method process a smart contract. The method uses a processor for processing a smart contract that receives a transaction proposal (TP) from a blockchain client. The processor determines a pre-endorsement result (PER) that is associated with the TP, analyzes, according to a pre-endorsement agreement logic, the PER to produce an agreed result, and endorses the agreed result. The processor sends, to the blockchain client, the endorsed agreed result.

Abstract: A computer implemented method for testing rules by a computing device including selecting a current version of a rule and prior version of the rule, comparing the prior version of the rule and the current version of the rule to each other to identify a type of change made in the current version of the rule with respect to the prior version of the rule, and testing the prior version of a rule and the current version of the rule using a common data set, the testing being based on the identified type of change. The test result is provided to a user.

Abstract: Systems and techniques that facilitate automated generation of relevant and adequate test datasets based on guarded commands are provided. In various embodiments, a query generation component can generate a query language query based on a first guarded command. In various aspects, an execution component can execute the query language query on a data table to return one or more datasets for testing the first guarded command. In various embodiments, the query generation component can comprise an initialization component that can initialize conditions of a WHERE clause of the query language query based on the first guarded command. In various instances, the query generation component can further comprise a transformation component that can transform the conditions of the WHERE clause of the query language query based on a sequence of guarded commands on which the first guarded command depends.