计算机应用研究2016，Vol.33Issue(5)：1384-1389,1398,7.DOI:10.3969/j.issn.1001-3695.2016.05.024
基于场景行为的需求建模及质量特性检测
Requirement formal modeling and quality characteristics verification based on scene behavior
摘要
Abstract
To verify whether the software meets the non functional requirements in the requirements analysis phase,this paper proposed the solution of requirement formal modeling and quality characteristics detection based on scene behavior.First,it defined behavior description language (BDL)to establish the demand behavior model which was accurate,reasoning and easy to understand.Second,it constructed the model transfer function from a demand behavior model to state transfer model called calculus of communication system (CCS).Third,it proved the correctness of model transformations with the concept of strong bi-simulation.Then,it developed a trusted requirement modeling tool (MTS)to create behavior model which could be impor-ted into concurrency workbench (CWB)with quality characteristics expressions together to achieve quality verification.Final-ly,it used this tool to establish behavior model according to mobile phone software upgrade scenario,and verify consistency, security,credibility and non-termination of mobile software successfully.关键词
场景行为/行为建模/模型转换/可信验证/特性检测Key words
scene behavior/behavior modeling/model transformation/trusted verification/characteristic detection分类
信息技术与安全科学引用本文复制引用
金欢,黄箐..基于场景行为的需求建模及质量特性检测[J].计算机应用研究,2016,33(5):1384-1389,1398,7.基金项目
国家自然科学基金资助项目（91118003，61003071）；深圳战略性新兴产业发展专项资金资助项目（JCYJ20120616135936123）；中央高校基本科研业务费专项资金资助项目（3101046，201121102020006）；江西科技学院校自然科学基金资助项目 （）
