Cybernetics in Software System Verification
Jianguo Chen, Qi Zhang, Stefan D. Bruda · 2009
Software cybernetics is the field of science concerned with processes of communication and control in software systems. In software cybernetics, basic principles of control theory are applied to control the development process and the execution of software systems. In this paper, a notation of negative feedback from control theory is applied to the software system verification. To fulfill the software system verification, we explore software testing, model checking and their two combinations with the feedback. Our future works on the interplay between cybernetics and software engineering are also discussed.