大型软件研发项目安全性风险定量分析理论模型 被引量：3

1

作者 王长峰 王化兰 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 2009年第S2期2103-2107,共5页

为了解决大型软件研发项目安全性风险概率问题,以软件编码阶段中的质量风险类的文档质量风险因素为实际案例,研究和分析了大型软件工程项目复杂系统的风险特征。模糊故障树是由模糊数学和模糊集合理论综合集成的定量分析方法,首先计算... 为了解决大型软件研发项目安全性风险概率问题,以软件编码阶段中的质量风险类的文档质量风险因素为实际案例,研究和分析了大型软件工程项目复杂系统的风险特征。模糊故障树是由模糊数学和模糊集合理论综合集成的定量分析方法,首先计算顶事件的概率和底事件概率重要度,然后根据顶事件发生的概率重要度,确定顶事件对应的薄弱环节,最终为降低顶事件发生概率提供有效的改进途径。研究案例采用该定量模型,以文件破坏重大风险作为故障树顶事件,得出其概率和底事件概率重要度,找出了引起安全问题的存储风险,从而有效地保证软件开发过程的安全可靠性。因此,该定量方法能够有效地控制大型软件研发项目的安全性问题,不仅有效而且可行。 展开更多

关键词 大型应用软件 软件安全性 风险分析 理论模型

原文传递

基于方法切片及入口依赖的回归测试研究 被引量：2

2

作者 杜章华 李建华 +1 位作者 胡江明 程晓菊 《计算机应用》 CSCD 北大核心 2010年第6期1651-1654,共4页

为了提高大型软件回归测试效率,将程序切片思想应用于回归测试用例选择过程,提出了方法切片及入口依赖的概念。切片算法MethodSlice以方法为基本单元进行切片,提取软件变化影响点,仅选择那些受源程序修改部分影响的测试用例进行回归测... 为了提高大型软件回归测试效率,将程序切片思想应用于回归测试用例选择过程,提出了方法切片及入口依赖的概念。切片算法MethodSlice以方法为基本单元进行切片,提取软件变化影响点,仅选择那些受源程序修改部分影响的测试用例进行回归测试。实验结果表明:与传统的程序切片相比,方法切片更易用于大型软件的回归测试过程中,其实现简单,不易出错,在一定程度上提高了软件回归测试效率。 展开更多

关键词 管理信息系统 依赖图 测试效率 测试用例选择 大型软件

下载PDF 职称材料

大型软件共享应用中的运行负载模型

3

作者 刘茂诚 《油气地球物理》 2014年第1期50-53,共4页

以矩阵为数学模型,对大型软件系统(简称"系统")应用中的访问和系统运行负载进行量化建模。通过建立用户访问和系统负载之间的关系,给出访问密度、负载因子、负载密度的定义,构建访问与负载模型,并以此为理论依据,量化系统运... 以矩阵为数学模型,对大型软件系统(简称"系统")应用中的访问和系统运行负载进行量化建模。通过建立用户访问和系统负载之间的关系,给出访问密度、负载因子、负载密度的定义,构建访问与负载模型,并以此为理论依据,量化系统运行参数,为系统性能评估与资源优化配置提供依据。实际运行环境测试验证了本文研究的可行性与正确性。 展开更多

关键词 大型软件 应用共享 运行负载 量化模型

下载PDF 职称材料

一种自动生成软件测试用例的新方法 被引量：7

4

作者 董昕 王杰 《计算机应用与软件》 2017年第10期46-50,107,共6页

泛欧集群通信系统是一种为无线用户提供语音和数据服务的公共安全的大型集群通信系统。作为其核心组成部分,区域控制器在广泛区域内提供无线通信和电话互连互通的呼叫处理服务,其自身也是一个大型软件系统。提出区域控制器软件基于Pytho... 泛欧集群通信系统是一种为无线用户提供语音和数据服务的公共安全的大型集群通信系统。作为其核心组成部分,区域控制器在广泛区域内提供无线通信和电话互连互通的呼叫处理服务,其自身也是一个大型软件系统。提出区域控制器软件基于Python方法的软件自动化测试用例生成一种创造性方法。该方法不仅能自动创建测试用例,而且支持将创建的测试用例批量上传到存储器及支持批量运行。测试实践证明,该方法可以大大减少软件测试人员的人工干预,而且较大程度地提高测试效率。设计实现了最大化脚本重用和最小化测试脚本维护修改成本,值得在大型软件系统的大批量自动化测试环境中推广和部署。 展开更多

关键词 大型软件系统 软件自动化测试 测试用例 Python方法 重用

下载PDF 职称材料

Ada语言的发展 被引量：1

5

作者 吴迪 徐宝文 《计算机科学》 CSCD 北大核心 2014年第1期1-15,38,共16页

Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好... Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的发展产生了重要影响。Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核心软件开发中发挥着重要作用。诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用Ada语言研制开发。迄今为止,国际标准组织先后确立过Ada 83,Ada 95,Ada 2005,Ada 2012等4个语言标准,新标准在旧标准的基础上均保持了良好的兼容性。从语言机制、应用、影响力等方面对Ada语言的发展进行全面的介绍和分析。 展开更多

关键词 ADA 程序设计语言 强类型机制 程序包 分别编译 异常处理 类属单元 面向对象程序设计 并发程序设计 契约式程序设计 大型软件开发

下载PDF 职称材料

组件化和集成化车间生产管理系统的研究与实现 被引量：27

6

作者 王军强 孙树栋 +2 位作者 司书宾 褚崴 于晓义 《计算机集成制造系统》 EI CSCD 北大核心 2006年第2期231-239,共9页

在对车间生产管理调查研究的基础上,整合、优化了车间生产管理的业务流程;分析了车间生产管理的功能划分;讨论了车间生产管理的内部集成和外部集成;采用组件化的软件开发方法,给出了车间生产管理的组件层次结构;讨论了大粒度组件的划分... 在对车间生产管理调查研究的基础上,整合、优化了车间生产管理的业务流程;分析了车间生产管理的功能划分;讨论了车间生产管理的内部集成和外部集成;采用组件化的软件开发方法,给出了车间生产管理的组件层次结构;讨论了大粒度组件的划分及重用实现。所开发的车间生产管理系统已在7家企业投入应用,效果显著,说明车间生产管理整体方案能满足企业的个性化需求,具有可行性和可重构性。 展开更多

关键词 生产管理与控制 集成 组件 大粒度重用 软件体系结构 虚拟数据库

下载PDF 职称材料

分布构件模型技术比较研究 被引量：15

7

作者 王映辉 《计算机应用研究》 CSCD 北大核心 2003年第7期3-9,共7页

目前的构件模型主要包括CORBA CCM,EJB和COM/DCOM/COM+三大类。它是基于Web的应用程序开发的核心技术。对这三类构件模型技术的工作机理进行了较详尽的描述,同时对它们之间的关系和优缺点进行了比较研究;最后指出,COM+是开发基于Window... 目前的构件模型主要包括CORBA CCM,EJB和COM/DCOM/COM+三大类。它是基于Web的应用程序开发的核心技术。对这三类构件模型技术的工作机理进行了较详尽的描述,同时对它们之间的关系和优缺点进行了比较研究;最后指出,COM+是开发基于Windows平台应用的有效技术,而CORBA和EJB技术的结合是开发完全与平台无关的Web应用的最佳技术。 展开更多

关键词 WEB应用程序 构件模式 客户/服务器结构 大规模软件

下载PDF 职称材料

基于组件的可集成车间生产BOM管理系统 被引量：11

8

作者 王军强 孙树栋 +1 位作者 韩光臣 孙强 《计算机集成制造系统》 EI CSCD 北大核心 2006年第4期609-615,共7页

在详细调研车间生产物料清单的基础上,给出了车间生产物料清单的功能划分;结合全新的物料清单数据组织方式,讨论了车间生产物料清单的信息模型,分析了车间生产物料清单管理系统与车间生产管理其他子系统的集成,以及不同形式物料清单的集... 在详细调研车间生产物料清单的基础上,给出了车间生产物料清单的功能划分;结合全新的物料清单数据组织方式,讨论了车间生产物料清单的信息模型,分析了车间生产物料清单管理系统与车间生产管理其他子系统的集成,以及不同形式物料清单的集成;选取了组件技术,进行车间生产物料清单管理系统的开发,给出了车间生产物料清单管理的组件层次结构,讨论了车间生产物料清单大粒度组件的划分及重用实现。所开发的车间生产物料清单管理系统已成功集成应用到3家企业的制造车间,效果显著,说明了车间生产物料清单管理系统具有可行性和可重构性。 展开更多

关键词 物料清单 集成 组件 大粒度重用 虚拟数据库

下载PDF 职称材料

管理信息系统权限控制的组件化研究与实现 被引量：8

9

作者 王军强 杨宏安 +1 位作者 韩光臣 孙树栋 《计算机工程与应用》 CSCD 北大核心 2005年第5期173-175,203,共4页

文章提出了适用于管理信息系统()的权限控制策略——用户/MIS—角色/功能权限三级权限控制机制,讨论了权限控制的功能,分析了权限控制的组件划分,实现了基于组件的MIS权限控制系统。考虑到权限控制的通用性和重用性,把权限控制系统封装... 文章提出了适用于管理信息系统()的权限控制策略——用户/MIS—角色/功能权限三级权限控制机制,讨论了权限控制的功能,分析了权限控制的组件划分,实现了基于组件的MIS权限控制系统。考虑到权限控制的通用性和重用性,把权限控制系统封装为大粒度组件直接供其它MIS系统组装、使用,提高了开发效率,降低了维护成本。实际应用表明,基于用户/角色/功能权限策略的组件化权限控制系统方便、灵活、直观地实现了MIS的权限控制。 展开更多

关键词 大粒度重用 组件 权限控制 功能权限 角色

下载PDF 职称材料

营商法治环境的大数据监测、评价与剖析--基于江西11个设区市的数据 被引量：10

10

作者 谢红星 《兰州学刊》 CSSCI 2021年第1期106-122,共17页

运用大数据技术,借助计算机硬件和计算法则技术的提升,通过构建营商法治环境评价体系、设置爬虫关键词、圈定数据来源网站、运行复合算法,初步开发出对江西省11个设区市营商法治环境进行数据爬梳、监测和运算的营商法治大数据系统。经过... 运用大数据技术,借助计算机硬件和计算法则技术的提升,通过构建营商法治环境评价体系、设置爬虫关键词、圈定数据来源网站、运行复合算法,初步开发出对江西省11个设区市营商法治环境进行数据爬梳、监测和运算的营商法治大数据系统。经过4个月的运行,得出江西11个设区市每月的各级指标数据和营商法治指数。通过对营商法治指数的解读,证明营商法治环境与地区生产总值、实际利用外资之间呈现出一定的正相关;营商法治环境各大板块中,司法环境表现最为出色。大数据系统中各级指标的具体得分从侧面表明,优化营商环境固然需要政府的积极主动和有所作为,但更需要公权力保持谦抑和规范行使。不宜过分高估现阶段中国的营商法治环境,优化营商环境是一个漫长而且需要付出艰苦努力的过程。 展开更多

关键词 营商法治环境 大数据系统 营商法治指数

下载PDF 职称材料

使用Visual C++开发大型应用软件系统的体会与探讨 被引量：4

11

作者 贾晓亮 辛菁 +2 位作者 朱名铨 孔宪光 张振明 《计算机工程与应用》 CSCD 北大核心 2002年第20期126-128,共3页

文章简述了Visual　C++开发环境,并对用其进行应用开发的特点进行了分析。重点讲述了用Visual C++进行大型应用软件开发时在系统分析、程序编码、项目组织等方面的一些特点、体会与经验。

关键词 VISUALC++ 软件开发 大型应用软件系统 系统分析 程序编码 项目组织

下载PDF 职称材料

面向民用飞机的复杂航电系统软件研制与管理方法 被引量：2

12

作者 尹伟 韩光辉 +2 位作者 肖前远 缪万胜 康介祥 《航空工程进展》 CSCD 2023年第4期158-167,共10页

现如今,民用飞机航电系统的功能日趋完备、结构日趋复杂、费用日趋昂贵、研制周期日趋紧张,亟需解决软件研制过程中的需求不准确、架构设计过于耦合、过程产物难以追踪等问题。基于对数字化研制、流程研制、持续集成、云开发环境等先进... 现如今,民用飞机航电系统的功能日趋完备、结构日趋复杂、费用日趋昂贵、研制周期日趋紧张,亟需解决软件研制过程中的需求不准确、架构设计过于耦合、过程产物难以追踪等问题。基于对数字化研制、流程研制、持续集成、云开发环境等先进技术与方法的研究,提出面向复杂民用飞机航电系统软件研制问题的解决方法,即构建基于模型的需求开发方法、开放式航电软件架构、民用飞机软件研制过程体系,搭建基于Linked Data的集成开发环境和软件持续集成与验证环境,在航电系统软件研制过程中进行应用。结果表明:本文提出的面向民用飞机的复杂航电系统软件研制与管理方法是可行的,且该方法已在C919民用飞机显示系统研制过程中进行了应用,提升了软件研制效率和质量。 展开更多

关键词 航电系统软件 大规模软件 软件架构 软件工程开发环境

下载PDF 职称材料

甘特图在大型软件研发项目管理中的应用 被引量：7

13

作者 王硕 曹莉敏 +3 位作者 尚民强 方云峰 张巍毅 张铁强 《石油地球物理勘探》 EI CSCD 北大核心 2018年第A01期310-315,19-20,共7页

在大型软件研发项目的管理过程中,团队中的任务依赖和协调问题是影响项目成功的关键,需要对任务进行合理的分类组织、准确估算、有序拆分、填报审批和变更控制。甘特图是一种计划管理工具,可用于管理项目中的任务及其依赖关系。东方地... 在大型软件研发项目的管理过程中,团队中的任务依赖和协调问题是影响项目成功的关键,需要对任务进行合理的分类组织、准确估算、有序拆分、填报审批和变更控制。甘特图是一种计划管理工具,可用于管理项目中的任务及其依赖关系。东方地球物理公司物探技术研究中心将甘特图用在大型找油找气软件项目的研发管理中,摸索总结甘特图框架、各类任务占比、定期填报审批等实践经验,指导项目取得成功,使甘特图成为项目长的管理利器。 展开更多

关键词 甘特图 大型软件 研发管理 项目管理

下载PDF 职称材料

适于大运行模式的变电站辅助控制系统集成设计 被引量：7

14

作者 魏勇 杨东海 +2 位作者 刘星 苏陆军 马晨曦 《电气技术》 2015年第1期60-63,共4页

本文结合国家电网公司大运行模式下对变电站辅助控制系统的要求,进行了适用于大运行模式下无人值班、远方集中监视及运维特点的变电站辅助控制系统,智能一体化功能设计和辅助控制系统软件设计,定义了系统的框架结构,重点对分布式大系统... 本文结合国家电网公司大运行模式下对变电站辅助控制系统的要求,进行了适用于大运行模式下无人值班、远方集中监视及运维特点的变电站辅助控制系统,智能一体化功能设计和辅助控制系统软件设计,定义了系统的框架结构,重点对分布式大系统的网省级软件设计技术、灵活逻辑联动技术、智能视频分析技术、可靠性设计技术等几项关键设计技术进行了详细的阐述,本系统已在多个实际的变电站监控系统工程中得到成功应用。 展开更多

关键词 变电站 辅助控制系统 大型系统软件设计 逻辑联动 视频分析 可靠性设计

下载PDF 职称材料

基于Web的应用程序构造模式比较研究 被引量：5

15

作者 王映辉 《计算机科学》 CSCD 北大核心 2003年第7期114-116,138,共4页

Application development based Web is main-direction at present for application software development,such as enterprise management information system and electronic business software. It is based on client and server.T... Application development based Web is main-direction at present for application software development,such as enterprise management information system and electronic business software. It is based on client and server.There is three pattern of CGI and special API and Java Servlet for Server application development, and three patternof Plug-in,Java Applet and ActiveX for client application development. Those pattern's theory, virtue and shortcutare Compared and researched in this paper. 展开更多

关键词 INTERNET 应用程序 WEB 服务器 构造模式

下载PDF 职称材料

大跨混合梁连续刚构桥设计要点研究 被引量：6

16

作者 甄玉杰 王鹏洲 《公路交通技术》 2021年第2期53-57,70,共6页

为解决大跨混合梁刚构桥总体设计的合理性、静动力作用下结构的安全性、钢-混结合段的传力性能等关键技术问题,采用大型有限元软件对主跨300 m混合梁刚构桥进行静动力计算分析。结果表明:在静动力荷载作用下,各项力学性能满足规范要求;... 为解决大跨混合梁刚构桥总体设计的合理性、静动力作用下结构的安全性、钢-混结合段的传力性能等关键技术问题,采用大型有限元软件对主跨300 m混合梁刚构桥进行静动力计算分析。结果表明:在静动力荷载作用下,各项力学性能满足规范要求;结合段采用有格室的后承压板形式,刚度过渡良好,在荷载作用下有一定的承载能力安全储备,各项结果表明该桥总体设计合理。 展开更多

关键词 混合梁 连续刚构 钢-混结合段 大型有限元软件 静动力计算分析

下载PDF 职称材料

大型工程应用软件教学与人才培养新模式 被引量：2

17

作者 罗明强 张祥林 +1 位作者 王景丰 崔志扬 《高等工程教育研究》 北大核心 2023年第5期60-64,98,共6页

信息化和数字化的飞速发展,对具备大型工业软件的应用能力的人才培养带来了深刻影响,高校大型工程应用软件课程教学模式创新迫在眉睫。本文以针对大型工程应用软件课程易遗忘、时间紧、缺回看、应用弱、受约束、卡脖子等问题,对标新工... 信息化和数字化的飞速发展,对具备大型工业软件的应用能力的人才培养带来了深刻影响,高校大型工程应用软件课程教学模式创新迫在眉睫。本文以针对大型工程应用软件课程易遗忘、时间紧、缺回看、应用弱、受约束、卡脖子等问题,对标新工科建设背景下“卓越工程师”对人才培养的需要,开展“1+2+2+1”的线上线下混合课程教学创新与实践,提升了学生主动学习意识、全局意识以及创新实践能力,体现了当代大学生敢想敢干、富有朝气、勇于创新的精神状态,推动形成了新工科背景下大型工程应用软件应用人才的培养新模式。 展开更多

关键词 大型工程应用软件 人才培养 教学模式 创新实践

原文传递

计算模式的演变与大规模软件构架技术 被引量：2

18

作者 王映辉 王英杰 《计算机工程与应用》 CSCD 北大核心 2003年第29期51-53,118,共4页

随着计算机技术,特别是网络技术的发展,计算模式的内涵发生了很大的变化。在分析了计算模式演变的基础上,指出了传统意义上研究开放分布式技术的缺陷;针对分布式计算模式对开放性等的进一步需求,引出了大规模软件构架的概念,并阐述了它... 随着计算机技术,特别是网络技术的发展,计算模式的内涵发生了很大的变化。在分析了计算模式演变的基础上,指出了传统意义上研究开放分布式技术的缺陷;针对分布式计算模式对开放性等的进一步需求,引出了大规模软件构架的概念,并阐述了它的内涵。在大规模软件构架技术中,对软件体系结构在较高层面上的研究显得更为迫切,相对于开放分布式技术,其包含着更加丰富的内容,这对目前软件体系结构的研究和软件工程过程的研究等提出了更高的要求。最后提出,以大规模软件构架技术作为支撑,融合软件Agent技术将是未来软件开发的主流模式。 展开更多

关键词 计算模式 大规模软件 软件体系结构 软件AGENT

下载PDF 职称材料

一种高速可靠的大体量星载软件重构方案设计

19

作者 代雅晴 韩晨阳 +2 位作者 王泽波 赵欣 马宏业 《遥测遥控》 2023年第6期19-28,共10页

随着星载软件的复杂度与体量不断增加,对软件在轨重构并进行更新维护的功能愈发重要。当软件越来越大时,使用低速通道进行重构的方案在时间上难以满足在一个测控弧段内重构软件的需求。同时,大软件使得数据存储空间更为紧缺,无法使用三... 随着星载软件的复杂度与体量不断增加,对软件在轨重构并进行更新维护的功能愈发重要。当软件越来越大时,使用低速通道进行重构的方案在时间上难以满足在一个测控弧段内重构软件的需求。同时,大软件使得数据存储空间更为紧缺,无法使用三模冗余等传统方法保证程序数据的可靠安全。因此,本文提出了一种使用高速通道的可靠的大体量星载软件重构方案。以固化在PROM(可编程只读存储器)上的引导监控程序作为根本保障,构建一个存于MRAM(磁随机存储器)上专门用于高速重构软件的安全模式程序作为方案核心,并给星载软件加入自重构功能作为最常用的重构方式。通过地面测试与在轨实验表明:该方案能够保证大体量软件重构功能的高速度与高可靠性,让星载软件的更新与维护更加安全与便捷。 展开更多

关键词 在轨重构 软件升级 高速通道 大体量软件 星载软件

下载PDF 职称材料

能力培养模式下的模块化教学——航空工程大型通用软件与应用课程改革与建设 被引量：4

20

作者 贾玉红 《中国现代教育装备》 2012年第1期59-61,共3页

随着数字化技术在航空领域的广泛应用,熟练使用各种大型通用软件已成为大学毕业生的必备素质。航空工程大型通用软件与应用课程通过采用模块化教学方式,结合工程实践,在理论教学的基础上注重思维方法与技能的训练,并通过采用任务驱动式... 随着数字化技术在航空领域的广泛应用,熟练使用各种大型通用软件已成为大学毕业生的必备素质。航空工程大型通用软件与应用课程通过采用模块化教学方式,结合工程实践,在理论教学的基础上注重思维方法与技能的训练,并通过采用任务驱动式的考核方式,锻炼了学生分析问题和解决实际问题的能力,提升了学生的综合素质。 展开更多

关键词 模块化教学 任务驱动式教学 大型通用软件

下载PDF 职称材料