期刊文献+
共找到2,452篇文章
< 1 2 123 >
每页显示 20 50 100
NHPP-based software reliability model considering testing effort and multivariate fault detection rate 被引量:4
1
作者 Jie Zhang Yang Lu +1 位作者 Shu Yang Chong Xu 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2016年第1期260-270,共11页
In recent decades,many software reliability growth models(SRGMs) have been proposed for the engineers and testers in measuring the software reliability precisely.Most of them is established based on the non-homogene... In recent decades,many software reliability growth models(SRGMs) have been proposed for the engineers and testers in measuring the software reliability precisely.Most of them is established based on the non-homogeneous Poisson process(NHPP),and it is proved that the prediction accuracy of such models could be improved by adding the describing of characterization of testing effort.However,some research work indicates that the fault detection rate(FDR) is another key factor affects final software quality.Most early NHPPbased models deal with the FDR as constant or piecewise function,which does not fit the different testing stages well.Thus,this paper first incorporates a multivariate function of FDR,which is bathtub-shaped,into the NHPP-based SRGMs considering testing effort in order to further improve performance.A new model framework is proposed,and a stepwise method is used to apply the framework with real data sets to find the optimal model.Experimental studies show that the obtained new model can provide better performance of fitting and prediction compared with other traditional SRGMs. 展开更多
关键词 software reliability software reliability growth mo del(SRGM) testing effort fault detection rate(FDR).
在线阅读 下载PDF
Software engineering training system design research
2
作者 Qun NIU 《机床与液压》 北大核心 2017年第18期160-169,共10页
With the development of computer science,the software technology changes with each passing day,itput forward higher and higher technical requirements for the software developers.Aim at each link in the process of deve... With the development of computer science,the software technology changes with each passing day,itput forward higher and higher technical requirements for the software developers.Aim at each link in the process of development,the present paper put forward a kind of software engineering personnel training system,the system can build a unified learning,management and evaluation system,to avoid the disadvantages of the traditional single system structure;the training process is more flexible,and it couldreduce the complexity of the artificial training and cause it to become more practical value. 展开更多
关键词 software engineering Development of training Platform design
在线阅读 下载PDF
Incorporating S-shaped testing-effort functions into NHPP software reliability model with imperfect debugging 被引量:7
3
作者 Qiuying Li Haifeng Li Minyan Lu 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2015年第1期190-207,共18页
Testing-effort(TE) and imperfect debugging(ID) in the reliability modeling process may further improve the fitting and prediction results of software reliability growth models(SRGMs). For describing the S-shaped... Testing-effort(TE) and imperfect debugging(ID) in the reliability modeling process may further improve the fitting and prediction results of software reliability growth models(SRGMs). For describing the S-shaped varying trend of TE increasing rate more accurately, first, two S-shaped testing-effort functions(TEFs), i.e.,delayed S-shaped TEF(DS-TEF) and inflected S-shaped TEF(IS-TEF), are proposed. Then these two TEFs are incorporated into various types(exponential-type, delayed S-shaped and inflected S-shaped) of non-homogeneous Poisson process(NHPP)SRGMs with two forms of ID respectively for obtaining a series of new NHPP SRGMs which consider S-shaped TEFs as well as ID. Finally these new SRGMs and several comparison NHPP SRGMs are applied into four real failure data-sets respectively for investigating the fitting and prediction power of these new SRGMs.The experimental results show that:(i) the proposed IS-TEF is more suitable and flexible for describing the consumption of TE than the previous TEFs;(ii) incorporating TEFs into the inflected S-shaped NHPP SRGM may be more effective and appropriate compared with the exponential-type and the delayed S-shaped NHPP SRGMs;(iii) the inflected S-shaped NHPP SRGM considering both IS-TEF and ID yields the most accurate fitting and prediction results than the other comparison NHPP SRGMs. 展开更多
关键词 testing-effort(TE) imperfect debugging(ID) software reliability growth models(SRGMs) S-shaped non-homogeneous Poisson process(NHPP)
在线阅读 下载PDF
Grey-based approach for estimating software reliability under nonhomogeneous Poisson process 被引量:2
4
作者 LIU Xiaomei XIE Naiming 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2022年第2期360-369,共10页
Due to the randomness and time dependence of the factors affecting software reliability, most software reliability models are treated as stochastic processes, and the non-homogeneous Poisson process(NHPP) is the most ... Due to the randomness and time dependence of the factors affecting software reliability, most software reliability models are treated as stochastic processes, and the non-homogeneous Poisson process(NHPP) is the most used one.However, the failure behavior of software does not follow the NHPP in a statistically rigorous manner, and the pure random method might be not enough to describe the software failure behavior. To solve these problems, this paper proposes a new integrated approach that combines stochastic process and grey system theory to describe the failure behavior of software. A grey NHPP software reliability model is put forward in a discrete form, and a grey-based approach for estimating software reliability under the NHPP is proposed as a nonlinear multi-objective programming problem. Finally, four grey NHPP software reliability models are applied to four real datasets, the dynamic R-square and predictive relative error are calculated. Comparing with the original single NHPP software reliability model, it is found that the modeling using the integrated approach has a higher prediction accuracy of software reliability. Therefore, there is the characteristics of grey uncertain information in the NHPP software reliability models, and exploiting the latent grey uncertain information might lead to more accurate software reliability estimation. 展开更多
关键词 software reliability model stochastic process uncertainty system non-homogeneous Poisson process grey system theory
在线阅读 下载PDF
Web software reliability modeling with random impulsive shocks 被引量:1
5
作者 Jianfeng Yang Ming Zhao Wensheng Hu 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2014年第2期349-356,共8页
As the web-server based business is rapidly developed and popularized, how to evaluate and improve the reliability of web-servers has been extremely important. Although a large num- ber of software reliability growth ... As the web-server based business is rapidly developed and popularized, how to evaluate and improve the reliability of web-servers has been extremely important. Although a large num- ber of software reliability growth models (SRGMs), including those combined with multiple change-points (CPs), have been available, these conventional SRGMs cannot be directly applied to web soft- ware reliability analysis because of the complex web operational profile. To characterize the web operational profile precisely, it should be realized that the workload of a web server is normally non-homogeneous and often observed with the pattern of random impulsive shocks. A web software reliability model with random im- pulsive shocks and its statistical analysis method are developed. In the proposed model, the web server workload is characterized by a geometric Brownian motion process. Based on a real data set from IIS server logs of ICRMS website (www.icrms.cn), the proposed model is demonstrated to be powerful for estimating impulsive shocks and web software reliability. 展开更多
关键词 web software software reliability growth model(SRGM) change-point (CP) impulsive shocks geometric Brown-ian motion.
在线阅读 下载PDF
Analysis on Some of Software Reliability Models
6
作者 Song Xiaoqiu Software Evaluation and Test Center of China Aerospace Corporation, Beijing 100854, P. R. China 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2001年第1期88-96,共9页
Software reliability and maintainability evaluation tool (SRMET 3.0) is introducted in detail in this paper, which was developed by Software Evaluation and Test Center of China Aerospace Mechanical Corporation. SRMET ... Software reliability and maintainability evaluation tool (SRMET 3.0) is introducted in detail in this paper, which was developed by Software Evaluation and Test Center of China Aerospace Mechanical Corporation. SRMET 3.0 is supported by seven software reliability models and four software maintainability models. Numerical characteristics for all those models are deeply studied in this paper, and corresponding numerical algorithms for each model are also given in the paper. 展开更多
关键词 software reliability EVALUATION MODEL
在线阅读 下载PDF
Neural network based approach for time to crash prediction to cope with software aging
7
作者 Moona Yakhchi Javier Alonso +2 位作者 Mahdi Fazeli Amir Akhavan Bitaraf Ahmad Patooghy 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2015年第2期407-414,共8页
Recent studies have shown that software is one of the main reasons for computer systems unavailability. A growing ac- cumulation of software errors with time causes a phenomenon called software aging. This phenomenon ... Recent studies have shown that software is one of the main reasons for computer systems unavailability. A growing ac- cumulation of software errors with time causes a phenomenon called software aging. This phenomenon can result in system per- formance degradation and eventually system hang/crash. To cope with software aging, software rejuvenation has been proposed. Software rejuvenation is a proactive technique which leads to re- moving the accumulated software errors by stopping the system, cleaning up its internal state, and resuming its normal operation. One of the main challenges of software rejuvenation is accurately predicting the time to crash due to aging factors such as me- mory leaks. In this paper, different machine learning techniques are compared to accurately predict the software time to crash un- der different aging scenarios. Finally, by comparing the accuracy of different techniques, it can be concluded that the multilayer per- ceptron neural network has the highest prediction accuracy among all techniques studied. 展开更多
关键词 software reliability software rejuvenation machine learning
在线阅读 下载PDF
Software Architecture for Modeling and Simulation of Underwater Acoustic Information Systems
8
作者 王希敏 蔡志明 《Defence Technology(防务技术)》 SCIE EI CAS 2009年第1期52-59,共8页
The simulation of underwater acoustic information flow is an important way to research sonar performance and its engagement effectiveness in the ocean environment.This paper analyzes the significance of modeling an op... The simulation of underwater acoustic information flow is an important way to research sonar performance and its engagement effectiveness in the ocean environment.This paper analyzes the significance of modeling an open and sophisticated simulation software architecture by object-oriented method,and introduces the modeling processes and expression method of simulation architecture.According to the requirements of simulation system and the underwater acoustic information flow,the logical architecture of simulation software system is modeled by the object-oriented method.A use-case view captured the system requirements.The logical view shows the logical architecture of software system.The simulation software is decomposed into the loose coupling constituent parts by layering and partitioning the packages for maintainability.The design patterns enabled the simulation software to have good expansibility and reusability.The simulation system involving multi-targets and multi-sonar is developed based on the architecture model.Practices show that the model meets the needs for simulating an open and sophisticated system. 展开更多
关键词 体系结构建模 软件体系结构 仿真系统 信息系统 水下 逻辑结构 面向对象 软件系统
在线阅读 下载PDF
基于分阶段增长测试信息的软件可靠性贝叶斯验证方案
9
作者 王玉琢 刘海涛 +2 位作者 袁昊劼 翟亚利 张志华 《计算机科学》 北大核心 2025年第9期360-367,共8页
针对现有贝叶斯方案的先验分布确定方法对软件可靠性分阶段增长测试信息加工偏保守、假设条件偏理想的问题,利用正则不完全贝塔函数与二项分布累积和之间的恒等关系式,给出增长测试最后一阶段软件成功率的边缘概率分布模型。在此基础上... 针对现有贝叶斯方案的先验分布确定方法对软件可靠性分阶段增长测试信息加工偏保守、假设条件偏理想的问题,利用正则不完全贝塔函数与二项分布累积和之间的恒等关系式,给出增长测试最后一阶段软件成功率的边缘概率分布模型。在此基础上,提出了顺序约束条件下的软件成功率先验分布确定方法,并从保护使用方利益的角度设计了基于平均后验风险的软件可靠性贝叶斯验证方案。经实例和仿真验证,所提先验分布确定方法对软件可靠性分阶段增长测试信息的加工更合理,设计的贝叶斯方案能在保证方案可信度的前提下明显减少可靠性验证测试用例数量,减轻测试负担,具有一定的经济价值。 展开更多
关键词 软件可靠性验证 可靠性增长测试 软件成功率
在线阅读 下载PDF
基于细粒度代码表示和特征融合的即时软件缺陷预测方法
10
作者 朱晓燕 王文格 +1 位作者 王嘉寅 张选平 《计算机科学》 北大核心 2025年第1期242-249,共8页
即时软件缺陷预测指在软件更改初次提交之际预测该更改引入缺陷的倾向。此类预测针对单一程序变更,而非在粗粒度上进行。由于其即时性和可追溯性,该技术已在持续测试等领域得到广泛应用。目前的研究中,提取变更代码表示的方法粒度较粗,... 即时软件缺陷预测指在软件更改初次提交之际预测该更改引入缺陷的倾向。此类预测针对单一程序变更,而非在粗粒度上进行。由于其即时性和可追溯性,该技术已在持续测试等领域得到广泛应用。目前的研究中,提取变更代码表示的方法粒度较粗,仅标出了变更行,而没有进行细粒度的标记。此外,现有的使用提交内容进行缺陷预测的方法,仅仅是把提交消息与变更代码的特征进行简单拼接,缺失了在特征空间上的深度对齐,这使得在提交消息质量参差不齐的情况下,会出现预测结果易受噪声干扰的情形,并且现有方法也未将领域专家设计的人工特征以及变更内容中的语义语法信息综合起来进行预测。为了解决上述问题,提出了一种基于细粒度代码表征和特征融合的即时软件缺陷预测方法。通过引入新的变更嵌入计算方法来在细粒度上表示变更代码。同时,引入特征对齐模块,降低提交消息中噪声对方法性能的影响。此外,使用神经网络从人工设计的特征中学习专业知识,充分利用现有特征进行预测。实验结果表明,相较于现有方法,该方法在3个性能指标上均有显著提升。 展开更多
关键词 即时软件缺陷预测 特征融合 软件工程 深度学习 代码表示
在线阅读 下载PDF
基于主动学习PC-Kriging模型的复杂结构可靠性分析方法
11
作者 陈吉清 张钰奇 +2 位作者 兰凤崇 周云郊 王俊峰 《汽车工程》 北大核心 2025年第2期383-390,共8页
对于复杂结构可靠性设计中多维设计变量和隐式非线性响应的问题,构造准确的代理模型是一种有效的解决方法。然而,基于预设样本量的试验设计来构建代理模型,可能面临效率低下或准确性不足的挑战。为此,提出一种主动学习PC-Kriging模型的... 对于复杂结构可靠性设计中多维设计变量和隐式非线性响应的问题,构造准确的代理模型是一种有效的解决方法。然而,基于预设样本量的试验设计来构建代理模型,可能面临效率低下或准确性不足的挑战。为此,提出一种主动学习PC-Kriging模型的可靠性分析方法,结合多项式混沌展开增强全局近似精度以及Kriging捕捉局部特征的优点,利用主动学习策略,自适应地选择最佳样本点,最大程度减少训练样本量,即减少结构性能分析的计算成本,提高分析效率。进一步构建主动学习PC-Kriging模型驱动的多软件协同设计框架,对前、后处理软件进行二次开发,实现参数化建模、性能分析和后处理的无缝连接,形成一套自动化分析流程。最后,以电池包结构为例进行可靠性分析,验证本文方法的高效性和准确性。 展开更多
关键词 结构可靠性分析 主动学习 代理模型 PC-Kriging 多软件协同
在线阅读 下载PDF
软件中总故障个数相关的不完美排错可靠性模型建模机理与述评
12
作者 张策 孙智超 +2 位作者 纪可行 王金勇 王宇彬 《计算机科学》 北大核心 2025年第6期21-34,共14页
挖掘可靠性研究中,软件故障总数对测试资源分配、可靠性变动影响以及最优发布等具有重要意义,但迄今为止鲜有从故障总数的角度进行可靠性研究。针对贴近真实测试环境的不完美排错等问题,对软件中故障总数相关的可靠性增长模型进行深入... 挖掘可靠性研究中,软件故障总数对测试资源分配、可靠性变动影响以及最优发布等具有重要意义,但迄今为止鲜有从故障总数的角度进行可靠性研究。针对贴近真实测试环境的不完美排错等问题,对软件中故障总数相关的可靠性增长模型进行深入研究和系统述评。首先,对软件可靠性增长模型SRGM(Software Reliability Growth Model)进行评述,给出研究主题、本质与技术内涵,引出软件中故障总数分析。从排错的不完全角度引入不同的新故障模型视角,建立不完美排错模型,分类研究多种情况下软件中故障总数与累积检测到的故障数量二者的变动情况。然后,从排错的不完全性与引入新故障的角度,建立统一的二元一阶不完美排错微分方程组描述软件测试过程,求解得到相应的故障总数与累积检测故障数量表达式。对上述两大类情况下不完美排错模型在多个真实计算机工程系统失效数据集上进行验证,从拟合与预测角度分析不同模型的性能,进而分析软件中故障总数对可靠性的影响。结果表明,故障总数对可靠性模型具有明显影响,其自身性能能够支撑可靠性的增长与性能提升。最后,指出了下一步研究挑战与亟待解决的问题。 展开更多
关键词 可靠性 软件可靠性增长模型 可靠性建模 总故障个数 不完美排错
在线阅读 下载PDF
DeepCom-GCN:融入控制流结构信息的代码注释生成模型
13
作者 钟茂生 刘会珠 +1 位作者 匡江玲 严婷 《江西师范大学学报(自然科学版)》 北大核心 2025年第1期27-36,共10页
代码注释生成是指给定一个代码片段,通过模型自动生成一段关于代码片段功能的概括性自然语言描述.不同于自然语言,程序语言具有复杂语法和强结构性.部分研究工作只利用了源代码的序列信息或抽象语法树信息,未能充分利用源代码的逻辑结... 代码注释生成是指给定一个代码片段,通过模型自动生成一段关于代码片段功能的概括性自然语言描述.不同于自然语言,程序语言具有复杂语法和强结构性.部分研究工作只利用了源代码的序列信息或抽象语法树信息,未能充分利用源代码的逻辑结构信息.针对这一问题,该文提出一种融入程序控制流结构信息的代码注释生成方法,将源代码序列和结构信息作为单独的输入进行处理,允许模型学习代码的语义和结构.在2个公开数据集上进行验证,实验结果表明:和其他基线方法相比,DeepCom-GCN在BLEU-4、METEOR和ROUGE-L指标上的性能分别提升了2.79%、1.67%和1.21%,验证了该方法的有效性. 展开更多
关键词 代码注释生成 抽象语法树 控制流图 图卷积神经网络 软件工程 程序理解 自然语言处理
在线阅读 下载PDF
基于大语言模型的多智能体协作代码评审人推荐 被引量:2
14
作者 王路桥 周洋涛 +5 位作者 李青山 王铭康 徐子轩 崔笛 王璐 罗懿行 《软件学报》 北大核心 2025年第6期2558-2575,共18页
基于拉取请求(pull request,PR)的软件开发机制是开源软件中的重要实践.合适的代码评审人能够通过代码审查帮助贡献者及时发现PR中的潜在错误,为持续开发和集成过程提供质量保障.然而,代码变更内容的复杂性以及评审行为固有的多样性增... 基于拉取请求(pull request,PR)的软件开发机制是开源软件中的重要实践.合适的代码评审人能够通过代码审查帮助贡献者及时发现PR中的潜在错误,为持续开发和集成过程提供质量保障.然而,代码变更内容的复杂性以及评审行为固有的多样性增加了评审人推荐的难度.现有方法主要聚焦于从PR中挖掘变更代码的语义信息,或基于审查历史构建评审人画像,并通过多种静态策略组合进行推荐.这些研究受限于模型训练语料的丰富性以及交互类型的复杂性,导致推荐性能不佳.鉴于此,提出一种基于智能体间相互协作的代码评审人推荐方法.该方法利用先进的大语言模型,精确捕捉PR和评审人丰富的文本语义信息.此外,AI智能体强大的规划、协作和决策能力使其能够集成不同交互类型的信息,具有高度的灵活性和适应性.基于真实数据集进行实验分析,与基线评审人推荐方法相比,所提方法性能提升4.45%–26.04%.此外,案例研究证明,所提方法在可解释性方面表现突出,进一步验证了其在实际应用中的有效性和可靠性. 展开更多
关键词 代码评审人推荐 基于智能体的软件工程 大型语言模型 代码审查
在线阅读 下载PDF
机载软件层次化需求的形式化建模与分析 被引量:1
15
作者 王康星 胡军 +3 位作者 王立松 丁鼎 董亚炯 戴嘉磊 《南京航空航天大学学报(自然科学版)》 北大核心 2025年第1期195-204,共10页
越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchica... 越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchical variable relation model,HVRM)引入工程领域中典型的功能模块属性以及端口等概念来表达系统功能的层次化特征语义,同时也具备原有变量关系模型(Variable relation model,VRM)中基于表格形式的形式化语义,可表示包括条件型、事件型、多维度模式转换等多种类需求的语义信息。进而,基于需求的一致性完整性要求确立了VRM一致性完整性约束簇。其次,设计了一个将工程条目化需求建模为HVRM形式化需求模型的处理框架,并在一个机载软件需求工具平台(Hierarchical avionics requirement tools,HART)中进行了处理功能和需求追溯功能的实现和集成。最后采用某机型自动飞行系统中飞行模式转换软件逻辑需求进行了实例需求建模和模型分析。 展开更多
关键词 计算机软件与理论 需求工程 形式化方法 需求建模与分析 飞行控制系统
在线阅读 下载PDF
基于国产引擎的桥梁BIM正向设计及应用研究 被引量:2
16
作者 邓驷翔 柏华军 +2 位作者 夏文俊 黄亚飞 罗伟 《铁道标准设计》 北大核心 2025年第3期174-181,共8页
针对传统BIM正向设计中建模效率低、数据管理难、产品平台受限等问题,基于国产数维构件设计软件提供的GDMP图形引擎,自主研发了轨道桥梁全桥设计系统软件,为桥梁BIM正向设计提供一种新的、更加高效和精确的方法,并结合实际工程案例分析... 针对传统BIM正向设计中建模效率低、数据管理难、产品平台受限等问题,基于国产数维构件设计软件提供的GDMP图形引擎,自主研发了轨道桥梁全桥设计系统软件,为桥梁BIM正向设计提供一种新的、更加高效和精确的方法,并结合实际工程案例分析其在桥梁工程中的应用效果。使用C++编程语言对引擎接口进行自主研发及封装,提出“模型+数据”的桥梁BIM正向设计建模技术,实现了构件模板参数化生成及修改、构件实例数据管理及维护更新、方案自适应生成及更新迭代的全业务流程技术支持等功能。依托宜涪高速铁路项目,采用研发的轨道桥梁全桥设计系统软件,实现项目示范段范围桥梁的参数化建模、数据集成和可视化渲染,验证了技术的可行性及工程适用性。本文探索了国产引擎在桥梁BIM正向设计及应用中的可能性,为我国桥梁工程设计和管理提供理论支持和实践指导。 展开更多
关键词 BIM正向设计 桥梁工程 图形引擎 全桥设计系统软件 自主研发 参数化建模 集成与渲染
在线阅读 下载PDF
海量空间站任务数据的挖掘与分析系统技术研究
17
作者 邓云紫微 李盛阳 +3 位作者 刘云飞 杨波 刘安琪 刘雅楠 《载人航天》 北大核心 2025年第4期530-537,共8页
空间站长周期在轨运行将持续产生海量异构的工程任务数据,如何高效地开展大规模数据挖掘分析与利用是目前亟需解决的问题。基于层次化、组件化架构,利用微服务、容器化等云原生技术,设计并研制了工程大数据挖掘与分析系统,实现了从数据... 空间站长周期在轨运行将持续产生海量异构的工程任务数据,如何高效地开展大规模数据挖掘分析与利用是目前亟需解决的问题。基于层次化、组件化架构,利用微服务、容器化等云原生技术,设计并研制了工程大数据挖掘与分析系统,实现了从数据接入-存储-处理-计算-分析-应用等全流程服务,进一步分析了多源数据动态持续接入、海量数据高性能分布式存储、数据分析任务高并发调度以及模型自动化一键部署等关键技术问题并阐述了解决方案。工程大数据挖掘与分析系统作为载人航天工程专有云平台的核心业务系统,已通过在轨检验,有效支撑了空间站多类型科学实验载荷的运行状态预测、潜在风险预警等方面的数据分析与应用,为多源海量工程数据的综合创新应用提供了基础平台与关键技术支撑。 展开更多
关键词 空间站 系统架构 数据挖掘与分析 软件工程 大数据与人工智能
在线阅读 下载PDF
软件设计模式检测技术:现状、挑战和展望
18
作者 王雷 袁野 王国仁 《软件学报》 北大核心 2025年第6期2643-2682,共40页
设计模式检测是软件工程领域中非常重要的研究课题.国内外很多学者致力于设计模式检测问题的研究与解决,取得了丰硕的研究成果.对当前软件设计模式检测技术进行综述并展望了其前景.首先,简要介绍软件设计模式检测领域的发展历程,讨论并... 设计模式检测是软件工程领域中非常重要的研究课题.国内外很多学者致力于设计模式检测问题的研究与解决,取得了丰硕的研究成果.对当前软件设计模式检测技术进行综述并展望了其前景.首先,简要介绍软件设计模式检测领域的发展历程,讨论并总结了设计模式的检测对象和特征类型,给出了设计模式检测评估指标.然后,总结了设计模式检测技术现有的分类方法,引出了分类方法.根据设计模式检测技术发展的时间线从非机器学习设计模式检测、机器学习设计模式检测、基于预训练语言模型的设计模式检测这3类方法出发探讨了当前软件设计模式检测技术的研究现状和最新进展,并对当前成果进行了总结和比较.最后,分析了该领域存在的主要问题与挑战,指出了今后值得进一步研究的方向以及可能的解决方案.涵盖了从早期的非机器学习方法到利用机器学习技术,再到现代预训练语言模型的应用,全面系统地展现了该领域的发展历程、最新进展和未来发展前景,对于该领域今后的研究方向和思路具有指导意义. 展开更多
关键词 设计模式检测 研究综述 机器学习 预训练语言模型 软件逆向工程 软件开发方法 软件设计 软件体系结构
在线阅读 下载PDF
基于MARTE和STAMP的安全关键软件测试建模方法
19
作者 薛雯耀 王轶辰 任庆玮 《计算机科学》 北大核心 2025年第S1期843-852,共10页
基于模型的软件工程(MBSE)方法在安全关键软件(Safety-critical Software)开发和测试中的应用是当前研究的热点。然而,在建立模型时,如何完整且准确地刻画软件的安全属性仍然是一个亟待解决的问题。文中提出了一种创新性的方法,将软件... 基于模型的软件工程(MBSE)方法在安全关键软件(Safety-critical Software)开发和测试中的应用是当前研究的热点。然而,在建立模型时,如何完整且准确地刻画软件的安全属性仍然是一个亟待解决的问题。文中提出了一种创新性的方法,将软件安全性分析深度集成到软件模型构建过程中。该方法结合MARTE(实时和嵌入式系统建模与分析)建模语言和STAMP(系统理论事故模型与过程)理论,通过扩展MARTE构造型或增加标签的方式对非功能属性进行描述,并在MARTE视图层次融入STAMP控制结构模型。最终,通过STPA(系统理论过程分析)技术进行迭代建模,形成一个多视图的混合模型。STPA方法中的控制结构构建、不安全控制行为识别及致因场景分析等步骤展现出更高的分析深度和自动化潜力。案例研究表明,所提方法能够有效且清晰地展示软件系统的功能和非功能性能需求,更好地实现基于模型的软件安全特性刻画,并为测试用例的自动化生成和建模提供坚实的技术基础。 展开更多
关键词 MARTE模型 STAMP理论 STPA方法 安全关键软件 基于模型的软件工程
在线阅读 下载PDF
陆路交通工程调查软件多端协同作业关键技术研究 被引量:1
20
作者 张曦 《铁道标准设计》 北大核心 2025年第3期238-246,共9页
传统工程调查以纸质记录的现场资料采集为主,需投入大量的人力与时间资源,随着地理信息系统、航天航空遥感、低空摄影测量等新兴技术的快速发展,工程调查逐步向着内外业协同的数字化作业模式转型。为切实推进工程调查作业的数字化转型工... 传统工程调查以纸质记录的现场资料采集为主,需投入大量的人力与时间资源,随着地理信息系统、航天航空遥感、低空摄影测量等新兴技术的快速发展,工程调查逐步向着内外业协同的数字化作业模式转型。为切实推进工程调查作业的数字化转型工作,并适配内外业协同作业模式的转变,需深入研究工程调查协同工作的关键要点、软件的协同架构设计、软件的关键技术等多个方面,并选取工程实例开展测试。在工程调查协同要点分析中,系统梳理了调查对象、调查流程及调查成果的协同关键点,为软件系统与关键技术的实现奠定了坚实基础;在软件协同架构设计部分,详细研究了软件整体架构,并仔细梳理了模板协同、功能协同与数据协同的设计逻辑,为软件编制提供了技术支撑;在关键技术部分,着重探讨了多专业切换适配技术、数据整合协同技术、调查内容智能填充技术的关键细节,切实解决了工程调查数字化转型中的痛点;最后,在沪渝蓉高速铁路与陇海铁路改造工程中,测试验证了软件多端协同模式开展工程调查的优越性。测试结果表明,本软件系统可兼容9个专业、17类对象的工程调查业务,其中地质专业的全流程作业效率提升67.5%。 展开更多
关键词 陆路交通 工程调查 多端协同 软件系统 架构设计
在线阅读 下载PDF
上一页 1 2 123 下一页 到第
使用帮助 返回顶部