期刊文献+
共找到99篇文章
< 1 2 5 >
每页显示 20 50 100
Incorporating S-shaped testing-effort functions into NHPP software reliability model with imperfect debugging 被引量:7
1
作者 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
基于总线故障注入的卫星热控自主管理软件测试方案 被引量:1
2
作者 刘鹤 张晓明 张月 《航天器工程》 CSCD 北大核心 2024年第3期135-140,共6页
针对卫星热控分系统设计的新状态,梳理了热控自主管理软件中多点控温功能、跟踪控温功能及热敏电阻故障处理功能的测试需求,提出了基于总线故障注入的热控自主管理软件测试方案。该方案通过将故障注入设备接入卫星数据总线的方式仿真总... 针对卫星热控分系统设计的新状态,梳理了热控自主管理软件中多点控温功能、跟踪控温功能及热敏电阻故障处理功能的测试需求,提出了基于总线故障注入的热控自主管理软件测试方案。该方案通过将故障注入设备接入卫星数据总线的方式仿真总线遥测,验证热控自主管理软件处理结果的正确性。与现有基于热敏电阻等效器的测试方案相比,该方案能够在保证测试有效性的同时简化所需地面测试设备及电缆,提升工作效率。文章给出了测试方案步骤,可为卫星自主管理软件测试提供参考。 展开更多
关键词 卫星地面测试 热控 自主管理软件 故障注入
在线阅读 下载PDF
面向可信测试的软件测试过程模型扩充
3
作者 张九思 《计算机应用与软件》 北大核心 2024年第10期19-23,38,共6页
传统的测试过程在验证和确认软件可信特征的可信任能力不足,针对这种情况,提出一种面向可信测试的软件测试过程模型扩充方法。首先对BS10754-1标准定义的可信系统框架和GB/T 38634.2标准定义的通用软件测试过程进行分析,在此基础上,将BS... 传统的测试过程在验证和确认软件可信特征的可信任能力不足,针对这种情况,提出一种面向可信测试的软件测试过程模型扩充方法。首先对BS10754-1标准定义的可信系统框架和GB/T 38634.2标准定义的通用软件测试过程进行分析,在此基础上,将BS10754-1标准中与测试过程显性相关或对测试过程可信有帮助的24条原则和73条技术提炼成21条可信测试任务,融入到GB/T 38634.2标准中的7个过程,新构建的测试过程模型能帮助企业提升软件测试在验证和确认软件可信方面的可信任能力。 展开更多
关键词 可信测试 软件测试过程 BS10754-1 GB/T 38634.2 可信特征 可信系统框架
在线阅读 下载PDF
考虑测试工作量与覆盖率的软件可靠性模型 被引量:26
4
作者 李海峰 王栓奇 +2 位作者 刘畅 郑军 李震 《软件学报》 EI CSCD 北大核心 2013年第4期749-760,共12页
为了进一步提升现有非齐次泊松过程类软件可靠性增长模型的拟合与预计精度,首先,提出一个同时考虑测试工作量与测试覆盖率的NHPP类软件可靠性建模框架.在此基础上,将变形S型测试工作量函数(IS-TEF)以及Logistic测试覆盖率函数(LO-TCF)... 为了进一步提升现有非齐次泊松过程类软件可靠性增长模型的拟合与预计精度,首先,提出一个同时考虑测试工作量与测试覆盖率的NHPP类软件可靠性建模框架.在此基础上,将变形S型测试工作量函数(IS-TEF)以及Logistic测试覆盖率函数(LO-TCF)带入该建模框架,建立了一个新的软件可靠性增长模型,即IS-LO-SRGM.同时,还对利用该框架进行建模过程中的两个重要问题进行了描述与分析,即如何确定具体的TEF和TCF以及模型参数估计.然后,在两组真实的失效数据集上,利用该建模框架建立了最为合适的增长模型,即IS-LO-SRGM,并将该模型与8种经典NHPP模型进行对比.实例验证结果表明,所提出的IS-LO-SRGM模型具有最为优秀的拟合与预计性能,从而证明新建模框架的有效性和实用性.最后,对不完美排错情况进行了初步的讨论与建模分析. 展开更多
关键词 软件可靠性建模 测试覆盖率 测试工作量 非齐次泊松过程
在线阅读 下载PDF
构件软件可靠性过程技术 被引量:15
5
作者 张策 崔刚 +1 位作者 刘宏伟 孟凡超 《计算机学报》 EI CSCD 北大核心 2014年第12期2586-2612,共27页
针对构件软件可靠性研究现状以及如何提高其可靠性过程,对其可靠性过程的相关研究进行综述.构件软件可靠性过程的关键问题是在整个生命周期内,以可靠性为核心,不断提高可靠性增长过程,实现可靠性预期要求.文中介绍了构件软件可靠性过程... 针对构件软件可靠性研究现状以及如何提高其可靠性过程,对其可靠性过程的相关研究进行综述.构件软件可靠性过程的关键问题是在整个生命周期内,以可靠性为核心,不断提高可靠性增长过程,实现可靠性预期要求.文中介绍了构件软件可靠性过程的主要研究问题,对以可靠性过程为核心的基本内容体系结构与技术分类框架进行了描述,并对基本研究支撑元素进行了概括与分析.重点介绍了依据可靠性过程研究内容与技术分类下从可靠性建模、可靠性增长模型、评估、测试资源分配与最优发布、可靠性过程仿真、基于PCM(Palladio Component Model)的可靠性技术等六个方面进行了技术分类评述,在分类评述中,对技术成果进行了深入讨论并选取典型模型进行剖析和归一化分类.最后还指出,未来还需要在复杂不完美环境下结合非参量求解方法、容错体系结构与硬件系统构件化研究、集成化的可靠性建模表示与分析等方面,深入开展一些研究工作. 展开更多
关键词 构件软件 可靠性 可靠性过程 操作剖面 测试工作量 软件测试
在线阅读 下载PDF
星载嵌入式软件测试过程模型的研究 被引量:8
6
作者 陈佳豫 邢忠宝 +2 位作者 刘金国 孔德柱 徐东 《光学精密工程》 EI CAS CSCD 北大核心 2008年第9期1654-1659,共6页
针对星载嵌入式软件的特点,在W模型和X模型的基础上,给出了一种适用于星载嵌入式软件测试过程的模型—蝴蝶模型。该模型不仅完整体现了对整个开发活动的测试,而且支持迭代及变更,尤其适用于星载嵌入式软件的研制需要经历多个周期的特点... 针对星载嵌入式软件的特点,在W模型和X模型的基础上,给出了一种适用于星载嵌入式软件测试过程的模型—蝴蝶模型。该模型不仅完整体现了对整个开发活动的测试,而且支持迭代及变更,尤其适用于星载嵌入式软件的研制需要经历多个周期的特点,在尽早发现卫星型号产品软、硬件设计缺陷,缩短星载嵌入式软件研制的周期,降低软、硬件的成本,提高星载嵌入式软件的可靠性等方面都有着明显的优点,适用于星载嵌入式软件研制的整个过程。 展开更多
关键词 星载嵌入式软件 测试过程模型 W模型 X模型 蝴蝶模型
在线阅读 下载PDF
基于行为的软件测试过程模型及其应用研究 被引量:10
7
作者 陆永忠 宋骏礼 谷希谦 《计算机应用》 CSCD 北大核心 2007年第5期1238-1240,共3页
在深入研究各种综合测试技术的基础上,通过对比分析各种主流的测试模型,提出了一种基于行为的软件测试过程模型,包括了测试设计、测试计划、测试执行、测试结果分析和测试重用等活动,把这些测试活动嵌入到软件开发的整个生命周期当中。... 在深入研究各种综合测试技术的基础上,通过对比分析各种主流的测试模型,提出了一种基于行为的软件测试过程模型,包括了测试设计、测试计划、测试执行、测试结果分析和测试重用等活动,把这些测试活动嵌入到软件开发的整个生命周期当中。然后将这种测试模型应用到一个大型的应用程序测试项目(AMP)中,发现这种测试模型在尽早发现Bug和回归测试选择效率上具有较好的测试效果。 展开更多
关键词 软件测试模型 软件过程改进 基于行为的测试 行为规格说明 回归测试
在线阅读 下载PDF
基于有限状态进程的事件约束定义 被引量:5
8
作者 顾庆 陈道蓄 +2 位作者 谢立 韩杰 孙钟秀 《软件学报》 EI CSCD 北大核心 2002年第11期2162-2168,共7页
测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词... 测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词下定义前后运行事件间的顺序关系.根据FSP的操作符和并发控制机制可推导E-CSPE约束.推导出来的E-CSPE约束考虑到并发程序的安全和进展属性,可据以判断程序运行的正确性和测试的充分性. 展开更多
关键词 有限状态进程 事件约束定义 软件测试 并发程序 软件开发
在线阅读 下载PDF
一种试验数据处理软件设计 被引量:26
9
作者 王文龙 张少博 陈海峰 《火箭推进》 CAS 2012年第1期76-80,共5页
介绍了液体火箭发动机试验数据处理软件的开发过程和方法。软件是在综合数据采集系统硬件的基础上,以VB语言为基础结合试验中各类型参数处理算法和关系数据库技术而开发的,具有操作简便、功能齐全、效率高等特点。软件已成功应用于多次... 介绍了液体火箭发动机试验数据处理软件的开发过程和方法。软件是在综合数据采集系统硬件的基础上,以VB语言为基础结合试验中各类型参数处理算法和关系数据库技术而开发的,具有操作简便、功能齐全、效率高等特点。软件已成功应用于多次地面试验,取得良好效果。 展开更多
关键词 液体火箭发动机 地面试车 数据处理 软件设计
在线阅读 下载PDF
基于Markov决策过程用交叉熵方法优化软件测试 被引量:11
10
作者 张德平 聂长海 徐宝文 《软件学报》 EI CSCD 北大核心 2008年第10期2770-2779,共10页
研究了待测软件某些参数已知的条件下,以最小化平均测试费用为目标的软件测试优化问题.将软件测试过程处理成马尔可夫(Markov)决策过程,给出了软件测试的马尔可夫决策模型,运用交叉熵方法,通过一种学习策略获得软件测试的最优测试剖面,... 研究了待测软件某些参数已知的条件下,以最小化平均测试费用为目标的软件测试优化问题.将软件测试过程处理成马尔可夫(Markov)决策过程,给出了软件测试的马尔可夫决策模型,运用交叉熵方法,通过一种学习策略获得软件测试的最优测试剖面,用于优化软件测试.模拟结果表明,学习策略给出的测试剖面要优于随机测试策略,检测和排除相同数目的软件缺陷,学习策略比随机测试能够显著地减少测试用例数,降低测试成本,提高缺陷检测效率. 展开更多
关键词 软件测试 马尔可夫决策过程 交叉熵方法 最优测试剖面
在线阅读 下载PDF
MATLAB图像处理技术在加气混凝土孔结构研究中的应用 被引量:12
11
作者 袁誉飞 梁啟成 +2 位作者 黄照明 陈泽杰 文梓芸 《混凝土》 CAS CSCD 北大核心 2012年第2期51-54,共4页
基于MATLAB图像处理技术,开发了适合于加气混凝土孔结构分析的软件。对加气混凝土照片进行一系列的图像处理,并表征加气混凝土的孔结构参数。试验表明:该技术能够快捷、精确的分析加气混凝土的孔分布及孔隙率,在前人研究的基础上简化了... 基于MATLAB图像处理技术,开发了适合于加气混凝土孔结构分析的软件。对加气混凝土照片进行一系列的图像处理,并表征加气混凝土的孔结构参数。试验表明:该技术能够快捷、精确的分析加气混凝土的孔分布及孔隙率,在前人研究的基础上简化了测试过程并提高了分析精度,实现孔隙率误差小于±2.0%,可用于产品质量控制。 展开更多
关键词 加气混凝土孔结构 MATLAB图像处理技术 孔结构分析软件 分析精度
在线阅读 下载PDF
基于Gompertz模型的软件质量与测试过程评估 被引量:9
12
作者 任卫军 贺昱曜 张卫钢 《计算机工程与应用》 CSCD 北大核心 2008年第9期87-89,共3页
针对软件产品质量与测试过程如何进行定量度量与预测这一实用需求,提出基于Gompertz模型利用测试过程中发现的缺陷数进行评估的方案,采用非线性回归最小二乘法对模型参数进行估计,实现了对软件产品质量和测试过程的定量预估,给出了实用... 针对软件产品质量与测试过程如何进行定量度量与预测这一实用需求,提出基于Gompertz模型利用测试过程中发现的缺陷数进行评估的方案,采用非线性回归最小二乘法对模型参数进行估计,实现了对软件产品质量和测试过程的定量预估,给出了实用方法,并对判断测试活动是否结束提供依据。 展开更多
关键词 软件测试 Gompertz模型 软件缺陷 过程评估
在线阅读 下载PDF
波动方程叠前深度偏移成像软件系统的研制及应用 被引量:9
13
作者 方伍宝 孙建国 +2 位作者 赵改善 王华忠 程玖兵 《石油物探》 EI CSCD 2005年第5期486-490,共5页
基于波动方程的叠前深度偏移成像技术可以将叠前深度偏移技术的应用领域从复杂构造成像扩大到复杂地质条件下的岩性地层成像。研制开发了波动方程叠前深度偏移成像软件系统,该系统包含工区管理、数据管理、偏移速度分析、构造建模、2D/3... 基于波动方程的叠前深度偏移成像技术可以将叠前深度偏移技术的应用领域从复杂构造成像扩大到复杂地质条件下的岩性地层成像。研制开发了波动方程叠前深度偏移成像软件系统,该系统包含工区管理、数据管理、偏移速度分析、构造建模、2D/3D地震速度建模、地震偏移成像、三维可视化、辅助计算等一系列功能模块;具有独特的速度建模、叠前深度偏移成像、高效并行计算、三维可视化和性能优化等特色技术。对该软件系统进行了SEG/EAGE3D盐丘模型数据测试,在所获得的成像剖面上盐丘边界和断层清晰。将该软件应用于实际地震资料的处理,河南油田泌阳凹陷的高陡构造、胜利油田的古潜山内幕都得到了很好的成像。 展开更多
关键词 波动方程 叠前偏移成像 软件系统 模型测试 地震数据处理
在线阅读 下载PDF
红外焦平面阵列性能参数测试平台 被引量:5
14
作者 肖静 周昊 +2 位作者 何兆湘 陈四海 易新建 《红外技术》 CSCD 北大核心 2004年第5期75-79,共5页
分析了红外焦平面阵列器件性能参数测试平台的要求,建立了包括红外源及 IRFPA 模块、控制模块和信号放大、采集、处理模块在内的测试系统,可用来进行响应率、探测率、噪声等效功率、噪声等效温差等红外焦平面阵列性能参数的测试。用此... 分析了红外焦平面阵列器件性能参数测试平台的要求,建立了包括红外源及 IRFPA 模块、控制模块和信号放大、采集、处理模块在内的测试系统,可用来进行响应率、探测率、噪声等效功率、噪声等效温差等红外焦平面阵列性能参数的测试。用此参数测试平台来测试 160×120 红外焦平面阵列,经软件分析处理测试数据,证明该测试平台是准确有效的。最后对红外焦平面阵列性能参数测试平台的进一步优化提出了要求。 展开更多
关键词 红外焦平面阵列 性能参数 测试平台 IRFPA 器件性能 噪声等效温差 探测率 软件分析 测试数据 模块
在线阅读 下载PDF
基于系统理论事故模型的雷达系统软件缺陷预测应用研究 被引量:9
15
作者 柳溪 刘嘉 +3 位作者 刘畅 李海峰 刘宇 汪圣利 《现代雷达》 CSCD 北大核心 2020年第11期87-92,共6页
雷达等电子装备中软件发挥的作用逐渐增强,软件质量成为影响雷达质量和效能的关键因素,分析预测雷达系统软件潜在缺陷的趋势,对雷达系统软件质量控制与保障具有重要意义。为有效刻画雷达系统软件缺陷机理,文中提出基于系统理论事故模型(... 雷达等电子装备中软件发挥的作用逐渐增强,软件质量成为影响雷达质量和效能的关键因素,分析预测雷达系统软件潜在缺陷的趋势,对雷达系统软件质量控制与保障具有重要意义。为有效刻画雷达系统软件缺陷机理,文中提出基于系统理论事故模型(STAMP)的雷达系统软件缺陷预测方法。首先,基于STAMP与历史缺陷数据,构建雷达系统软件控制过程模型;然后,构建贝叶斯网络,对历史缺陷数据进行训练学习,获取雷达系统软件缺陷预测规则;最后,在雷达系统软件上开展工程应用,进行缺陷预测,并对预测结果进行分析,验证新方法的有效性和实用性。 展开更多
关键词 软件测试 雷达 缺陷预测 系统理论事故模型 贝叶斯网络
在线阅读 下载PDF
固体火箭发动机试验数据分析处理及管理系统 被引量:5
16
作者 陈广南 郭健 +2 位作者 姜春林 张为华 焦绍球 《固体火箭技术》 EI CAS CSCD 2000年第3期16-18,共3页
介绍了一种固体火箭发动机试验数据分析处理及管理系统。该系统具有标定、数据采集、试验数据分析处理、发动机性能预估、参数辨识及试验数据库管理功能。由于采用了发动机性能预估和参数辨识方法 。
关键词 试验 数据处理 固体火箭发动机 数据管理系统
在线阅读 下载PDF
嵌入式软件仿真测试环境实时数据处理研究 被引量:5
17
作者 刘畅 刘斌 蒋崇武 《计算机工程与设计》 CSCD 北大核心 2009年第7期1561-1563,1638,共4页
分布式仿真测试环境是对嵌入式软件进行测试行之有效的手段。大量测试数据在仿真模型之间的实时通讯、收集和分布节点之间的传输是分布式仿真测试环境的设计难点。提出了一种实时数据处理的层次设计。应用代理模式和批处理双缓存区模式... 分布式仿真测试环境是对嵌入式软件进行测试行之有效的手段。大量测试数据在仿真模型之间的实时通讯、收集和分布节点之间的传输是分布式仿真测试环境的设计难点。提出了一种实时数据处理的层次设计。应用代理模式和批处理双缓存区模式,解决了分布式仿真测试环境实时数据处理的关键技术。据此设计和实现的分布式仿真测试环境产品已成功应用于型号软件系统测试工程中。 展开更多
关键词 实时数据处理 软件测试 测试环境 自动化测试 设计模式
在线阅读 下载PDF
基于比对的测试过程改进模型研究 被引量:4
18
作者 张文宁 李喜艳 周清雷 《计算机工程与设计》 CSCD 北大核心 2010年第4期696-699,705,共5页
虽然软件测试发展迅速,但仍存在生产率低、无法突显竞争优势等问题。为提高测试活动生产率,对软件复用思想进行了研究,提出了可重用测试用例的相关理论。针对无特定软件测试过程改进方法的问题,在研究目前流行的过程改进方法基础上,提... 虽然软件测试发展迅速,但仍存在生产率低、无法突显竞争优势等问题。为提高测试活动生产率,对软件复用思想进行了研究,提出了可重用测试用例的相关理论。针对无特定软件测试过程改进方法的问题,在研究目前流行的过程改进方法基础上,提出了支持复用的基于比对的测试过程改进方法,分析了该方法的优点,进一步将其应用到实际的测试项目中检测该方法的可行性和效率。实践结果表明,应用该模型能有效地提高测试生产率,促进测试过程的持续改进。 展开更多
关键词 软件测试 可重用测试用例 基准 比对 软件测试过程改进
在线阅读 下载PDF
项目驱动教学法在软件测试课程中的过程控制 被引量:10
19
作者 赵一丁 缑西梅 底恒 《计算机工程与科学》 CSCD 北大核心 2016年第A01期112-116,共5页
针对项目驱动教学法在软件测试课程教学实践中常见的问题,改进了项目驱动教学法的过程控制方法。结合不同学生个性喜好等条件选择适合的测试项目分组并行实施,项目驱动教学的过程要根据实际项目类型的不同而适当地调整,促使因材施教并... 针对项目驱动教学法在软件测试课程教学实践中常见的问题,改进了项目驱动教学法的过程控制方法。结合不同学生个性喜好等条件选择适合的测试项目分组并行实施,项目驱动教学的过程要根据实际项目类型的不同而适当地调整,促使因材施教并有效激发学生学习的主动性,对于测试用例的设计水平采用分段逐步提高的方法,理论课要与项目实施进度有效地协调互补。实践表明,了经过这种基于软件测试技术特点的改进,显著提高了项目驱动教学法在软件测试教学中的实用性。 展开更多
关键词 软件测试 项目驱动教学法 实践能力培养 过程控制
在线阅读 下载PDF
白盒测试中源代码变更管理方法的研究与实现 被引量:4
20
作者 柳永坡 刘凌辉 +2 位作者 晏海华 金茂忠 刘雪梅 《计算机工程与应用》 CSCD 北大核心 2009年第6期85-88,共4页
在大型软件白盒测试项目中,源代码的频繁变化给测试工作增加了很大难度,对源代码进行管理和控制是对白盒测试过程管理的一个重要补充。在已有的软件测试过程管理模型基础上,认真分析研究版本控制和管理的相关技术现状,提出了变更管理的... 在大型软件白盒测试项目中,源代码的频繁变化给测试工作增加了很大难度,对源代码进行管理和控制是对白盒测试过程管理的一个重要补充。在已有的软件测试过程管理模型基础上,认真分析研究版本控制和管理的相关技术现状,提出了变更管理的改进方法,对于软件模块的比较采用了抽象的方法简化为目录树,而在文件比较中基于源代码静态分析工具,把文件比较的粒度分解到方法一级,进行了方法内部比较算法的研究,设计实现了源代码版本管理子系统。 展开更多
关键词 白盒测试 测试过程管理 源代码分析 源代码变更 版本控制
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部