计算机科学 ›› 2018, Vol. 45 ›› Issue (11A): 494-496.
刘凯1, 梁欣2, 张俊萍3
LIU Kai1, LIANG Xin2, ZHANG Jun-ping3
摘要: 文中综合硬、软系统方法论,提出了软硬系统综合方法,并应用该方法寻找软件失效问题的解决方案。通过逐步分析发现,基于软件体系结构开发软件可靠性与维护性测试系统是确保软件质量的有效途径,最终确定了问题的研究方向——软件可靠性与维护性测试系统的软件体系结构设计。
中图分类号:
[1]宋太亮.设备综合保障实施指南[M].北京:国防工业出版社,2006. [2]赵盼.软件维护性综合评估技术[D].石家庄:军械工程学院,2003. [3]齐有忠,高军,黄勇.通用武器设备供应系统设计中的硬、软系统方法整合研究[J].军械工程学院学报,2003,15(4):42-47. [4]龚强,胡运权.论软系统方法与城市综合功能GIS建设[J].学术交流,2002(5):110-114. [5]中国国防科学技术报告:嵌入式软件可靠性仿真测试与验证技术的研究[R].北航可靠工程研究所,2000. [6]叶飞.软件供应保障技术与方法研究[D].石家庄:军械工程学院,2004. [7]孙凌宇,刘国买.项目风险分析中的软系统方法[J].职业圈:现代软科学,2006(2):82-84. [8]孙昌爱,金茂忠,刘超.软件体系结构研究综述[J].软件学报,2002,13(7):1228-1237. [9]李坤.面向领域的软件体系结构复用与演化[D].武汉:华中科技大学,2007. |
[1] | 蒋慧敏, 蒋哲远. 企业云服务体系结构的参考模型与开发方法 Reference Model and Development Methodology for Enterprise Cloud Service Architecture 计算机科学, 2021, 48(2): 13-22. https://doi.org/10.11896/jsjkx.200300044 |
[2] | 钟林辉, 扶丽娟, 叶海涛, 齐杰, 徐静. 软件演化历史的逆向工程生成方法研究 Study on Reverse Engineering Generation Method of Software Evolution History 计算机科学, 2020, 47(11A): 549-556. https://doi.org/10.11896/jsjkx.200200067 |
[3] | 倪友聪,李松,叶鹏,杜欣. 基于随机搜索规则的软件体系结构层性能演化优化方法 Random Search Rule Based Performance Evolutionary Optimization Method at Software Architecture Level 计算机科学, 2017, 44(11): 156-163. https://doi.org/10.11896/j.issn.1002-137X.2017.11.023 |
[4] | 王珣,王轶辰. 软件系统故障传播模型研究进展 Research Progress on Error Propagation Model in Software System 计算机科学, 2016, 43(6): 1-9. https://doi.org/10.11896/j.issn.1002-137X.2016.06.001 |
[5] | 谢仲文,明利,林英,秦江龙,莫启,李彤. 基于Petri网的软件动态演化的一致性分析 Consistency Analysis of Software Dynamic Evolution Based on Petri Net 计算机科学, 2016, 43(11): 234-241. https://doi.org/10.11896/j.issn.1002-137X.2016.11.046 |
[6] | 苏世雄,齐金平. 一种自适应软件体系结构框架模型的建立 Adaptive Software Architecture Framework Model 计算机科学, 2015, 42(Z11): 486-489. |
[7] | 陈向东. 动态自适应软件体系结构重配置研究 Research on Architecture Reconfiguration of Dynamic Self-adaptive Software 计算机科学, 2015, 42(6): 185-188. https://doi.org/10.11896/j.issn.1002-137X.2015.06.040 |
[8] | 杜欣,汪春燕,倪友聪,叶 鹏,肖如良. 基于规则的软件体系结构层性能优化模型 Rule-based Performance Optimization Model at Software Architecture Level 计算机科学, 2015, 42(10): 189-192. |
[9] | 谢仲文,李晓燕,李彤,代飞,于倩,张璇. 一种将需求模型转换为软件体系结构模型的方法 Approach of Transformation from Requirements Models to Software Architecture Models 计算机科学, 2014, 41(5): 196-203. https://doi.org/10.11896/j.issn.1002-137X.2014.05.041 |
[10] | 曹流,曹春. 一种基于OCL的体系结构一致性验证环境 Validation Environment of Software Architecture Based on OCL 计算机科学, 2012, 39(Z11): 409-414. |
[11] | 岳 洋,曾广平. SMC/ADL:一种层级式构件系统的体系结构描述语言 SMC/ADL:An Architecture Description Language for Hierarchical Component-based System 计算机科学, 2012, 39(7): 127-131. |
[12] | 徐显亮,张凤鸣,褚文奎. 一种以安全性为中心的IMA软件体系结构设计方法 Safety-centered Architecture Design Method for IMA Software 计算机科学, 2012, 39(3): 128-130. |
[13] | 覃杨森,董云卫. 基于模态的嵌入式软件动态重构技术研究 Research on Embedded Software Dynamic Reconfigurable Technology Based on Mode 计算机科学, 2012, 39(2): 179-182. |
[14] | 倪友聪 叶鹏 杜欣 肖如良 张琳琳. 软件体系结构层切点指示器的形式化描述方法 Formal Description Approach for Pointcut Designator at Software Architecture Level 计算机科学, 2012, 39(1): 124-129. |
[15] | 任洪敏,刘晋. 基于π演算的软件体系结构一致性分析研究 Research on Software Architecture Consistency Analysis Based on π Calculus 计算机科学, 2011, 38(4): 196-198. |
|