您的位置： 专家智库 > >

金欢

作品数：1 被引量：1H指数：1
供职机构：江西科技学院更多>>
发文基金：中央高校基本科研业务费专项资金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

机构

  • 1篇武汉大学
  • 1篇江西科技学院

作者

  • 1篇黄箐
  • 1篇金欢

传媒

  • 1篇计算机应用研...

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于场景行为的需求建模及质量特性检测被引量：1
2016年
为在需求分析阶段验证软件是否满足非功能质量要求,提出一种基于场景行为的需求建模及质量特性检测方案。该方案定义能够建立高精度、可推理、易理解的需求行为模型的行为描述语言BDL,构造需求行为模型到状态迁移模型CCS的模型转换函数,以互模拟的定义为前提,验证转换函数的正确性,进而开发可信建模检测工具MTS。该工具导出的行为模型能够与质量特性表达式一起导入特性检测工具CWB实现质量检测。最后,使用该工具对手机软件升级这一需求进行行为建模,成功验证手机软件的一致性、安全性、行为可信性及行为非终止性。
金欢黄箐
全选 清除 导出
共1页<1>
聚类工具0