Title :
Cybernetics in Software System Verification
Author :
Chen, Jianguo ; Zhang, Qi ; Bruda, Stefan D.
Author_Institution :
Coll. of Inf. Eng., China Jiliang Univ., Hangzhou, China
Abstract :
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.
Keywords :
cybernetics; program testing; program verification; software engineering; control theory; model checking; negative feedback; software cybernetics; software engineering; software system verification; software systems execution; software testing; Communication system control; Communication system software; Control systems; Control theory; Cybernetics; Negative feedback; Process control; Software engineering; Software systems; Software testing; model checking; model-based testing; negytive feedback; software cybernetics; software vevification;
Conference_Titel :
Intelligent Human-Machine Systems and Cybernetics, 2009. IHMSC '09. International Conference on
Conference_Location :
Hangzhou, Zhejiang
Print_ISBN :
978-0-7695-3752-8
DOI :
10.1109/IHMSC.2009.192
