期刊文献+
共找到1,270篇文章
< 1 2 64 >
每页显示 20 50 100
一种基于TestNG框架的Web自动化测试实现
1
作者 刘玮玮 《信息化研究》 2025年第5期66-72,共7页
Web自动化测试是指通过自动化工具和脚本来模拟用户操作,验证Web应用程序的功能、性能和用户体验。随着Web应用的复杂性和用户期望的不断提高,自动化测试成为确保软件质量的重要手段。然而,目前一些常见的自动化测试方法普遍存在测试效... Web自动化测试是指通过自动化工具和脚本来模拟用户操作,验证Web应用程序的功能、性能和用户体验。随着Web应用的复杂性和用户期望的不断提高,自动化测试成为确保软件质量的重要手段。然而,目前一些常见的自动化测试方法普遍存在测试效率不高、不支持在测试生命周期的不同阶段执行自定义逻辑、不支持XML文件配置测试套件等问题。本文基于TestNG框架,提出一种结合数据驱动与页面对象(Page Object,PO)模式的自动化测试方法,通过引入监听器机制实现测试过程的实时监控与动态响应,解决了传统框架在测试生命周期管理方面的不足。该方法特别针对动态Web元素处理、并发测试场景和测试报告一体化等实际问题提供了有效解决方案,支持测试用例的灵活配置与并发执行。实验表明,该方法在测试效率、错误捕获率及报告生成一体化方面优于传统Unittest框架,尤其适用于高并发与高可靠性要求的Web测试场景。 展开更多
关键词 Web自动化测试 testNG框架 数据驱动 页面对象模式 监听器
在线阅读 下载PDF
A STUDY OF FINE DENIER POLYPROPYLENE FIBER KNITTED FABRICS' WET COMFORT——THE WET COMFORT STUDIED BY THE NORMAL OBJECTIVE TEST
2
作者 李俊 王云仪 张渭源 《Journal of China Textile University(English Edition)》 EI CAS 1996年第2期1-10,共10页
Based on the theory of moisture vapor permeability and liquid moisture transmission through fabric, this paper is mainly concerned with the wet comfort of the fine denier polypropylene fiber knitted fabrics. The liqui... Based on the theory of moisture vapor permeability and liquid moisture transmission through fabric, this paper is mainly concerned with the wet comfort of the fine denier polypropylene fiber knitted fabrics. The liquid water transport property the liquid water retention property, the moisture permeability property, the moisture releasing and drying property of these fabrics are tested by normal objective ways and discussed. At last, according to these properties these fabries are classified by grey model synthetic evaluation method. 展开更多
关键词 polypropylene tiber KNITTED FABRICS moisture transmission COMFORT objective test
在线阅读 下载PDF
Multiple Objective Test Design for Accelerated Destructive Degradation Tests
3
作者 黄硕 杨军 +1 位作者 彭锐 赵宇 《Journal of Donghua University(English Edition)》 EI CAS 2015年第6期954-956,共3页
Accelerated destructive degradation tests(ADDTs)are powerful to provide reliability information in the degradation processes with destructive measurements.In order to carry out an ADDT efficiently,both the estimation ... Accelerated destructive degradation tests(ADDTs)are powerful to provide reliability information in the degradation processes with destructive measurements.In order to carry out an ADDT efficiently,both the estimation precision of parameters and the test cost should be considered.On the basis of the given degradation model and failure criterion,a multiple-objective optimization model for the design of ADDTs is proposed.Under constrains of the maximum measurement time,the total sample size and the number of stress levels,a comprehensive target function is suggested to reflect both the precision of lifetime estimation and total cost,and the optimal test plan is obtained,which is composed by optimal choices for samples size,measurement frequency,and the number of measurements at each stress level.A real example is illustrated to demonstrate the implementation of the proposed approach. 展开更多
关键词 accelerated destructive degradation tests(ADDTs) highly reliable products multiple objectives test cost asymptotic variance
在线阅读 下载PDF
Subjective V.S Objective Test Item
4
作者 陶永艳 《海外英语》 2011年第4X期129-129,共1页
In this article,I will talk about the definition and discrimination of subjective test and objective test.The strong points and weak points are also discussed.Although each has its own disadvantages,subjective test an... In this article,I will talk about the definition and discrimination of subjective test and objective test.The strong points and weak points are also discussed.Although each has its own disadvantages,subjective test and objective test will still play important roles at present or in future.A good classroom test will usually contain both subjective and objective test items. 展开更多
关键词 SUBJECTIVE and objective test LANGUAGE
在线阅读 下载PDF
Test anxiety in objective structured clinical examinations (OSCEs) compared with traditional assessment methods in undergraduate midwifery students
5
作者 Mahbobeh Faramarzi Hajar Pasha +4 位作者 Afsaneh Bakhtiari Hajar Salmalian Mouloud Agajani Delavar Fatemeh Nasiri Amiri Maryam Nikpour 《Health》 2013年第12期2204-2209,共6页
BACKGROUND: Final comprehensive exam is the most important examination for midwifery students to evaluate their professional ability and Test anxiety is a common phenomenon among college students. Because test anxiety... BACKGROUND: Final comprehensive exam is the most important examination for midwifery students to evaluate their professional ability and Test anxiety is a common phenomenon among college students. Because test anxiety is one of the problems of educational systems, this study was performed to compare test anxiety in objective structured clinical examinations (OS-CEs) and traditional assessment methods (TAM) among Undergraduate Midwifery Students. Methods: In this descriptive-analytical study, 52 students of Babol Midwifery College were participated in the study. 20 students were evaluated using TAM in November 2010, and 32 students were evaluated using the OSCE method in July 2011. Data were collected via a two-component questionnaire including demographic data and the test anxiety inventory (TAI). Results: All of midwifery students were women;the mean age of students, ages of father and mother’s were 23.1 ± 0.7, 52.3 ± 3.5 and 47.8 ± 4.9 years, respectively. Most of the students were single (61.5%). The mean education levels of father and mother’s were 11.6 ± 4.5 and 9.9 ± 4.0 years, respectively. The mean score of test anxiety in students was 42.51 ± 13.16. The most of participants did have moderate test anxiety (56.9%), two present not had any test anxiety, 37.3% had low test anxiety, and 3.9% had severe test anxiety. In sum, 98% had some degrees of test anxiety. There were the statistical differences in the mean score of text anxiety in OSCEs Compared with TAM in Undergraduate Midwifery Students (39.38 ± 13.81 vs. 47.35 ± 10.67, P = 0.033). Also, the mean severity of anxiety was different in two groups. The mean of moderate/severe test anxiety was more in TAM compared with OSCEs (52.57% vs. 49.56%, p = 0.000). The test anxiety had a positive correlation with father’s education, mother’s education (0.286, p = 0.042), father’s age, mother’s age, marital status, residency (0.292, p = 0.042). Also, there are negative correlations with student age, satisfaction, total Grade Point Average (GPA) (-0.387, p = 0.007), final score, type of assessment (-0.298, p = 0.033). There is a significant difference between the severity anxiety residency in total (p = 0.10) and OSCEs (p = 0.049) groups, mother’s education in total (p = 0.005) and OSCEs groups (0.012) and GPA (p = 0.028). Conclusion: OSCEs were superior to TAM in the reduction of test anxiety in midwifery students. The prevalence of test anxiety was in TAM than OSCEs method;therefore, using OSCEs is acknowledged as an effective assessment tool and is seen as the gold standard for evaluating clinical performance. 展开更多
关键词 objective STRUCTURED Clinical Examination test ANXIETY MIDWIFERY STUDENT
暂未订购
Object-Z规格说明测试用例的自动生成器 被引量:5
6
作者 许庆国 缪淮扣 +1 位作者 曹晓夏 胡晓波 《软件学报》 EI CSCD 北大核心 2011年第6期1155-1168,共14页
对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造... 对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z规格说明中的模式定义,改进Object-Z的文法结构,给出了提取Object-Z规格说明语义的方法,研究了从Object-Z规格说明产生测试用例的自动化过程.这一过程主要包含3个阶段:Object-Z语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例. 展开更多
关键词 基于规格说明的测试 object-Z 语义提取 测试用例生成器
在线阅读 下载PDF
Quantifying Reusability of Object Oriented Design: A Testability Perspective
7
作者 Mahfuzul Huda Yagya Dutt Sharma Arya Mahmoodul Hasan Khan 《Journal of Software Engineering and Applications》 2015年第4期175-183,共9页
The quality factor of class diagram is critical because it has a significant influence on overall quality of the product, delivered finally. Testability analysis, when done early in the software creation process, is a... The quality factor of class diagram is critical because it has a significant influence on overall quality of the product, delivered finally. Testability analysis, when done early in the software creation process, is a criterion of critical importance to software quality. Reusability is an important quality factor to testability. Its early measurement in object oriented software especially at design phase, allows a design to be reapplied to a new problem without much extra effort. This research paper proposes a research framework for quantification process and does an extensive review on reusability of object oriented software. A metrics based model “Reusability Quantification of Object Oriented Design” has been proposed by establishing the relationship among design properties and reusability and justifying the correlation with the help of statistical measures. Also, “Reusability Quantification Model” is empirically validated and contextual significance of the study shows the high correlation for model acceptance. This research paper facilitates to software developers and designer, the inclusion of reusability quantification model to access and quantify software reusability for quality product. 展开更多
关键词 REUSABILITY testABILITY object ORIENTED DESIGN DESIGN Metrics object ORIENTED SOFTWARE SOFTWARE Quality Model SOFTWARE testing Effort
暂未订购
Class Tester:一个基于状态转换的类测试工具的设计与实现 被引量:1
8
作者 谢晓东 卢炎生 《小型微型计算机系统》 CSCD 北大核心 2007年第3期447-450,共4页
面向对象软件测试的类测试方法有三种:基于规约说明的类测试方法、基于类流图的类测试方法、基于状态转换的类测试方法.本文描述了一个针对C++语言的基于状态的类测试工具的设计和实现,介绍了该工具的体系结构和主要算法.对测试驱动器... 面向对象软件测试的类测试方法有三种:基于规约说明的类测试方法、基于类流图的类测试方法、基于状态转换的类测试方法.本文描述了一个针对C++语言的基于状态的类测试工具的设计和实现,介绍了该工具的体系结构和主要算法.对测试驱动器的自动生成的方法作了详细介绍.最后通过一个实例描述了该工具的工作流程. 展开更多
关键词 软件测试 面向对象软件测试 类测试 测试工具
在线阅读 下载PDF
基于离散元的植树挖穴机具钻头的仿真与优化
9
作者 杨春梅 韦剑 +2 位作者 孟繁伟 徐芹国 丁禹程 《农机化研究》 北大核心 2026年第6期97-104,共8页
近年来由于水土流失、过度砍伐树木等问题,导致土地荒漠化日益严重。植树造林是解决土地荒漠化的最有效、最根本的途径。钻头是植树机的核心零件,为提高植树机的种植效果,设计了一种适用于种植新疆杨树的挖穴钻头,通过寻求其最优工作参... 近年来由于水土流失、过度砍伐树木等问题,导致土地荒漠化日益严重。植树造林是解决土地荒漠化的最有效、最根本的途径。钻头是植树机的核心零件,为提高植树机的种植效果,设计了一种适用于种植新疆杨树的挖穴钻头,通过寻求其最优工作参数,达到较好的挖穴效果。以西补隆林场的土壤样本为参照,测定了土壤的相关属性,利用离散元分析软件建立了土壤的离散元模型,并分别模拟其与单螺旋钻头、双螺旋钻头切削作用的过程。仿真结果表明:相较于传统单螺纹钻头,双螺纹钻头的结构有利于降低钻头切削土壤时所受到的阻力。在离散元分析结果的基础上,通过正交试验优化了双螺旋钻头的结构参数与工艺参数。在相同进给深度下,钻头所受到的最大扭矩、出土量与钻头的螺纹倾角、向下进给速度、转速相关。以出土量最大和最大扭矩最小为优化目标,确定最优参数组合为螺纹倾角45°、进给速度85 mm/s和转速215 r/min,此参数下挖穴效果最佳。 展开更多
关键词 植树挖穴机具钻头 土壤建模 离散元仿真 正交试验 多目标优化
在线阅读 下载PDF
自动驾驶三维点云增强样本生成与测试流程标准化研究
10
作者 张爱玲 王亚飞 +3 位作者 华一丁 汪博文 孙家铭 龚伟 《中国汽车(中英文对照)》 2026年第1期24-29,共6页
3D点云数据因稀疏性易致目标检测精度不足,成为自动驾驶环境感知的关键瓶颈。本文提出基于投影对齐的点云增强样本生成方法,构建标准化的测试流程框架。采用“10%局部特征增强+90%全局均匀补全”混合生成策略提升点云稠密性。实验显示,... 3D点云数据因稀疏性易致目标检测精度不足,成为自动驾驶环境感知的关键瓶颈。本文提出基于投影对齐的点云增强样本生成方法,构建标准化的测试流程框架。采用“10%局部特征增强+90%全局均匀补全”混合生成策略提升点云稠密性。实验显示,在公开数据集Astyx HiRes2019上,生成的增强样本使3D目标检测mAP(IoU=0.7时)提升27.57%;在上海临港自采的数据集上,生成的增强样本仍能保持较好的检测性能,验证了方法的有效性与泛化能力,为自动驾驶点云感知精度优化提供了新思路,同时为自动驾驶点云增强样本生成与测试流程的标准化奠定了重要基础,为相关标准的制定与完善贡献了关键技术支撑。 展开更多
关键词 自动驾驶 3D点云 增强样本生成 测试流程标准化 目标检测
原文传递
电动自行车振动试验通用转接装置的设计研究
11
作者 吉文博 谈笑 +2 位作者 刘治敏 刘建辉 郑凡 《机械工程师》 2026年第2期160-164,共5页
为完成电动自行车整车特定试验条件下的振动试验工作,保障试验安全,文中介绍了一种专门用于电动自行车整车振动试验的夹持转接装置的设计和制造流程,利用Solid Works软件进行了建模和结构设计,利用Solid Works-Simulation模块对其进行... 为完成电动自行车整车特定试验条件下的振动试验工作,保障试验安全,文中介绍了一种专门用于电动自行车整车振动试验的夹持转接装置的设计和制造流程,利用Solid Works软件进行了建模和结构设计,利用Solid Works-Simulation模块对其进行了静力学分析和模态分析,确定了其结构强度和疲劳强度符合性。文中通过结构设计扩展了试验台面的几何安装范围,对市面上各类型的电动自行车具有一定的通用性。按相关试验标准进行的验证试验,证实了该设备的结构强度和设计合理性;电动自行车整车振动响应最优分析试验,证实了该设备对电动自行车整车研发的实用价值。 展开更多
关键词 电动自行车 振动试验 转接装置 被测物夹持
在线阅读 下载PDF
一种基于Object-Z规格说明的集成测试用例生成方法 被引量:2
12
作者 朱义毅 缪淮扣 唐新香 《上海大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第1期60-65,共6页
形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z... 形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z模式描述组件模型的方法,并且针对模型提出测试准则,产生测试场景,然后根据得到的测试场景产生测试用例. 展开更多
关键词 规格说明 集成测试 object—Z模型 测试用例 组件
在线阅读 下载PDF
基于Object-Z与Markov链的校园卡系统测试用例
13
作者 仲晓敏 侯建花 杨长青 《微电子学与计算机》 CSCD 北大核心 2012年第3期73-77,共5页
针对提高校园卡系统准确性和可靠性测试的要求,提出了Object-Z与Markov链结合的测试用例自动生成算法.使用Object-Z对系统进行形式化规约,生成测试场景和操作顺序图;将操作顺序图转换为Markov链使用模型;根据测试场景和Markov链使用模... 针对提高校园卡系统准确性和可靠性测试的要求,提出了Object-Z与Markov链结合的测试用例自动生成算法.使用Object-Z对系统进行形式化规约,生成测试场景和操作顺序图;将操作顺序图转换为Markov链使用模型;根据测试场景和Markov链使用模型生成数量相对合理的测试用例.该方法无需对系统进行运行,在需求分析与测试阶段就能对系统的功能进行测试.生成的校园卡系统测试用例证明该方法是有效的,并且在提高测试覆盖率的同时,使用Markov链也能保证对系统的可靠性测试. 展开更多
关键词 校园卡系统 object-Z 测试场景 MARKOV链 使用模型 测试用例
在线阅读 下载PDF
发动机悬置对整车属性影响研究
14
作者 陈俊燊 赖富刚 +2 位作者 张绍海 俞荣贵 许志辉 《中国汽车(中英文对照)》 2026年第2期113-118,共6页
动力总成系统的悬置不仅仅起到连接发动机与车身的作用,还通过动刚度、阻尼等抑制传递到车内的振动、噪声水平,与车辆的乘坐舒适性也息息相关。本文依托实车测试数据,从NVH性能和悬架舒适性两个关键维度,深入探究不同参数发动机悬置对... 动力总成系统的悬置不仅仅起到连接发动机与车身的作用,还通过动刚度、阻尼等抑制传递到车内的振动、噪声水平,与车辆的乘坐舒适性也息息相关。本文依托实车测试数据,从NVH性能和悬架舒适性两个关键维度,深入探究不同参数发动机悬置对整车性能的作用机制,旨在为发动机悬置的优化设计提供切实可行的理论支撑与实验依据。 展开更多
关键词 悬置 移频 主观评价 客观测试 NVH 悬架舒适性
原文传递
基于响应面法的隧道单层管片配筋优化及分析
15
作者 王云峰 《铁道建筑》 北大核心 2026年第1期120-124,共5页
以京滨(北京—天津滨海新区)城际铁路北辰—滨海新区段盾构隧道单层混凝土管片衬砌为研究对象,参考GB 50010—2010《混凝土设计规范》并结合工程实际需求,基于有限元仿真技术,通过DOE(Design of Experiments)构建参数样本空间,结合响应... 以京滨(北京—天津滨海新区)城际铁路北辰—滨海新区段盾构隧道单层混凝土管片衬砌为研究对象,参考GB 50010—2010《混凝土设计规范》并结合工程实际需求,基于有限元仿真技术,通过DOE(Design of Experiments)构建参数样本空间,结合响应面法(Response Surface Method,RSM)与遗传聚合算法建立数学代理模型,并采用多目标遗传算法(Multi-objective Genetic Algorithm,MOGA)进行配筋优化设计,在确保结构安全的同时降低钢筋用量,提高经济效益。结果表明:基于响应面法与遗传算法的多目标优化方法能有效平衡结构安全性和经济性,可为管片配筋优化设计提供参考。 展开更多
关键词 铁路隧道 钢筋混凝土管片 配筋优化 模型试验 响应面法 目标优化 遗传算法
在线阅读 下载PDF
基于多目标优化的同步注浆浆液性能改良研究
16
作者 姚远 刘维 +2 位作者 刘映晶 陈城 梁家馨 《岩土工程技术》 2026年第1期120-131,共12页
针对盾构同步注浆中易发生的浆液稀释、离析等问题,通过分析实际工程案例,确定浆液配比后进行室内试验,采用SPSS及MINITAB分析试验结果,并结合MATLAB开展符合施工要求的浆液配比优化研究。分析表明:浆液水胶比集中在0.6~0.9,胶砂比集中... 针对盾构同步注浆中易发生的浆液稀释、离析等问题,通过分析实际工程案例,确定浆液配比后进行室内试验,采用SPSS及MINITAB分析试验结果,并结合MATLAB开展符合施工要求的浆液配比优化研究。分析表明:浆液水胶比集中在0.6~0.9,胶砂比集中在0.4~1.0,膨水比集中在0.1~0.3,灰粉比集中在0.2~0.6;水胶比对密度和稠度影响较大,膨水比主要影响流动度、泌水率和固结收缩率,灰粉比对凝结时间和强度影响显著;与MATLAB工具箱求解器的fmincon函数相比,改进的多目标遗传算法(NSGA-II)优化结果精度更高,经优化得到最优配比:水胶比0.60、胶砂比0.87、膨水比0.25、灰粉比0.60。基于此,对北京12号线某盾构区间施工进行验证分析,结果表明相较于已有方案,基于多目标优化的浆液在地层变形控制上效果更优。 展开更多
关键词 盾构同步注浆 正交试验 配比优化 多目标规划 地层沉降
在线阅读 下载PDF
Burning characteristics of microcellular combustible objects 被引量:1
17
作者 Wei-tao YANG Yu-xiang LI San-jiu YING 《Defence Technology(防务技术)》 SCIE EI CAS 2014年第2期106-110,共5页
Microcellular combustible objects for application of combustible case,caseless ammunition or combustible detonator-holding tubes are fabricated through one-step foaming process,in which supercritical CO_2 is used as f... Microcellular combustible objects for application of combustible case,caseless ammunition or combustible detonator-holding tubes are fabricated through one-step foaming process,in which supercritical CO_2 is used as foaming agent.The formulations consist of inert polymer binder and ultra fine RDX.For the inner porous structures of microcellular combustible objects,the cell sizes present a unimodal or bimodal distribution by adjusting the foaming conditions.Closed bomb test is to investigate the influence of both porous structure style and RDX content on burning behavior.The sample with bimodal distribution of cell sizes burns faster than that with unimodal distribution,and the concentration of RDX can influence the burning characteristics in a positive manner.In addition,the translation of laminar burning to convective burning is determined by burning rate versus pressure curves of samples at two different loading densities,and the resulting transition pressure is 30 MPa.Moreover,the samples with bigger sample size present higher burning rate,resulting in providing deeper convective depth.Dynamic vivacity of samples is also studied.The results show that the vivacity increases with RDX content and varies with inner structure. 展开更多
关键词 燃烧性能 可燃物 超临界二氧化碳 发泡过程 多孔结构 双峰分布 单峰分布 压力曲线
在线阅读 下载PDF
数字试验测试技术研究现状、挑战与展望
18
作者 孙波 郑凯 《系统仿真学报》 北大核心 2025年第8期1885-1906,共22页
数字试验测试融合多种数字化理论和技术在数字空间中完成试验测试,是数字时代试验测试发展的新形态。分析了不同历史阶段测试对象的特点,梳理了各时期试验测试技术的核心特征,展示了试验测试技术体系的范式变迁;探讨了信息时代测试对象... 数字试验测试融合多种数字化理论和技术在数字空间中完成试验测试,是数字时代试验测试发展的新形态。分析了不同历史阶段测试对象的特点,梳理了各时期试验测试技术的核心特征,展示了试验测试技术体系的范式变迁;探讨了信息时代测试对象对试验测试提出的新需求,并阐释了新形势下数字试验测试的内涵;围绕数字试验测试“设计-建模-实现-应用”全流程技术体系,提出了关键技术突破方向,并指出了从“实测”向“智测”转变过程中数字试验与测试面临的挑战;对数字试验测试在理论、人才、标准和产业等方面的发展进行了展望。 展开更多
关键词 试验测试 数字试验测试 测试对象 试验设计 试验数据 人工智能
原文传递
An approach to formalizing specification-based class testing
19
作者 缪淮扣 刘玲 《Journal of Shanghai University(English Edition)》 CAS 2006年第1期25-32,共8页
This paper presents a framework that can be used to formalize the specification-based single-class test generation process. Object-Z is used to describe both software requirements and the proposed framework. Using thi... This paper presents a framework that can be used to formalize the specification-based single-class test generation process. Object-Z is used to describe both software requirements and the proposed framework. Using this framework, test engineers can automatically get the testing process model during the test generation process. With this model, properties of test cases ( such as relationship between test cases and methods can easily be captured. Furthermore, with the framework, the test process model can be updated automatically with the test generation process. The properties of test cases can then be updated correspondingly. It will greatly facilitate the regression testing. The main contribution of this paper is that it provides an approach to formalizing testing process by extending existing framework to class testing, and a way to represent test cases as multi-part, multi-step, multi-level artifacts. 展开更多
关键词 test class framework class testing finite state machine (FSM) object-Z.
在线阅读 下载PDF
Dynamic Slicing of Object Oriented Programs
20
作者 Jian\|jun Zhao Department of Computer Science and Engineering, Fukuoka Institute of Technology, Fukuoka 811 0295, Japan 《Wuhan University Journal of Natural Sciences》 CAS 2001年第Z1期391-397,共7页
Program slice has many applications such as program debugging, testing, maintenance, and complexity measurement. A static slice consists of all statements in program P that may effect the value of variable v a... Program slice has many applications such as program debugging, testing, maintenance, and complexity measurement. A static slice consists of all statements in program P that may effect the value of variable v at some point p , and a dynamic slice consists only of statements that influence the value of variable occurrence for specific program inputs. In this paper, we concern the problem of dynamic slicing of object oriented programs which, to our knowledge, has not been addressed in the literatures. To solve this problem, we present the dynamic object oriented dependence graph (DODG)which is an arc classified digraph to explicitly represent various dynamic dependence between statement instances for a particular execution of an object oriented program. Based on the DODG, we present a two phase backward algorithm for computing a dynamic slice of an object oriented program. 展开更多
关键词 program slicing dynamic dependence graph object oriented program SOFTWARE maintenance DEBUGGING testing
在线阅读 下载PDF
上一页 1 2 64 下一页 到第
使用帮助 返回顶部