A Systematic Judgement to Automated Programming Contracts Generation

Contracts provide a pre-emptive approach in identifying programming errors at run-time using assertions or by formal Static analysis tool or Manual source code reviews. They describe the expected software behavior. Contracts written by developers have a greater error detection ability than the generic ones that are created automatically but may involve strenuous efforts for larger sized source codes. The intent of this paper is a concise study of prevalent approaches in the generation of contracts and to put forward an approach to derive programming rules for real-time concurrent Java source code automatically with reduced efforts. The proposed method extracts the scalar variables and computed constants from Static program code analysis, then identifies various dependencies dynamically and generates the declarative contracts automatically by Decision tree modeling of computed dependencies. These rules can then be utilized for software Verification.

A Systematic Judgment to Automated Programming Contracts Generation

Contracts provide a pre-emptive approach in identifying programming errors at run-time using assertions or by formal Static analysis tool or Manual source code reviews. They describe the expected software behavior. Contracts written by developers have a greater error detection ability than the generic ones that are created automatically but may involve strenuous efforts for larger sized source codes. The intent of this paper is a concise study of prevalent approaches in the generation of contracts and to put forward an approach to derive programming rules for real-time concurrent Java source code automatically with reduced efforts. The proposed method extracts the scalar variables and computed constants from Static program code analysis, then identifies various dependencies dynamically and generates the declarative contracts automatically by Decision tree modeling of computed dependencies. These rules can then be utilized for software Verification.

Behavior Contracts

In schools, behavior contracts typically specify a contingency of reinforcement that is satisfied if students meet specific behavior goals. Behavior contracts, also called contingency contracts, are supported by over forty years of research documenting their effectiveness in promoting individual behavior change across a variety of educational settings. The use of behavior contracts in schools often focuses on decreasing problem behaviors and increasing academic responding for students in general and special education settings. Contingencies developed within behavior contracts outline an expected behavior or completion of a task contingent upon a reward. This chapter provides information on behavior contract components, supporting behavioral principles, student populations for which contracts might be most effective, how to develop an effective behavior contract, and guidelines and considerations from research on implementing behavior contracts in applied settings.