面向问题的需求满足性验证和测试方法研究与实现

发布时间：2021-12-22 23:10

　　随着科学技术的进步,系统实现的功能越来越多,系统的规模变大,复杂性也有所提高。根据美国权威组织Standish Group在2015年的报告中得出的结论,规模越大的项目越容易失败。特别是在工业4.0理念深入人心的时候,信息物理融合系统（CPS）作为工业制造的主要技术,成为了学者和专家的研究目标之一。由于信息物理融合系统中使用到大量的硬件,所以它的开发成本相当昂贵;同时,信息物理融合系统的质量与人们的生活质量、生命和财产安全等相关。而在过去的研究中得知,需求是项目成败的最关键的因素。需求建模是为了系统开发人员从获取到的需求信息中能够在语义上正确地理解其含义,让客户可以正确表达和判断自己的表达的需求信息是否符合自己真实的想法。学术界和企业都比较关注需求建模方法,在多个需求建模方法中,问题框架方法也受了一些大学和学者们的青睐。问题框架方法作为面向问题的需求工程方法,在众多人的不断研究和探索下,在系统开发的过程中越来越发挥了重要作用。问题框架方法描述用户需求,有很多方向值得研究和进一步的探究。问题框架方法由Jackson在20世纪90年代提出来的。该方法充分考虑软件的运行环境,也即问题所在的现... 

【文章来源】：广西师范大学广西壮族自治区

【文章页数】：62 页

【学位级别】：硕士

【部分图文】：

问题图

我们对安全门控制问题进行了建模，建模得出的问题图如图3-1 所示。图 3-1 安全门控制问题图录相机这个问题领域的功能是转换现象 d 中录相机捕捉到游客的脸部外表的一个或多个影像帧。门控制器和录像机的共享集合 b 中的影像帧，门控制器设备通过检测这些影像帧并用软件算法来对它们进行分析处理，然后再将处理结果与特征数据库中的FeatureInformation 值进行对比。由现象 d 中模拟数据 FacialAppearance 到现象 b 中的数字化数据 VideoFrames 的转化给出了潜在可行的解决方案。从这个安全门控制的逻辑的分析中，我们可以认识到游客的脸和录像机都是必须的，所以录像机和游客的脸都要显式的表达在问题图中，而不能将录相机包含在门控制器中，这样是不利于分析问题。3.2 问题图完整性、正确性检查研究传统的建模工具在协同和自动化检验图的完整性和正确性有些不足，例如：MS Visio，Rational Rose 和 UMLet 没有实现多用户之间共享文件和协同建模功能，对绘制出来的需求设计图软件不能够自动判断图的完整性和正确性。本文除了介绍理论研究，同时还依据理论成果开发实现了相应的辅助工具。在第 5 章本文会介绍该需求工程辅助工具。

安全门控制问题图（领域无名称）

【参考文献】：
期刊论文
[1]信息物理融合系统的软件需求分析[J]. 刘春,黄冉冉,张伟,赵海燕,金芝.  计算机学报. 2016(11)
[2]一种信息物理融合系统仿真建模方法[J]. 李晓宇,王宇英,周兴社,梁东方.  系统仿真学报. 2014(03)
[3]一种模型驱动的软件需求分析方法及技术支持[J]. 李智,庞柳,刘国源,杨智尚.  广西师范大学学报(自然科学版). 2013(02)
[4]需求分析在软件开发过程中的重要性[J]. 陆丽.  电脑知识与技术. 2012(21)
[5]信息物理融合系统[J]. 温景容,武穆清,宿景芳.  自动化学报. 2012(04)
[6]需求工程现状和发展研究[J]. 刘忠宝,赵文娟.  电脑开发与应用. 2011(11)
[7]关于软件需求中的不一致性管理[J]. 朱雪峰,金芝.  软件学报. 2005(07)
[8]基于形式化方法的需求分析[J]. 塔维娜,何积丰.  计算机工程. 2003(18)
[9]C/S与B/S混合软件体系结构模型[J]. 张友生,陈松乔.  计算机工程与应用. 2002(23)
[10]需求工程综述[J]. 田忠,钱乐秋.  计算机应用与软件. 1996(05)



本文编号：3547286