检索结果-维普期刊中文期刊服务平台

面向可信测试的软件测试过程模型扩充: 1; 作者张九思《计算机应用与软件》北大核心 2024年第10期19-23,38,共6页; 传统的测试过程在验证和确认软件可信特征的可信任能力不足,针对这种情况,提出一种面向可信测试的软件测试过程模型扩充方法。首先对BS10754-1标准定义的可信系统框架和GB/T 38634.2标准定义的通用软件测试过程进行分析,在此基础上,将BS... 展开更多; 关键词可信测试软件测试过程 BS10754-1 GB/T 38634.2 可信特征可信系统框架; 在线阅读下载PDF 职称材料

一种软件测试过程的博弈模型被引量：3: 2; 作者崔小乐王轶辰阮镰《北京航空航天大学学报》 EI CAS CSCD 北大核心 2004年第8期797-802,共6页; 为分析软件测试的动态过程及其中诸影响因素之间的关系 ,运用博弈理论 ,提出了一种新的软件测试过程建模分析方法 .建立了一种软件测试过程的博弈模型 ,并在此基础上对测试过程中的各方决策条件和博弈均衡条件进行了讨论 ,其结论有助于... 展开更多; 关键词博弈论决策均衡软件测试过程随机性测试选择性测试; 在线阅读下载PDF 职称材料

应用统计过程控制监控软件测试过程被引量：2: 3; 作者车美儒杨国伟 +1 位作者勾朗姜楠《计算机工程与设计》 CSCD 北大核心 2008年第3期725-730,共6页; 统计过程控制(SPC)是通过使用控制图来制定过程决策和预测过程行为的一种质量控制方法。SPC的方法用于软件过程,可以通过描述过程行为来监控过程的稳定性。讨论了将SPC应用于软件测试过程,针对测试过程中所度量的不同分布形式的数据而... 展开更多; 关键词统计过程控制软件测试过程过程性能过程稳定性质量控制; 在线阅读下载PDF 职称材料

贝叶斯网络技术在软件测试过程中的应用研究被引量：3: 4; 作者申光刚董丽叶东升《计算机工程与设计》 CSCD 北大核心 2006年第18期3406-3409,3423,共5页; 为使软件测试管理者准确定义并把握软件测试过程中存在大量复杂的相互依赖、相互影响的关系,通过对有经验的测试人员在软件测试过程中的主观判断和从以往客观数据抽象出来的关系进行分析,用贝叶斯网络技术对其建模,并对模型中的关系量化... 展开更多; 关键词软件测试软件测试过程软件度量过程度量贝叶斯网络; 在线阅读下载PDF 职称材料

基于CMMI的软件测试过程度量研究被引量：5: 5; 作者万邦睿丁晓明《计算机工程与设计》 CSCD 北大核心 2007年第11期2530-2532,2546,共4页; 对软件测试过程的度量能够提高软件测试的有效性,保证软件的质量。通过CMMI与软件测试、度量的分析,提出了基于CMMI的软件测试过程模型,并以此为基础对软件测试过程度量元的有效选取进行了研究。建立了CMMI与GQM的映射关系模型,提出了... 展开更多; 关键词集成能力成熟度模型度量软件测试过程度量元有效性; 在线阅读下载PDF 职称材料

模型驱动的软件测试研究被引量：6: 6; 作者王林章李宣东郑国梁《计算机科学》 CSCD 北大核心 2005年第10期230-235,共6页; MDA(Model-DrivenArchitecture)旨在基于平台无关的模型(PIM)和平台相关的模型(PSM)之间的分离和相互转换来复用平台无关的设计,实现异构中间件平台之间的集成和互操作,从而把软件开发的重点提前到PIM的设计上,也使得在模型级解决测试... 展开更多; 关键词 MDA MDT PIM PSM PIT PST 模型驱动测试研究软件开发生成平台软件测试过程过程集成 Web应用相互转换测试生成; 在线阅读下载PDF 职称材料

基于比对的测试过程改进模型研究被引量：4: 7; 作者张文宁李喜艳周清雷《计算机工程与设计》 CSCD 北大核心 2010年第4期696-699,705,共5页; 虽然软件测试发展迅速,但仍存在生产率低、无法突显竞争优势等问题。为提高测试活动生产率,对软件复用思想进行了研究,提出了可重用测试用例的相关理论。针对无特定软件测试过程改进方法的问题,在研究目前流行的过程改进方法基础上,提... 展开更多; 关键词软件测试可重用测试用例基准比对软件测试过程改进; 在线阅读下载PDF 职称材料

基于统一无穷理论的软件测试可穷尽性研究被引量：1: 8; 作者何智涛何华灿刘超《智能系统学报》 CSCD 北大核心 2014年第6期641-652,共12页; 传统认为只要继续测试,总能发现新的软件缺陷,这使软件测试可信失去了理论基础。针对软件测试可穷尽性开展理论研究,将讨论范围从有穷领域扩展到无穷领域。首先从最新的实无穷理论研究成果统一无穷理论入手,得出了利用有限开销来判断无... 展开更多; 关键词软件测试统一无穷理论软件特征测试用例集合测试可穷尽性测试可信性软件缺陷软件测试演化过程统一数学归纳法; 在线阅读下载PDF 职称材料

测试能力成熟度模型被引量：4: 9; 作者胡兢玉《计算机工程》 CAS CSCD 北大核心 2003年第15期102-104,共3页; 介绍了美国Illinois Institute of Technology开发的测试能力成熟度模型（TMM），给出TMM的结构，描述了软件组织5个测试成熟度等级的行为特征、成熟度目标和成熟度子目标，并说明测试能力成熟度模型与软件能力成熟度模型（SW-CMM）的... 展开更多; 关键词测试成熟度模型(TMM) 软件能力成熟度模型(SW-CMM) 软件测试过程; 在线阅读下载PDF 职称材料

题名面向可信测试的软件测试过程模型扩充: 1; 作者张九思; 机构河海大学能源与电气学院; 出处《计算机应用与软件》北大核心 2024年第10期19-23,38,共6页; 文摘传统的测试过程在验证和确认软件可信特征的可信任能力不足,针对这种情况,提出一种面向可信测试的软件测试过程模型扩充方法。首先对BS10754-1标准定义的可信系统框架和GB/T 38634.2标准定义的通用软件测试过程进行分析,在此基础上,将BS10754-1标准中与测试过程显性相关或对测试过程可信有帮助的24条原则和73条技术提炼成21条可信测试任务,融入到GB/T 38634.2标准中的7个过程,新构建的测试过程模型能帮助企业提升软件测试在验证和确认软件可信方面的可信任能力。; 关键词可信测试软件测试过程 BS10754-1 GB/T 38634.2 可信特征可信系统框架; Keywords Trustworthiness test Software test process BS10754-1 GB/T 38634.2 Facets of trustworthiness Trustworthiness system framework; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种软件测试过程的博弈模型被引量：3: 2; 作者崔小乐王轶辰阮镰; 机构北京航空航天大学工程系统工程系; 出处《北京航空航天大学学报》 EI CAS CSCD 北大核心 2004年第8期797-802,共6页; 文摘为分析软件测试的动态过程及其中诸影响因素之间的关系 ,运用博弈理论 ,提出了一种新的软件测试过程建模分析方法 .建立了一种软件测试过程的博弈模型 ,并在此基础上对测试过程中的各方决策条件和博弈均衡条件进行了讨论 ,其结论有助于理论分析和解决“测试策略选择”和“何时停止测试”等问题 .由于考虑了参与软件测试活动的各方利益和可能行为 ,此方法较之软件测试控制论更能够对软件测试过程中所出现的情况进行解释 .本模型可为软件测试规程设计提供理论依据。; 关键词博弈论决策均衡软件测试过程随机性测试选择性测试; Keywords Decision making Dynamics Game theory Mathematical models Random processes Testing; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名应用统计过程控制监控软件测试过程被引量：2: 3; 作者车美儒杨国伟勾朗姜楠; 机构中国科学院软件研究所互联网软件技术实验室; 出处《计算机工程与设计》 CSCD 北大核心 2008年第3期725-730,共6页; 基金国家自然科学基金项目(60473060) 国家863高技术研究发展计划基金项目(2006AA01Z182); 文摘统计过程控制(SPC)是通过使用控制图来制定过程决策和预测过程行为的一种质量控制方法。SPC的方法用于软件过程,可以通过描述过程行为来监控过程的稳定性。讨论了将SPC应用于软件测试过程,针对测试过程中所度量的不同分布形式的数据而采用不同计算方式应用SPC的控制图,然后根据控制图判断测试过程是否稳定,并分析可能存在的可归属原因。; 关键词统计过程控制软件测试过程过程性能过程稳定性质量控制; Keywords statistical process control software testing process process performance process stability quality control; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名贝叶斯网络技术在软件测试过程中的应用研究被引量：3: 4; 作者申光刚董丽叶东升; 机构中国航天科工集团第二研究院; 出处《计算机工程与设计》 CSCD 北大核心 2006年第18期3406-3409,3423,共5页; 文摘为使软件测试管理者准确定义并把握软件测试过程中存在大量复杂的相互依赖、相互影响的关系,通过对有经验的测试人员在软件测试过程中的主观判断和从以往客观数据抽象出来的关系进行分析,用贝叶斯网络技术对其建模,并对模型中的关系量化,从而可以利用模型辅助测试过程进行管理,包括进行计划、决策和对软件产品的质量进行预测等。; 关键词软件测试软件测试过程软件度量过程度量贝叶斯网络; Keywords software testing software testing process software measurement process measurement Bayesian belief networks; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于CMMI的软件测试过程度量研究被引量：5: 5; 作者万邦睿丁晓明; 机构西南大学计算机与信息科学学院; 出处《计算机工程与设计》 CSCD 北大核心 2007年第11期2530-2532,2546,共4页; 基金重庆市科委自然科学基金项目(CSTC 2004BB0146)。; 文摘对软件测试过程的度量能够提高软件测试的有效性,保证软件的质量。通过CMMI与软件测试、度量的分析,提出了基于CMMI的软件测试过程模型,并以此为基础对软件测试过程度量元的有效选取进行了研究。建立了CMMI与GQM的映射关系模型,提出了度量元的选取原则,以一个应用案例证明了研究结果的可行性。; 关键词集成能力成熟度模型度量软件测试过程度量元有效性; Keywords CMMI measurement soflware test process metrics validity; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名模型驱动的软件测试研究被引量：6: 6; 作者王林章李宣东郑国梁; 机构南京大学计算机科学与技术系; 出处《计算机科学》 CSCD 北大核心 2005年第10期230-235,共6页; 基金 863项目(2002AA116090) 自然科学基金项目(60207036.60233020) 973项目(2002CB312001); 文摘 MDA(Model-DrivenArchitecture)旨在基于平台无关的模型(PIM)和平台相关的模型(PSM)之间的分离和相互转换来复用平台无关的设计,实现异构中间件平台之间的集成和互操作,从而把软件开发的重点提前到PIM的设计上,也使得在模型级解决测试生成问题成为研究热点。本文从过程、方法与工具三个方面研究了模型驱动的测试,首先提出与软件开发过程集成的模型驱动的软件测试过程;其次讨论了与过程对应的模型驱动的测试方法,基于PIM生成平台无关的测试(PIT),定义并实现了从PIT到平台相关的测试(PST)的映射算法,使得PST能够直接在相应平台上执行以发现软件实现是否与规约一致;最后,对上述过程中的方法提供工具支持。本文过程和方法在一个基于三层Web应用的在线银行系统上得到了实现。; 关键词 MDA MDT PIM PSM PIT PST 模型驱动测试研究软件开发生成平台软件测试过程过程集成 Web应用相互转换测试生成; Keywords MDA, MDT, PIM, PSM, PIT, PST; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论] TH166 [机械工程—机械制造及自动化]; 在线阅读下载PDF 职称材料

题名基于比对的测试过程改进模型研究被引量：4: 7; 作者张文宁李喜艳周清雷; 机构郑州大学信息工程学院; 出处《计算机工程与设计》 CSCD 北大核心 2010年第4期696-699,705,共5页; 基金国家863高技术研究发展计划基金项目(2007AA010408); 文摘虽然软件测试发展迅速,但仍存在生产率低、无法突显竞争优势等问题。为提高测试活动生产率,对软件复用思想进行了研究,提出了可重用测试用例的相关理论。针对无特定软件测试过程改进方法的问题,在研究目前流行的过程改进方法基础上,提出了支持复用的基于比对的测试过程改进方法,分析了该方法的优点,进一步将其应用到实际的测试项目中检测该方法的可行性和效率。实践结果表明,应用该模型能有效地提高测试生产率,促进测试过程的持续改进。; 关键词软件测试可重用测试用例基准比对软件测试过程改进; Keywords software testing reusable testing case benchmarking comparison software testing process improvement; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于统一无穷理论的软件测试可穷尽性研究被引量：1: 8; 作者何智涛何华灿刘超; 机构北京航空航天大学计算机学院西北工业大学计算机学院; 出处《智能系统学报》 CSCD 北大核心 2014年第6期641-652,共12页; 文摘传统认为只要继续测试,总能发现新的软件缺陷,这使软件测试可信失去了理论基础。针对软件测试可穷尽性开展理论研究,将讨论范围从有穷领域扩展到无穷领域。首先从最新的实无穷理论研究成果统一无穷理论入手,得出了利用有限开销来判断无穷过程可信性的基本方法,从软件特征定义入手,形式化定义了软件测试用例集合,得出了软件特征与测试用例/软件缺陷之间的对应关系;基于统一实无穷理论研究成果和统一数学归纳法,讨论了软件测试版本持续演化过程中,测试用例集合可穷尽性与软件测试质量的关系,回答了当测试用例集合是一个无穷集合时,软件测试该如何开展软件测试是否能穷尽的理论问题,并剖析测试可穷尽性的旧有认识。该文研究成果初步回答了困扰软件测试理论界多年的软件测试可穷尽性问题,为软件测试可信性研究奠定了坚实的理论基础。; 关键词软件测试统一无穷理论软件特征测试用例集合测试可穷尽性测试可信性软件缺陷软件测试演化过程统一数学归纳法; Keywords dependability of software testing software defects software testing evolution process unified mathe-matical in-duction; 分类号 TP311.53 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名测试能力成熟度模型被引量：4: 9; 作者胡兢玉; 机构中国电子设备系统工程公司研究所; 出处《计算机工程》 CAS CSCD 北大核心 2003年第15期102-104,共3页; 文摘介绍了美国Illinois Institute of Technology开发的测试能力成熟度模型（TMM），给出TMM的结构，描述了软件组织5个测试成熟度等级的行为特征、成熟度目标和成熟度子目标，并说明测试能力成熟度模型与软件能力成熟度模型（SW-CMM）的关系，以及笔者对测试能力成熟度模型的考虑。; 关键词测试成熟度模型(TMM) 软件能力成熟度模型(SW-CMM) 软件测试过程; Keywords Testing maturity model(TMM) Software capability maturity model(SW-CMM) Software testing process; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	面向可信测试的软件测试过程模型扩充	张九思	《计算机应用与软件》北大核心	2024	0	在线阅读下载PDF 职称材料
2	一种软件测试过程的博弈模型	崔小乐王轶辰阮镰	《北京航空航天大学学报》 EI CAS CSCD 北大核心	2004	3	在线阅读下载PDF 职称材料
3	应用统计过程控制监控软件测试过程	车美儒杨国伟勾朗姜楠	《计算机工程与设计》 CSCD 北大核心	2008	2	在线阅读下载PDF 职称材料
4	贝叶斯网络技术在软件测试过程中的应用研究	申光刚董丽叶东升	《计算机工程与设计》 CSCD 北大核心	2006	3	在线阅读下载PDF 职称材料
5	基于CMMI的软件测试过程度量研究	万邦睿丁晓明	《计算机工程与设计》 CSCD 北大核心	2007	5	在线阅读下载PDF 职称材料
6	模型驱动的软件测试研究	王林章李宣东郑国梁	《计算机科学》 CSCD 北大核心	2005	6	在线阅读下载PDF 职称材料
7	基于比对的测试过程改进模型研究	张文宁李喜艳周清雷	《计算机工程与设计》 CSCD 北大核心	2010	4	在线阅读下载PDF 职称材料
8	基于统一无穷理论的软件测试可穷尽性研究	何智涛何华灿刘超	《智能系统学报》 CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料
9	测试能力成熟度模型	胡兢玉	《计算机工程》 CAS CSCD 北大核心	2003	4	在线阅读下载PDF 职称材料