A metric towards evaluating understandability of state machines: An empirical study

作者: Jung Ho Bae , Heung Seok Chae , Carl K. Chang

DOI: 10.1016/J.INFSOF.2013.07.011

关键词:

摘要: Context: State machines are widely used to describe the dynamic behavior of objects, components, and systems. As a communication tool between various stakeholders, it is essential that state be easily correctly comprehensible. Poorly understood can lead misunderstandings overhead, thus adversely affecting quality final product. Nevertheless, there lack measurement research for machines. Objective: In this paper, we propose metric, called SUM, evaluate understandability SUM defined on basis cohesion coupling concepts. Method: To validate as machine indicator, performed an empirical study using five We constructed different each system, resulting in total 25 being prepared. Two aspects understandability, efficiency (UEff) correctness (UCor), were obtained from 40 participants then correlation consistency analyses SUMs measured values. Results: The results analysis indicated was significantly correlated with UEff (p=0.003) UCor (p=0.027). positively four systems all Conclusion: These confirm possibility useful indicator SMs. believe proposed metric guideline construct

参考文章(53)
Brian Henderson-Sellers, Larry L. Constantine, Ian M. Graham, Coupling and cohesion (towards a valid metrics suite for object-oriented analysis and design). Object Oriented Systems. ,vol. 3, pp. 143- 158 ,(1996)
Victor R. Basili, Software modeling and measurement: the Goal/Question/Metric paradigm University of Maryland at College Park. ,(1992)
Marko Boger, Thorsten Sturm, Per Fragemann, Refactoring Browser for UML Objects, Components, Architectures, Services, and Applications for a Networked World. pp. 366- 377 ,(2003) , 10.1007/3-540-36557-5_26
Roland Knor, Georg Trausmuth, Johannes Weidl, Reengineering C/C++ Source Code by Transforming State Machines Lecture Notes in Computer Science. pp. 97- 105 ,(1998) , 10.1007/3-540-68383-6_15
John Derrick, Siobhán North, Anthony J. H. Simons, Z2SAL - Building a Model Checker for Z Lecture Notes in Computer Science. pp. 280- 293 ,(2008) , 10.1007/978-3-540-87603-8_22
Deborah A. Boehm-Davis, Robert W. Holt, Alan C. Shultz, Mental representations of programs for student and professional programmers Empirical studies of programmers: second workshop. pp. 33- 46 ,(1987)
Peter King, Rob Pooley, Derivation of Petri Net Performance Models from UML Specifications of Communications Software Lecture Notes in Computer Science. pp. 262- 276 ,(2000) , 10.1007/3-540-46429-8_19