【摘 要】
：
由于缺少面向列车车载控制软件的需求分析工具,需求分析人员难以自动分析出预期数据。针对该问题,提出基于模型抽取的需求分析方法,设计控制软件需求分析工具。通过抽取需求
【机 构】
：
贵州大学计算机科学与技术学院,华东师范大学计算机科学与软件工程学院
【基金项目】
：
国家自然科学基金“嵌入式控制软件的形式化规格说明构建的工程方法”（61402178）,国家自然科学基金“基于r COS的形式化方法需求分析与验证”（61562011）
论文部分内容阅读
由于缺少面向列车车载控制软件的需求分析工具,需求分析人员难以自动分析出预期数据。针对该问题,提出基于模型抽取的需求分析方法,设计控制软件需求分析工具。通过抽取需求描述文档中的需求条目建立可执行模型,使用数据流方法对其进行分析,得到变量影响关系图和状态迁移图,利用动态分析获得以需求描述文档为依据的预期输出数据,并将其与软件的真实运行输出数据进行对比,生成控制软件的可视化分析报告。实验结果表明,该方法可以帮助需求分析人员快速发现软件实现错误,为列车安全运行提供保障。
其他文献
现有Mav Link协议的设计主要面向低速率、大数据量的消息传输,存在移动通信信道特性差、环境干扰因素多等问题。为此,提出一种新型的MUAV-MTP协议,用于微型无人机移动传输身
应用受体放射分析技术与现代生物化学技术(等电聚焦电泳、超离心技术)测定正常子宫内膜、增生过长子宫内膜及子宫内膜瘤组织胞浆雌、孕激素受体结果表明;人类正常子宫内膜中
为了提高喷嘴的雾化效果 ,利用相位多普勒粒子分析仪 (PDPA)对 3种新型的喷嘴进行了测试 ,并根据结果分析了喷头、混和管的影响及这 3种喷嘴的性能 .实验发现 ,为改善喷嘴雾
当前,东航发展面临着极为重要的转型时期,转型对承担东航人才发展和培养的工作机构提出了新的要求,要求其为东航顺利转型提供保障战略落地的能力、提供人才的能力、提供智力
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
广东粤电云河发电有限公司的5、6号机组是300MW循环流化床机组,分别于2010年7月和8月投产。该公司两台机组的三大主机均是上海制造的。锅炉是上海锅炉厂首次自行研发具有自主
在信息化教育背景下,结合混合式教学模式新理念,从学生学习角度出发,对高校动画类课程在课程设置、教学内容、评价方法、学习态度、评价反馈等方面的现状进行梳理有针对性的
[教学内容]统编本三年级上册第三单元是一个“童话”单元,精选了《卖火柴的小女孩》《那一定会很好》《在牛肚子里旅行》《一块奶酪》等童话故事,安排了《我来编童话》习作练
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
在分析各种平直度预设定控制算法优缺点的基础上,提出一种基于板厚标准曲线的平直度预设定控制算法。首先,建立了基于分步优化的平直度和板厚标准曲线制定方法,该方法将平直