期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到139篇文章
< 1 2 … 7 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
任务安全关键软件构造时在线监控方法研究
1
作者 王犇 丁成钧 +1 位作者 林伟 马春燕 《西北工业大学学报》 北大核心 2025年第3期600-609,共10页
C语言因其灵活性和高效率在航空航天等多个任务关键领域得到广泛应用。然而,C语言程序存在安全风险,如指针操作不严格限定、数组和字符串缺乏边界检查等,容易引发潜在的运行时故障,造成不可挽回的损失。针对此类问题,提出一种任务安全... C语言因其灵活性和高效率在航空航天等多个任务关键领域得到广泛应用。然而,C语言程序存在安全风险,如指针操作不严格限定、数组和字符串缺乏边界检查等,容易引发潜在的运行时故障,造成不可挽回的损失。针对此类问题,提出一种任务安全关键软件C程序构造时的在线监控方法,在构造C程序时对代码进行实时监控和静态分析,高效检测潜在故障。针对在线编辑的C程序片段的实时编译及测试问题,提出了一种混合式监控方法的片段程序可编译版本自动生成技术。针对任务安全关键软件5类运行时故障的产生条件归纳出43种故障类型,基于抽象语法树建立在线编辑的C程序片段故障的规则库。提出了基于语法结构匹配算法,实现在线编辑的C程序片段故障监控。实验选择50个安全关键软件常用的C程序代码进行验证,共计匹配到41种、146个潜在运行时故障,结果表明,文中监控方法能够有效识别潜在故障,提高软件安全性和可信性。 展开更多
关键词 在线监控 故障检测 抽象语法树 自动化测试
在线阅读 下载PDF
智能技术融入软件安全体系架构的策略——评《软件安全保障体系架构》
2
作者 粟梓康 《中国安全科学学报》 北大核心 2025年第8期272-272,共1页
目前数字化转型加速,软件系统的复杂性与攻击面正呈指数级增长,传统基于规则的安全防护机制已难以应对高级持续威胁。智能技术的融入为软件安全体系架构注入了动态感知与自主进化能力,通过机器学习、知识图谱等技术实现对威胁的精准识... 目前数字化转型加速,软件系统的复杂性与攻击面正呈指数级增长,传统基于规则的安全防护机制已难以应对高级持续威胁。智能技术的融入为软件安全体系架构注入了动态感知与自主进化能力,通过机器学习、知识图谱等技术实现对威胁的精准识别与预测,正推动安全防护从被动响应向主动防御转型。 展开更多
关键词 软件安全 复杂性 智能技术 攻击面 体系架构
在线阅读 下载PDF
基于群体情绪稳态化的社交网络谣言检测方法
3
作者 殷茗 乔胜 +1 位作者 陈威 姜继娇 《软件学报》 北大核心 2025年第11期5134-5157,共24页
网络信息来源众多、鱼龙混杂,及时、准确地判断其是否为谣言是社交媒体认知域研究的关键问题.先前的研究大多侧重于谣言的文本内容、用户特征或局限于传播模式中的固有特征,忽略了用户参与事件讨论而产生的群体情绪及其产生且隐藏于谣... 网络信息来源众多、鱼龙混杂,及时、准确地判断其是否为谣言是社交媒体认知域研究的关键问题.先前的研究大多侧重于谣言的文本内容、用户特征或局限于传播模式中的固有特征,忽略了用户参与事件讨论而产生的群体情绪及其产生且隐藏于谣言传播的情绪稳态特征的关键线索.提出一种以群体情绪稳态为导向,融合时序和空间稳态特征的社交网络谣言检测方法,该方法基于谣言传播中的文本特征和用户行为,将群体情绪的时序与空间关系稳态化特征相结合,能够实现较强的表达能力和检测精度.具体地,该方法以用户对某事件或话题态度的情绪关键词作为基础,利用递归神经网络构建时序关系的情绪稳态特征,使群体情绪具有表达能力较强的时间一致性特征,可以反映群体情绪随时间的趋同效应;利用异构图神经网络建立用户与关键词、文本与关键词之间联系,使群体情绪具有空间关系的细粒度群体情绪稳态特征;最后,将两类局部稳态特征进行融合,具备全局性且提高了特征表达,进一步分类可获得谣言检测结果.所提方法运行于两个国际公开且被广泛使用的推特数据集上,其准确率较基线中性能最好方法分别提高了3.4%和3.2%,T-F1值较基线中性能最好方法分别提高了3.0%和1.8%,N-F1值较基线中性能最好方法分别提高了2.7%和2.3%,U-F1值较基线中性能最好方法分别提高了2.3%和1.0%. 展开更多
关键词 谣言检测 群体情绪稳态 时序关系 空间关系 社交网络
在线阅读 下载PDF
基于抽象语法树变异的漏洞样本生成方法
4
作者 郑炜 李云帆 +3 位作者 桂奎 吴潇雪 陈翔 邓沛然 《软件学报》 北大核心 2025年第10期4590-4611,共22页
随着信息技术的持续发展,软件产品的数量和种类不断增加,然而即使是高质量的软件也可能存在漏洞.此外,软件更新速度快,软件架构愈发复杂,这导致漏洞逐渐进化成新的形态,传统的漏洞检测方法和规则难以适用于新的漏洞特征.由于零日漏洞样... 随着信息技术的持续发展,软件产品的数量和种类不断增加,然而即使是高质量的软件也可能存在漏洞.此外,软件更新速度快,软件架构愈发复杂,这导致漏洞逐渐进化成新的形态,传统的漏洞检测方法和规则难以适用于新的漏洞特征.由于零日漏洞样本的稀缺性,软件演化过程中出现的零日漏洞难以被发现,这为软件安全带来很大的潜在风险.提出一种基于抽象语法树变异的漏洞样本生成方法,能够模拟真实漏洞的结构和语法规则,生成更符合实际情况的漏洞样本,它可以为软件安全性和可靠性提供更加有效的解决方案.该方法通过分析Eclipse CDT生成的抽象语法树结构,提取节点中的语法信息,重构节点和抽象语法树,优化抽象语法树结构,并设计一系列变异算子,然后在优化后的抽象语法树上进行变异操作.该方法可以生成具有UAF和CUAF漏洞特征的变异样本,这些样本可以用于零日漏洞的检测,有助于提高零日漏洞的检测率.实验结果表明,该方法比传统检测方法中的随机变异方法平均减少了34%的无效样本量,并且可以生成更加复杂的变异样本;此外,该方法可以生成更加复杂的变异样本,提高检测的覆盖率和准确率. 展开更多
关键词 抽象语法树 零日漏洞 变异算子 漏洞样本生成
在线阅读 下载PDF
卷积神经网络在图像超分辨上的应用 被引量：1
5
作者 田春伟 宋明键 +3 位作者 左旺孟 杜博 张艳宁 张师超 《智能系统学报》 北大核心 2025年第3期719-749,共31页
卷积神经网络因强大的学习能力,已成为解决图像超分辨问题的主流方法。然而,用于解决图像超分辨的不同类型深度学习方法存在巨大的差异。目前,仅有少量文献能根据不同缩放方法来总结不同深度学习技术在图像超分辨上的区别和联系。因此,... 卷积神经网络因强大的学习能力,已成为解决图像超分辨问题的主流方法。然而,用于解决图像超分辨的不同类型深度学习方法存在巨大的差异。目前,仅有少量文献能根据不同缩放方法来总结不同深度学习技术在图像超分辨上的区别和联系。因此,根据设备的负载能力和执行速度等介绍面向图像超分辨方法的卷积神经网络尤为重要。本文首先介绍面向图像超分辨的卷积神经网络基础,随后通过介绍基于双三次插值、最近邻插值、双线性插值、转置卷积、亚像素层、元上采样的卷积神经网络的图像超分辨方法,分析基于插值和模块化的卷积神经网络图像超分辨方法的区别与联系,并通过实验比较这些方法的性能。本文对潜在的研究方向和挑战进行阐述并总结全文,旨在促进基于卷积神经网络的图像超分辨研究的发展。 展开更多
关键词 深度学习 卷积神经网络 图像重建 图像处理 图像复原 图像分辨率 神经网络 底层视觉
在线阅读 下载PDF
神经网络轻量化综述 被引量：2
6
作者 段宇晨 方振宇 郑江滨 《计算机科学与探索》 北大核心 2025年第4期835-853,共19页
随着深度学习技术的不断进步,人工神经网络模型在图像识别、自然语言处理、自动驾驶等多个领域都展现出了前所未有的性能。这些模型通常具有数百万甚至数十亿个参数,通过大量的训练数据学习到复杂的特征表示。然而,在资源受限的环境下,... 随着深度学习技术的不断进步,人工神经网络模型在图像识别、自然语言处理、自动驾驶等多个领域都展现出了前所未有的性能。这些模型通常具有数百万甚至数十亿个参数,通过大量的训练数据学习到复杂的特征表示。然而,在资源受限的环境下,如移动设备、嵌入式系统等边缘计算场景,模型的功耗、内存占用和计算效率等因素限制了大型神经网络模型的应用。为了解决该问题,研究人员提出了多种模型压缩技术,例如剪枝、蒸馏、神经网络搜索(NAS)、量化、低秩分解等,旨在减少模型的参数量、计算复杂度和存储需求,同时尽可能保持模型的精准度。系统介绍了这些模型压缩方法的发展过程,重点分析每种方法的主要原理和关键技术。主要包括剪枝技术的不同策略,如结构化剪枝和非结构化剪枝;知识蒸馏中如何定义知识;NAS中的搜索空间,搜索算法和网络性能评估;量化中的训练后量化和训练中量化;以及低秩分解中的奇异值分解和张量分解。对模型压缩技术的未来发展方向做出讨论。 展开更多
关键词 剪枝 量化 知识蒸馏 神经网络搜索(NAS) 低秩分解
在线阅读 下载PDF
基于多核异构操作系统的动态冗余可靠机制研究 被引量：1
7
作者 何瑞琦 张凯龙 +2 位作者 吴金飞 于强 张家铭 《计算机科学》 北大核心 2025年第4期33-39,共7页
针对当前嵌入式系统的混合部署需求和功能安全需求,提出了一种动态异构冗余的操作系统架构DHR-OS。面向混合部署需求,该架构设计了异构操作系统的混合部署模式,即在多核CPU上以Linux为主操作系统,动态部署RTOS从操作系统镜像。同时,为... 针对当前嵌入式系统的混合部署需求和功能安全需求,提出了一种动态异构冗余的操作系统架构DHR-OS。面向混合部署需求,该架构设计了异构操作系统的混合部署模式,即在多核CPU上以Linux为主操作系统,动态部署RTOS从操作系统镜像。同时,为了操作系统间的协同工作,利用OpenAMP(Open Asymmetric Multi-Processing)实现了主从操作系统间的通信,并基于OpenAMP进一步实现了设备驱动的时分复用、远程过程调用(Remote Procedure Call,RPC)、中断转发路由机制。面向功能安全需求,该架构设计了一套调度、分发、裁决为一体的关键任务安全执行机制。具体地,Linux操作系统事先对RTOS核心做池化处理,当执行关键任务时,从RTOS内核池中调度若干RTOS核心作为任务执行环境,在Linux侧的裁决器基于加权投票的分布式共识算法,处理RTOS核心任务返回的结果。通过上述设计增强了系统的灵活性和抗攻击能力。该工作为嵌入式系统的混合部署和功能安全需求提供了一种新的系统架构解决方案,具有一定创新性和实用价值。 展开更多
关键词 异构动态冗余 混合部署 功能安全 分布式共识
在线阅读 下载PDF
基于Matlab和VB混合编程实现大学化学实验数据处理系统 被引量：9
8
作者 张云鹏 胡飞 +2 位作者 马晓燕 马春燕 陆伟 《计算机工程与应用》 CSCD 北大核心 2005年第7期116-118,共3页
针对VB数值计算能力和图形处理能力不足,不利于系统开发的状况,该文在介绍了Matrix VB数学函数库的基础上,设计并实现了大学化学实验数据处理系统。结果表明,该系统充分利用了Matrix VB的数学函数库,在数值计算和图形处理方面取得了良... 针对VB数值计算能力和图形处理能力不足,不利于系统开发的状况,该文在介绍了Matrix VB数学函数库的基础上,设计并实现了大学化学实验数据处理系统。结果表明,该系统充分利用了Matrix VB的数学函数库,在数值计算和图形处理方面取得了良好效果。 展开更多
关键词 VB MATLAB 函数库 数值计算
在线阅读 下载PDF
基于语义感知的变长序列数据预处理框架
9
作者 王晓东 王继维 +3 位作者 钟智昊 杨欢 姚红静 郭阳明 《西北工业大学学报》 北大核心 2025年第2期388-397,共10页
深度学习框架处理变长序列时,通常采用填充(padding)或截断(truncation)的方式,以方便模型批量训练与处理。然而,填充会加剧内存占用,而截断则会使序列丧失原本的语义信息。因此,提出了一种基于语义感知的变长序列预处理框架,该框架利... 深度学习框架处理变长序列时,通常采用填充(padding)或截断(truncation)的方式,以方便模型批量训练与处理。然而,填充会加剧内存占用,而截断则会使序列丧失原本的语义信息。因此,提出了一种基于语义感知的变长序列预处理框架,该框架利用典型的无监督学习方法,压缩多维度数据并减小信息损失。同时,基于最小化信息损失理论,采用信息熵度量语义丰富度,为变长表示分配权重,并通过语义丰富度进行融合。此外,实验表明该框架的信息损失相较传统的截断嵌入有所降低,所提方法在信息获取方面具有显著优势,在多个文本分类数据集上表现良好。 展开更多
关键词 变长序列 数据预处理 填充 截断 语义信息 最大化信息
在线阅读 下载PDF
B方法与UML在软件设计中的结合应用 被引量：2
10
作者 何飞 谷建华 《计算机工程与科学》 CSCD 2007年第1期134-137,共4页
形式化方法B用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性。UML是面向对象的建模技术,提供灵活快捷的分析与设计方式。文中通过B方法和UML在问题对象域层次上的结合,给出一种在软件设计中... 形式化方法B用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性。UML是面向对象的建模技术,提供灵活快捷的分析与设计方式。文中通过B方法和UML在问题对象域层次上的结合,给出一种在软件设计中结合应用,提高软件质量的方法。 展开更多
关键词 统一建模语言 B方法 软件设计
在线阅读 下载PDF
重复软件缺陷报告检测方法综述 被引量：3
11
作者 郑炜 王晓龙 +4 位作者 陈翔 夏鑫 廖慧玲 刘程远 孙瑞阳 《软件学报》 EI CSCD 北大核心 2022年第6期2288-2311,共24页
软件缺陷在软件的开发和维护过程中是不可避免的,软件缺陷报告是软件维护过程中重要的缺陷描述文档,高质量的软件缺陷报告可以有效提高软件缺陷修复的效率.然而,由于存在许多开发人员、测试人员和用户与缺陷跟踪系统交互并提交软件缺陷... 软件缺陷在软件的开发和维护过程中是不可避免的,软件缺陷报告是软件维护过程中重要的缺陷描述文档,高质量的软件缺陷报告可以有效提高软件缺陷修复的效率.然而,由于存在许多开发人员、测试人员和用户与缺陷跟踪系统交互并提交软件缺陷报告,同一个软件缺陷可能被不同的人员报告,导致了大量重复的软件缺陷报告.重复的软件缺陷报告势必加重人工检测重复缺陷报告的工作量,并造成人力物力的浪费,降低了软件缺陷修复的效率.以系统文献调研的方式,对近年来国内外学者在重复软件缺陷报告检测领域的研究工作进行了系统的分析.主要从研究方法、数据集的选取、性能评价等方面具体分析总结,并提出该领域在后续研究中存在的问题、挑战以及建议. 展开更多
关键词 缺陷报告 重复检测 深度学习 自然语言处理 信息检索
在线阅读 下载PDF
从机理到数据:超快激光加工工艺建模方法研究综述
12
作者 任子为 冯杰才 +1 位作者 张仕进 陈明 《热加工工艺》 北大核心 2025年第14期112-123,共12页
超快激光加工凭借高精度、非热熔特性成为微纳制造的关键技术,但复杂的多物理场耦合机理给工艺优化带来挑战。综述了超快激光加工建模方法的演进路径:机理模型(如双温方程、分子动力学)虽具物理可解释性,但面临计算复杂、跨尺度建模难... 超快激光加工凭借高精度、非热熔特性成为微纳制造的关键技术,但复杂的多物理场耦合机理给工艺优化带来挑战。综述了超快激光加工建模方法的演进路径:机理模型(如双温方程、分子动力学)虽具物理可解释性,但面临计算复杂、跨尺度建模难的问题;数据驱动模型(机器学习、深度学习)通过挖掘实验数据提升预测效率,但依赖数据质量且缺乏物理一致性;混合模型融合机理与数据优势,通过物理约束机器学习等方法平衡可解释性与计算效率。研究指出,未来需突破跨尺度物理嵌入、动态工艺自适应建模及智能优化等关键方向,推动超快激光加工从“经验试错”向“模型驱动”范式转变,为航空航天、生物医疗等领域的精密制造提供理论支撑。 展开更多
关键词 超快激光 机理建模 数据驱动建模 混合建模 多物理场耦合
在线阅读 下载PDF
虚拟环境下的活动线缆物理特性模型求解技术
13
作者 杨拥军 庄小帅 +4 位作者 魏天翼 杨嘉彬 罗建超 葛长健 康云川 《西北工业大学学报》 北大核心 2025年第3期555-563,共9页
机载卫星转动平台上活动线缆的可靠性,决定了转动平台的可靠性。通过在虚拟环境下对转动平台上活动线缆的运动过程进行模拟,能够提前发现活动线缆布线设计问题,进而保证了转动平台的可靠性。活动线缆物理特性模型的高精度和高效率求解,... 机载卫星转动平台上活动线缆的可靠性,决定了转动平台的可靠性。通过在虚拟环境下对转动平台上活动线缆的运动过程进行模拟,能够提前发现活动线缆布线设计问题,进而保证了转动平台的可靠性。活动线缆物理特性模型的高精度和高效率求解,是模拟活动线缆运动的前提和关键。现有的活动线缆物理特性模型求解技术主要基于Levenberg-Marquardt(L-M)算法,而现有的L-M算法初始解的设定依赖于经验,且阻尼系数的更新固定不变,导致解的精度不高且求解效率低下。为此,基于活动线缆几何特征,提出了一种基于悬链线方程的初始解生成方法和一种自适应的阻尼系数更新策略,并在此基础上提出了改进的L-M算法。通过搭建活动线缆仿真实验平台,验证了该算法在求解精度和求解效率方面均优于现有的算法。 展开更多
关键词 活动线缆 物理特性模型 运动仿真 悬链线理论 自适应阻尼系数
在线阅读 下载PDF
基于PROMELA模型的安全关键软件形式化验证技术
14
作者 邢亮 丁成钧 +1 位作者 杜虎鹏 马春燕 《西北工业大学学报》 EI CAS CSCD 北大核心 2022年第5期1180-1187,共8页
聚焦安全关键软件,研究基于PROMELA形式模型验证C程序中违反断言、数组越界、空指针解引用、死锁及饥饿等5类故障技术。建立C程序抽象语法树节点到PROMELA模型,验证属性相关函数到PROMELA模型的2类映射规则;根据映射规则提出由C程序自... 聚焦安全关键软件,研究基于PROMELA形式模型验证C程序中违反断言、数组越界、空指针解引用、死锁及饥饿等5类故障技术。建立C程序抽象语法树节点到PROMELA模型,验证属性相关函数到PROMELA模型的2类映射规则;根据映射规则提出由C程序自动生成PROMELA形式模型的算法,并对算法进行理论分析;针对C程序中5种故障类型,分别给出基于PROMELA模型的形式化验证方法,并分析验证的范围;覆盖各类故障的验证范围,为每类故障类型选取12个C程序案例进行实证研究,实验结果证明了方法的有效性。 展开更多
关键词 C程序 PROMELA模型 软件故障 形式化验证
在线阅读 下载PDF
基于生成对抗网络的地质灾害监测异常数据识别方法
15
作者 刘将成 郝光耀 +4 位作者 陶虹 徐岩岩 王亨 江先晖 陈群 《高校地质学报》 北大核心 2025年第2期174-184,共11页
可靠的地质灾害预警依赖于准确的传感数据。论文针对地质监测传感数据噪声大和长时序特征难以捕捉的等问题,提出一种基于生成对抗网络的地质灾害监测异常数据识别方法。该方法首先引入随机数据增强策略,丰富了训练数据的多样性,提升了... 可靠的地质灾害预警依赖于准确的传感数据。论文针对地质监测传感数据噪声大和长时序特征难以捕捉的等问题,提出一种基于生成对抗网络的地质灾害监测异常数据识别方法。该方法首先引入随机数据增强策略,丰富了训练数据的多样性,提升了模型对噪声的鲁棒性;其次,采用多头自注意力机制提取长时序特征,并通过对抗训练机制提高模型预警性能的稳定性。通过在陕西省地质灾害隐患点提取的4个真实时序传感数据流的实验表明,文章提出的方法在AUROC和F1指标上较现有的机器学习对比方法有5%~10%的提升。 展开更多
关键词 地质灾害监测 传感数据 神经网络 生成对抗网络 异常检测
在线阅读 下载PDF
中小型软件项目的一种过程管理模型
16
作者 赵彦锋 刘世伟 《现代电子技术》 2008年第20期86-88,共3页
软件工程化的概念已提出多年,其发展已经进入成熟阶段,但软件项目的问题却层出不穷。在根据实际工作中出现的问题,结合软件工程中的几种常用过程模型,融入过程管理的理念及要素,并借鉴敏捷开发思想,总结一套适用于中小型非军方项目的过... 软件工程化的概念已提出多年,其发展已经进入成熟阶段,但软件项目的问题却层出不穷。在根据实际工作中出现的问题,结合软件工程中的几种常用过程模型,融入过程管理的理念及要素,并借鉴敏捷开发思想,总结一套适用于中小型非军方项目的过程管理模型;采用调查分析法、实践法经过一年半的软件开发实践及过程管理实践,得出一套这样的过程管理模型。内部的QoD项目的开发数据证明该方法对于中小型软件的有效性。模型的优点在于结合多种模型在中小型项目中的优势。 展开更多
关键词 过程模型 代码先行 顾客包含 功能性WBS 模块性WBS
在线阅读 下载PDF
组态软件中数据存储与查询的缺陷与改进
17
作者 李先国 张金辉 《科学技术与工程》 2007年第12期2860-2862,共3页
数据存储与查询是组态软件中的重要组成部分,但是传统的方法效率低,因此对其进行改进,提高查询效率对于组态软件有着重要的意义。融合了数据库索引思想的新方法,不仅减小了存储文件的大小,而且大大提高了查询的效率。
关键词 组态 索引 偏移量
在线阅读 下载PDF
航空控制软件条件表达式故障分类及修复方法 被引量：1
18
作者 谢文光 李琪 +3 位作者 汪克念 马春燕 张涛 张国群 《西北工业大学学报》 EI CAS CSCD 北大核心 2020年第4期862-872,共11页
航空控制软件已成为航空系统的核心控制决策单元。布尔条件表达式是构成航空控制软件循环和分支逻辑代码的主要成分,研究了航空控制软件条件表达式故障分类及修复方法。①提出了一种2层次布尔条件表达式故障分类方法;②在设计变异算子... 航空控制软件已成为航空系统的核心控制决策单元。布尔条件表达式是构成航空控制软件循环和分支逻辑代码的主要成分,研究了航空控制软件条件表达式故障分类及修复方法。①提出了一种2层次布尔条件表达式故障分类方法;②在设计变异算子、修复方案和变异修复停止条件的基础上,提出了一种条件表达式自动化修复方法;③设计和实现了面向条件表达式各类故障的修复辅助工具,对航空控制软件中155个故障表达式进行故障修复实验,结果表明,55.5%的故障表达式可以精确修复,44.5%的故障表达式修复后产生多个正确版本,部分版本存在运算冗余,尚需人工介入选择最优修复版本。 展开更多
关键词 条件表达式故障 故障修复 航空控制软件
在线阅读 下载PDF
基于Eggplant的Mac OS X平台上软件自动测试
19
作者 邓迎秋 朱怡安 《科学技术与工程》 2007年第9期1916-1919,共4页
Mac OS X tiger平台上的应用软件需要进行自动化的测试。Eggplant是Mac OS X平台上的一种自动测试工具。文中主要介绍了这个工具和运用此工具设计一个应用软件的版本验证测试。最后实现了这个设计的部分并表明此工具是一个便捷有效的自... Mac OS X tiger平台上的应用软件需要进行自动化的测试。Eggplant是Mac OS X平台上的一种自动测试工具。文中主要介绍了这个工具和运用此工具设计一个应用软件的版本验证测试。最后实现了这个设计的部分并表明此工具是一个便捷有效的自动测试工具。 展开更多
关键词 EGGPLANT MAC OS X自动测试
在线阅读 下载PDF
软件度量的研究
20
作者 邢敏 《科学技术与工程》 2007年第21期5695-5698,共4页
软件度量是过程改进中不可忽视的一项工作,已成为CMMI2级中一个独立的过程域。基于CMMI的度量框架,阐述了如何按照此框架进行度量,并在此基础上举例说明如何使用此框架进行度量与分析。
关键词 软件度量 过程改进 统计过程控制
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 7 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部