计算机科学 ›› 2021, Vol. 48 ›› Issue (11A): 682-687.doi: 10.11896/jsjkx.210100065
朱平
ZHU Ping
摘要: 针对复杂算法设计和维护中面临的输入种类数量大、知识密集、范围未知、算法逻辑复杂且规模比较大等实际问题,传统需求规格说明侧重于用户需求的认定,不便于修改和确定复杂算法内部逻辑流程;流程图则偏向程序设计底层,虽然方便自动程序设计的实现,但缺少高层逻辑语义,没有修改更新备份机制,逻辑修改复杂性仍然很大,设计和维护成本很高,仍然不方便描述刻画不确定程序逻辑,并且使用十分不便。文中提出了基于思维图的算法内部逻辑轻量型描述实用化方法,适应复杂算法内部逻辑流程不确定和长周期研发的特点。首先形式化定义了思维图逻辑模型及其构成部件;然后以具体实例讨论了思维图面向对象的实现,以及对于客观世界继承和多态情景的程序模拟;以文本数据元变量语义识别为例子,具体描述了使用思维图对复杂算法进行设计和维护的阶段和过程;最后,总结全文并提出下一步思维图工具化的研究任务。
中图分类号:
[1]XU X Z.The research and implementation of technology inMDA[J].Computer Science,2006,133(112):278-279. [2]CHEN Y H.The study of construction and validation of Object-oriented formal specification[D].Shanghai:Shanghai University Doctoral Dissertation,2007. [3]CHEN R S.Software development of single chip computer based on flow chart programming[J].Intelligent Computer and Applications,2013,3(4):95-97. [4]WANG L M,WANG G N,ZHOU M Y,et al.Research on and implementation of algorithm from the program flowchart to the code[J].Journal of Xidian University(Natural Science Edition),2012,39(6):70-77. [5]ZHONG Z C,ZHANG Z S,DAI M,et al.Real-time conversion method for flowchart and similar C language[J].Journal of Southeast University(Natural Science Edition),2009,39(3):502-507. |
[1] | 赵松辉, 任志磊, 江贺. 软件升级问题的多目标优化方法 Multi-objective Optimization Methods for Software Upgradeability Problem 计算机科学, 2020, 47(6): 16-23. https://doi.org/10.11896/jsjkx.200400027 |
[2] | 张卫祥,刘文红. 基于故障树分析与组合测试的测试用例生成方法 Test Suite Generation Based on Interaction Testing and Fault Tree Analysis 计算机科学, 2014, 41(Z11): 375-378. |
[3] | 刘锦行,夏红霞. 一种利用UML的软件需求阶段风险评估方法 New Methods of Software Requirements Risk Assessment Using UML 计算机科学, 2014, 41(6): 131-135. https://doi.org/10.11896/j.issn.1002-137X.2014.06.026 |
[4] | 江磊,许畅,陈小康. 基于搜索的上下文一致性错误处理 Search-based Automated Resolution of Context Inconsistency 计算机科学, 2014, 41(11): 40-45. https://doi.org/10.11896/j.issn.1002-137X.2014.11.009 |
[5] | 张卫祥,刘文红,吴欣. 基于数据融合的全生命周期软件可信性定量评估方法 Quantitative Evaluation Across Software Development Life Cycle Based on Data Fusion 计算机科学, 2013, 40(Z11): 192-195. |
[6] | 沈晖,陆育锋,郭以东,杨勇. 基于语义分析的统计报表多维数据建模方法 Multiple Dimension Data Modeling Method for Statistical Data Sheets Based on Semantic Analysis 计算机科学, 2013, 40(9): 243-246. |
[7] | 黄抚群,刘 斌,王轶辰. 软件心理学研究综述 Review of Software Psychology 计算机科学, 2013, 40(3): 1-7. |
[8] | 张卫祥 刘文红 杜会森. 基于软件测试与知识发现的软件定量评估方法 Quantitative Assessing Method of Software Quality Evaluation Based on Software Testing and KDD 计算机科学, 2012, 39(Z11): 28-30. |
[9] | 卢红敏,许 蕾,徐宝文. 元分析技术及其在软件工程中的应用 Meta-analysis Technique and its Application in Software Engineering 计算机科学, 2012, 39(10): 115-118. |
[10] | 樊晓光,褚文奎,张凤鸣. 软件安全性研究综述 Surveys of Software Safety 计算机科学, 2011, 38(5): 8-13. |
[11] | 彭云峰,姚琳,赵冲冲,胡长军. 并行构件技术研究综述 Overview of Technologies for Parallel Component 计算机科学, 2011, 38(2): 18-27. |
[12] | 毛新军. 面向Agent软件工程:现状、挑战与展望 State-of-the-Art,Challenges and Perspectives of Agent-oriented Software Engineering 计算机科学, 2011, 38(1): 1-7. |
[13] | 无. 第三届Agent理论与应用学术会议(Agent2010)征文通知 计算机科学, 2009, 36(6): 0-F0002. |
[14] | . 数据挖掘技术在软件工程中的应用综述 计算机科学, 2009, 36(5): 1-6. |
[15] | 何明昕. 关注点分离在计算思维和软件工程中的方法论意义 计算机科学, 2009, 36(4): 60-63. |
|