一种面向控制软件需求分析的方法

• 作者: 张丽芸 李建文 王政 蒲戈光
• 来源期刊: 计算机应用研究
• 关键词: 控制系统 需求分析 图形化 原型生成 系统仿真
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 软件技术研究
• 页码范围: 465-468,475
• 页数: 5页
• 分类号: TP311.521
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2013.02.040

摘要

设计航天控制系统是一个复杂的过程,涉及需求设计、编码、测试等一系列的流程,若能在需求设计阶段发现错误,那么能减少不少的工作量.针对这一问题,提出了一种分析控制软件需求的方法和一个名为SP-ARDL的建模语言,并制作了一套SPARDL工具.SPARDL可以描述周期性的控制系统,首先将需求文档转换为SPARDL模型,且提供了图形化的表示方法；然后运用原型生成技术去仿真系统的行为,进一步分析需求的准确性.最后以一个案例表明了用SPARDL分析一个简单的航天控制系统需求的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李建文	华东师范大学软件学院	3	13	2.0	3.0
2	蒲戈光	华东师范大学软件学院	7	27	3.0	5.0
3	王政	华东师范大学软件学院	2	9	1.0	2.0
4	张丽芸	华东师范大学软件学院	1	9	1.0	1.0