期刊文献+

A Visualization Method of Requirement Checking Based on Software Behavior

A Visualization Method of Requirement Checking Based on Software Behavior
原文传递
导出
摘要 In order to verify requirements model/document the consistency between software and users' true minds, we present a software behavior-oriented requirements visualization method. The implementation method for software behavior-oriented requirements visualization is advanced in this paper first. Then, the basis language is introduced as the foundation of the method. At last, we put forward the tool platform that can achieve the requirement visualization, The result demonstrates that the method can generate requirement animation rapidly to check the correctness of the requirement. It can effectively reduce the requirements change and save a lot of software development costs. In order to verify requirements model/document the consistency between software and users' true minds, we present a software behavior-oriented requirements visualization method. The implementation method for software behavior-oriented requirements visualization is advanced in this paper first. Then, the basis language is introduced as the foundation of the method. At last, we put forward the tool platform that can achieve the requirement visualization, The result demonstrates that the method can generate requirement animation rapidly to check the correctness of the requirement. It can effectively reduce the requirements change and save a lot of software development costs.
机构地区 School of Computer
出处 《Wuhan University Journal of Natural Sciences》 CAS 2011年第6期507-512,共6页 武汉大学学报(自然科学英文版)
基金 Supported by the National Natural Science Foundation of China (91018009) the Fundamental Research Funds for the Central Universities (201121102020006)
关键词 requirements engineering requirement checkingvisualization software viewpoints behavior requirement visuali-zation program requirements engineering requirement checkingvisualization software viewpoints behavior requirement visuali-zation program
  • 相关文献

参考文献10

  • 1The Standish Group International Inc. CHAOS Summary 2009[EB/OL].[2010-05-23]. http://www.standishgroup.com/ newsroom/ chaos_2009.php.
  • 2Wu Guoqing, Liang Zhengping, Yuan Mengting, et al. Software Requirements Engineering [M]. Beijing: China Machine Press, 2008.
  • 3Holzmann G J, Peled D. State of SPIN[C]//Proc 8th International Conf on Computer Aided Verification (CAV '96). London: Springer-Verlag, 1996: 385-389.
  • 4Larsen K G, Pettersson P, Wang Yi. Uppaal in a nutshell[J]. International Journal on Software Tools for Technology Transfer (STTT), 1997, 1(1): 134-152.
  • 5Harel D, Marelly R. Come, Let's play: Scenario-Based Programming Using LSCs and the Play-Engine[M]. Heidelberg: Springer-Verlag, 2003.
  • 6Heitmeyer C, Kirby J, Labaw B, et al. SCR*: A toolset for specifying and analyzing software requirements [C] //Proc 10th International Conf on Computer Aided Verification (CAV'98). Heidelberg: Springer-Verlag, 1998: 526-531.
  • 7Harel D, Lachover H, Naamad A, et al. STATEMATE: A working environment for the development of complex reactive systems[J]. IEEE Transaction on Software Engineering, 1990, 16(4): 403-414.
  • 8Magee J, Pryce N, Giannakopoulou D, et al. Graphical animation of behavior models [C] //Proc 22nd International Confon Software Engineering. New York: ACM Press, 2000: 499-508.
  • 9Westergaard M, Lassen K B. The BRITNeY suite animation tool [C]//Proc 27th International Conf on Applications and Theory of Petri Nets and Other Models of Concurrency. Heidelberg: Springer-Verlag, 2006:431-440.
  • 10Yao Yu, Wu Guoqing, Wan Li, et al. Behavior-oriented requirement description language [C] // Proc 2009 International Conf on Computational Intelligence and Software Engineering. New Jersey: IEEE Computer Society, 2009: 1-5.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部