Cybernetics in Software System Verification

Author

Chen, Jianguo ; Zhang, Qi ; Bruda, Stefan D.

Author_Institution

Coll. of Inf. Eng., China Jiliang Univ., Hangzhou, China

Volume

2

fYear

2009

fDate

26-27 Aug. 2009

Firstpage

274

Lastpage

277

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/IHMSC.2009.192

Filename

5335987