期刊文献+
共找到625篇文章
< 1 2 32 >
每页显示 20 50 100
Modified Harris Hawks Optimization Based Test Case Prioritization for Software Testing 被引量:1
1
作者 Manar Ahmed Hamza Abdelzahir Abdelmaboud +5 位作者 Souad Larabi-Marie-Sainte Haya Mesfer Alshahrani Mesfer Al Duhayyim Hamza Awad Ibrahim Mohammed Rizwanullah Ishfaq Yaseen 《Computers, Materials & Continua》 SCIE EI 2022年第7期1951-1965,共15页
Generally,software testing is considered as a proficient technique to achieve improvement in quality and reliability of the software.But,the quality of test cases has a considerable influence on fault revealing capabi... Generally,software testing is considered as a proficient technique to achieve improvement in quality and reliability of the software.But,the quality of test cases has a considerable influence on fault revealing capability of software testing activity.Test Case Prioritization(TCP)remains a challenging issue since prioritizing test cases is unsatisfactory in terms of Average Percentage of Faults Detected(APFD)and time spent upon execution results.TCP ismainly intended to design a collection of test cases that can accomplish early optimization using preferred characteristics.The studies conducted earlier focused on prioritizing the available test cases in accelerating fault detection rate during software testing.In this aspect,the current study designs aModified Harris Hawks Optimization based TCP(MHHO-TCP)technique for software testing.The aim of the proposed MHHO-TCP technique is to maximize APFD and minimize the overall execution time.In addition,MHHO algorithm is designed to boost the exploration and exploitation abilities of conventional HHO algorithm.In order to validate the enhanced efficiency of MHHO-TCP technique,a wide range of simulations was conducted on different benchmark programs and the results were examined under several aspects.The experimental outcomes highlight the improved efficiency of MHHO-TCP technique over recent approaches under different measures. 展开更多
关键词 software testing harris hawks optimization test case prioritization apfd execution time metaheuristics
下载PDF
Software Test Case Generation with Adequacy Analysis on Scenario-Based Testing 被引量:3
2
作者 刘振宇 杨根兴 蔡立志 《Journal of Donghua University(English Edition)》 EI CAS 2011年第2期139-144,共6页
This paper studies the software scenario testing, which is commonly used in black-box testing at present. In the paper, the workflow model based on task-driven, which is very common in scenario testing, is analyzed. A... This paper studies the software scenario testing, which is commonly used in black-box testing at present. In the paper, the workflow model based on task-driven, which is very common in scenario testing, is analyzed. According to test adequacy criteria in scenario testing, the model is designed to correspond test cases in the light of logic block(LB). The final test cases that conform to the test adequacy criteria can be obtained through test case combination and test case reduction. In the last part of the paper, example of actual workflow is to design the efficient test case. Therefore the method is proved to be effective. 展开更多
关键词 test case test adequacy system scenario software testing
下载PDF
Test case generation based on orthogonal table for software black-box testing
3
作者 刘久富 杨忠 +1 位作者 杨振兴 孙琳 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2008年第3期365-368,共4页
Software testing is an important means to assure the software quality. This paper presents a practicable method to generate test cases of software testing, which is operational and high efficient. We discuss the ident... Software testing is an important means to assure the software quality. This paper presents a practicable method to generate test cases of software testing, which is operational and high efficient. We discuss the identification of software specification categories and choices and make a classification tree. Based on the orthogonal array, it is easy to generate test cases. The number of this method is less than that of all combination of the choices. 展开更多
关键词 software quality software testing test case orthogonal array
下载PDF
Ontology Driven Testing Strategies for IoT Applications
4
作者 Muhammad Raza Naqvi Muhammad Waseem Iqbal +5 位作者 Muhammad Usman Ashraf Shafiq Ahmad Ahmed T.Soliman Shahzada Khurram Muhammad Shafiq Jin-Ghoo Choi 《Computers, Materials & Continua》 SCIE EI 2022年第3期5855-5869,共15页
Internet-of-Things(IoT)has attained a major share in embedded software development.The new era of specialized intelligent systems requires adaptation of customized software engineering approaches.Currently,software en... Internet-of-Things(IoT)has attained a major share in embedded software development.The new era of specialized intelligent systems requires adaptation of customized software engineering approaches.Currently,software engineering has merged the development phases with the technologies provided by industrial automation.The improvements are still required in testing phase for the software developed to IoT solutions.This research aims to assist in developing the testing strategies for IoT applications,therein ontology has been adopted as a knowledge representation technique to different software engineering processes.The proposed ontological model renders 101 methodology by using Protégé.After completion,the ontology was evaluated in three-dimensional view by the domain experts of software testing,IoT and ontology engineering.Satisfied results of the research are showed in interest of the specialists regarding proposed ontology development and suggestions for improvements.The Proposed reasoning-based ontological model for development of testing strategies in IoT application contributes to increase the general understanding of tests in addition to assisting for the development of testing strategies for different IoT devices. 展开更多
关键词 ontology software testing internet of things AUTOMATION
下载PDF
Real-time embedded software testing method based on extended finite state machine 被引量:6
5
作者 Yongfeng Yin Bin Liu Hongying Ni 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2012年第2期276-285,共10页
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab... The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine (RT-EFSM) model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class (timeCTEC) are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively. 展开更多
关键词 real-time system real-time embedded software for- mal method extended finite state machine (EFSM) testing se- quence test case.
下载PDF
Software Operational Profile Based Test Case Allocation Using Fuzzy Logic 被引量:1
6
作者 K.Saravana Kumar Ravindra Babu Misra 《International Journal of Automation and computing》 EI 2007年第4期388-395,共8页
Software operational profile (SOP) is used in software reliability prediction, software quality assessment, performance analysis of software, test case allocation, determination of "when to stop testing," etc. Due... Software operational profile (SOP) is used in software reliability prediction, software quality assessment, performance analysis of software, test case allocation, determination of "when to stop testing," etc. Due to the limited data resources and large efforts required to collect and convert the gathered data into point estimates, reluctance is observed by the software professionals to develop the SOP. A framework is proposed to develop SOP using fuzzy logic, which requires usage data in the form of linguistics. The resulting profile is named fuzzy software operational profile (FSOP). Based on this work, this paper proposes a generalized approach for the allocation of test cases, in which occurrence probability of operations obtained from FSOP are combined with the criticality of the operations using fuzzy inference system (FIS). Traditional methods for the allocation of test cases do not consider the application in which software operates. This is intuitively incorrect. To solve this problem, allocation of test cases with respect to software application using the FIS model is also proposed in this paper. 展开更多
关键词 software reliability software operational profile CRITICALITY fuzzy logic test case allocation.
下载PDF
AN ALGORITHM FOR AUTOMATICALLY GENERATING BLACK-BOX TEST CASES 被引量:3
7
作者 XuBaowen NieChanghai 《Journal of Electronics(China)》 2003年第1期74-77,共4页
Selection of test cases plays a key role in improving testing efficiency. Black-box testing is an important way of testing, and its validity lies on the selection of test cases in some sense. A reasonable and effectiv... Selection of test cases plays a key role in improving testing efficiency. Black-box testing is an important way of testing, and its validity lies on the selection of test cases in some sense. A reasonable and effective method about the selection and generation of test cases is urgently needed. This letter first introduces some usualmethods on black-box test case generation,then proposes a new algorithm based on interface parameters and discusses its properties, finally shows the effectiveness of the algorithm. 展开更多
关键词 software testing Black-box testing test case Interface parameters Combination coverage
下载PDF
Test Case Generation of Component Software Based on UML Activity Diagram and Genetic Algorithm
8
作者 Yu Song Xinhong Wang 《通讯和计算机(中英文版)》 2011年第6期503-507,共5页
关键词 测试用例生成 UML活动图 组件软件 遗传算法 软件测试 统一建模语言 测试方法 生成方法
下载PDF
Structured Query Language Injection Penetration Test Case Generation Based on Formal Description
9
作者 韩明 苗长云 《Journal of Donghua University(English Edition)》 EI CAS 2015年第3期446-452,共7页
Aiming to improve the Structured Query Language( SQL) injection penetration test accuracy through the formalismguided test case generation,an attack purpose based attack tree model of SQL injection is proposed,and the... Aiming to improve the Structured Query Language( SQL) injection penetration test accuracy through the formalismguided test case generation,an attack purpose based attack tree model of SQL injection is proposed,and then under the guidance of this model, the formal descriptions for the SQL injection vulnerability feature and SQL injection attack inputs are established. Moreover,according to new coverage criteria,these models are instantiated and the executable test cases are generated.Experiments show that compared with the random enumerated test case used in other works,the test case generated by our method can detect the SQL injection vulnerability more effectively. Therefore,the false negative is reduced and the test accuracy is improved. 展开更多
关键词 software security penetration test web application structured query language(SQL) injection test case
下载PDF
An Automated Approach to Generate Test Cases From Use Case Description Model 被引量:1
10
作者 Thamer A.Alrawashed Ammar Almomani +1 位作者 Ahmad Althunibat Abdelfatah Tamimi 《Computer Modeling in Engineering & Sciences》 SCIE EI 2019年第6期409-425,共17页
Test complexity and test adequacy are frequently raised by software developers and testing agents.However,there is little research works at this aspect on specification-based testing at the use case description level.... Test complexity and test adequacy are frequently raised by software developers and testing agents.However,there is little research works at this aspect on specification-based testing at the use case description level.Thus,this research proposes an automatic test cases generator approach to reduce the test complexity and to enhance the percentage of test coverage.First,to support the infrastructure for performing automatic,this proposed approach refines the use cases using use case describing template and save it in the text file.Then,the saved file is input to the Algorithm of Control Flow Diagram(ACFD)to convert use case details to a control flow diagram.After that,the Proposed Tool of Generating Test Paths(PTGTP)is used to generate test cases from the control flow diagram.Finally,the genetic algorithm associated with transition coverage is adapted to optimize and evaluate the adequacy of such test cases.A money withdrawal use case in the ATM system is used as an ongoing case study.Preliminary results show that the generated test cases achieve high coverage with an optimal test case.This automatic test case generation approach is effective and efficient.Therefore,it could promote to use other test case coverage criteria. 展开更多
关键词 software testing test caseS software SPECIFICATIONS GENETIC algorithm
下载PDF
Effective Generation of Test Cases Using Genetic Algorithms and Optimization Theory
11
作者 Izzat Alsmadi Faisal Alkhateeb Eslam AI Maghayreh Samer Samarah Iyad Abu Doush 《通讯和计算机(中英文版)》 2010年第11期72-82,共11页
关键词 测试用例生成 优化理论 遗传算法 生成基 健身功能 测试数据库 软件项目 有效利用
下载PDF
Research of testing method based on UML statecharts
12
作者 占学德 《Journal of Shanghai University(English Edition)》 CAS 2006年第5期469-470,共2页
Unified modeling language (UML) is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and... Unified modeling language (UML) is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts. 展开更多
关键词 unified modeling language (UML) statechart formalsemantics flattened regular expression (FREE) model specification based software testing test criteria automatic generation of test case.
下载PDF
Implementation of Hybrid Particle Swarm Optimization for Optimized Regression Testing 被引量:2
13
作者 V.Prakash S.Gopalakrishnan 《Intelligent Automation & Soft Computing》 SCIE 2023年第6期2575-2590,共16页
Software test case optimization improves the efficiency of the software by proper structure and reduces the fault in the software.The existing research applies various optimization methods such as Genetic Algorithm,Cr... Software test case optimization improves the efficiency of the software by proper structure and reduces the fault in the software.The existing research applies various optimization methods such as Genetic Algorithm,Crow Search Algorithm,Ant Colony Optimization,etc.,for test case optimization.The existing methods have limitations of lower efficiency in fault diagnosis,higher computa-tional time,and high memory requirement.The existing methods have lower effi-ciency in software test case optimization when the number of test cases is high.This research proposes the Tournament Winner Genetic Algorithm(TW-GA)method to improve the efficiency of software test case optimization.Hospital Information System(HIS)software was used to evaluate TW-GA model perfor-mance in test case optimization.The tournament Winner in the proposed method selects the instances with the best fitness values and increases the exploitation of the search to find the optimal solution.The TW-GA method has higher exploita-tion that helps to find the mutant and equivalent mutation that significantly increases fault diagnosis in the software.The TW-GA method discards the infor-mation with a lower fitness value that reduces the computational time and mem-ory requirement.The TW-GA method requires 5.47 s and the MOCSFO method requires 30 s for software test case optimization. 展开更多
关键词 Equivalent mutation fault diagnosis hospital information system software test case optimization tournament winner genetic algorithm
下载PDF
Improved metrics for evaluating fault detection efficiency of test suite
14
作者 王子元 陈林 +1 位作者 汪鹏 仉雪玲 《Journal of Southeast University(English Edition)》 EI CAS 2014年第3期285-288,共4页
By analyzing the average percent of faults detected (APFD) metric and its variant versions, which are widely utilized as metrics to evaluate the fault detection efficiency of the test suite, this paper points out so... By analyzing the average percent of faults detected (APFD) metric and its variant versions, which are widely utilized as metrics to evaluate the fault detection efficiency of the test suite, this paper points out some limitations of the APFD series metrics. These limitations include APFD series metrics having inaccurate physical explanations and being unable to precisely describe the process of fault detection. To avoid the limitations of existing metrics, this paper proposes two improved metrics for evaluating fault detection efficiency of a test suite, including relative-APFD and relative-APFDc. The proposed metrics refer to both the speed of fault detection and the constraint of the testing source. The case study shows that the two proposed metrics can provide much more precise descriptions of the fault detection process and the fault detection efficiency of the test suite. 展开更多
关键词 software testing test case prioritization fault detection efficiency METRIC
下载PDF
Regression Testing in Developer Environment for Absence of Code Coverage
15
作者 M. Thillaikarasi K. Seetharaman 《Journal of Software Engineering and Applications》 2014年第8期617-625,共9页
The techniques of test case prioritization schedule the execution order of test cases to attain respective target, such as enhanced level of forecasting the fault. The requirement of the prioritization can be viewed a... The techniques of test case prioritization schedule the execution order of test cases to attain respective target, such as enhanced level of forecasting the fault. The requirement of the prioritization can be viewed as the en-route for deriving an order of relation on a given set of test cases which results from regression testing. Alteration of programs between the versions can cause more test cases which may respond differently to following versions of software. In this, a fixed approach to prioritizing test cases avoids the preceding drawbacks. The JUnit test case prioritization techniques operating in the absence of coverage information, differs from existing dynamic coverage-based test case prioritization techniques. Further, the prioritization test cases relying on coverage information were projected from fixed structures relatively other than gathered instrumentation and execution. 展开更多
关键词 software testing Regression testing test case PRIORITIZATION JUNIT CALL Graph
下载PDF
COMBINATORIAL DESIGN APPROACHES FOR AUTOMATIC TEST GENERATION
16
作者 ShiLiang XuBaowen NieChanghai 《Journal of Electronics(China)》 2005年第2期205-208,共4页
The n-way combination testing is a specification-based testing criterion, which requires that for a system consisted of a few parameters, every combination of valid values of arbitrary n(n >_2) parameters be covere... The n-way combination testing is a specification-based testing criterion, which requires that for a system consisted of a few parameters, every combination of valid values of arbitrary n(n >_2) parameters be covered by at least one test. This letter proposed two different test generation algorithms based on combinatorial design for the n-way coverage criterion. The automatic test generators are implemented and some valuable empirical results are obtained. 展开更多
关键词 software testing n-way combination testing test case
下载PDF
A Comparative Evaluation of Test Coverage Techniques Effectiveness
17
作者 Xaveria Youh Djam Nachamada Vachaku Blamah Modesta Ero Ezema 《Journal of Software Engineering and Applications》 2021年第4期95-109,共15页
<div style="text-align:justify;"> <span style="font-family:Verdana;">Software systems have become complex and challenging to develop and maintain because of the large size of test cases... <div style="text-align:justify;"> <span style="font-family:Verdana;">Software systems have become complex and challenging to develop and maintain because of the large size of test cases with increased scalability issues. Test case prioritization methods have been successfully utilized in test case management. However, the prohibitively exorbitant cost of large test cases is now the mainstream in the software industry. The growth of agile test-driven development has increased the expectations for software quality. Yet, our knowledge of when to use various path testing criteria for cost-effectiveness is inadequate due to the inherent complexity in software testing. Existing researches attempted to address the issue without effectively tackling the scalability of large test suites to reduce time in regression testing. In order to provide a more accurate way of fault detection in software projects, we introduced novel coverage criteria, called Incremental Cluster-based test case Prioritization (ICP), and investigated its potentials by making a comparative evaluation with three un-clustered traditional coverage-based criteria: Prime-Path Coverage (PPC), Edge-Pair Coverage (EPC) and Edge Coverage (EC) based on mutation analysis. By clustering test suites, based on their dynamic run-time behavior, the number of pair-wise comparisons is reduced significantly. To compare, we analyzed 20 functions from 25 C programs, instrumented faults into the programs, and used the Mull mutation tool to generate mutants and perform a statistical analysis of the results. The experimental results show that ICP can lead to cost-effective improvements in fault detection.</span> </div> 展开更多
关键词 software testing Fault Detection Mutation Analysis test case Prioritization Control Flow Coverage
下载PDF
基于StP CASE工具的软件自动测试环境的设计与实现
18
作者 董燕 杨孟飞 《航天控制》 CSCD 北大核心 2003年第4期47-52,共6页
在软件开发过程中,软件测试费用占总成本的50%左右,为降低测试费用和进一步提高软件测试质量,软件测试自动化是必要的。本文以 StP CASE为例,构造了基于StP的自动测试环境,并通过实例进行了验证。研究表明,这种自动测试环境具有测试效... 在软件开发过程中,软件测试费用占总成本的50%左右,为降低测试费用和进一步提高软件测试质量,软件测试自动化是必要的。本文以 StP CASE为例,构造了基于StP的自动测试环境,并通过实例进行了验证。研究表明,这种自动测试环境具有测试效率高、可靠性好、易维护等优点,对今后开展这方面的测试研究具有一定的参考价值。 展开更多
关键词 case工具 软件测试自动化 成本 自动测试环境 STP 软件开发 测试级别 设计方案
下载PDF
Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes
19
作者 Ednah Olubunmi Aliyu 《Journal of Software Engineering and Applications》 2023年第6期170-192,共23页
Debugging software code has been a challenge for software developers since the early days of computer programming. A simple need, because the world is run by software. So perhaps the biggest engineering challenge is f... Debugging software code has been a challenge for software developers since the early days of computer programming. A simple need, because the world is run by software. So perhaps the biggest engineering challenge is finding ways to make software more reliable. This review provides an overview of techniques developed over time in the field of software model checking to solve the problem of detecting errors in program code. In addition, the challenges posed by this technology are discussed and ways to mitigate them in future research and applications are proposed. A comprehensive examination of the various model verification methods used to detect program code errors is intended to lay the foundation for future research in this area. 展开更多
关键词 software Model Checking Symbolic Execution State Explosion ABSTRACTION test case Generations
下载PDF
IOTEST在某型模拟对抗终端嵌入式软件测试中的应用 被引量:5
20
作者 吴海东 陈哲 +2 位作者 保亚运 吴波 王云飞 《计算机测量与控制》 2017年第9期106-109,共4页
由于嵌入式系统对功能和性能的高要求,对嵌入式软件进行测试存在一定难度;嵌入式系统通过各种不同类型的接口与外界实现交互,故而对嵌入式系统的接口进行测试,是保证嵌入式软件质量的重要途径;以某型模拟对抗终端嵌入式软件为例,根据该... 由于嵌入式系统对功能和性能的高要求,对嵌入式软件进行测试存在一定难度;嵌入式系统通过各种不同类型的接口与外界实现交互,故而对嵌入式系统的接口进行测试,是保证嵌入式软件质量的重要途径;以某型模拟对抗终端嵌入式软件为例,根据该型终端的特点,对基于IOTEST实现嵌入式软件测试的自动化进行研究;依照测试需求分析、测试环境搭建、测试建模、变量配置、测试脚本编写、测试执行的测试步骤和方法,通过测试实现过程详细说明了IOTEST在嵌入式软件测试中的应用;测试结果表明,IOTEST能够对嵌入式系统接口的正确性、实时性和可靠性进行有效地测试,该工具在测试过程中具备良好的实用性和通用性;在嵌入式软件的测试过程中合理使用IOTEST,可以有效提高测试效率,保证软件质量。 展开更多
关键词 嵌入式软件 软件测试 IOtest 测试用例
下载PDF
上一页 1 2 32 下一页 到第
使用帮助 返回顶部