检索结果-南通市图书馆

Intelligent test case generation based on branch and bound

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

The Journal of China Universities of Posts and Telecommunications 2014年第2期21卷 91-97,103页

作者： XING Ying GONG Yun-zhan WANG Ya-wen ZHANG Xu-zhou State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications School of Electronic and Information Engineering Liaoning Technical University State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences

Path-oriented test case generation is in essence a constraint satisfaction problem （CSP） solved by search strategies, among which backtracking algorithms are widely used. In this article, the backtracking algorithm branch and bound （BB） is introduced to generate path-oriented test cases automatically. A model based on state space search is proposed to construct the search tree dynamically. The BB is optimized from two perspectives. Variable permutation with a heuristic rule to break ties is adopted for the branching operation, and interval computation with analysis on the monotony of branching conditions is utilized for the bounding operation. Empirical experiments show that the proposed method performs well with linear complexity, and reaches 100% coverage on some benchmark programs with an advantage over some static and dynamic algorithms.

关键词： test case generation constraint satisfaction problem branch and bound state space search

维普期刊数据库

Automated test case generation from Requirements: A Systematic Literature Review

在线全文

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2021年第5期67卷 1819-1833页

作者： Ahmad Mustafa Wan M.N.Wan-Kadir Noraini Ibrahim Muhammad Arif Shah Muhammad Younas Atif Khan Mahdi Zareei Faisal Alanazi Department of Software Engineering School of ComputingUniversiti Teknologi Malaysia Johor BahruJohor81310Malaysia Department of Computer Science Government College UniversityFaisalabad38000Pakistan Department of Software Engineering Pak-Austria Fachhochschule Institute of Applied Sciences and TechnologyHaripur22620Pakistan Department of Computer Science Islamia College PeshawarPeshawarPakistan Tecnologico de Monterrey School of Engineering and SciencesZapopan45201Mexico Department of Electrical Engineering Prince Sattam Bin Abdulaziz UniversityAl Kharj11942Saudi Arabia

Software testing is an important and cost intensive activity in software *** major contribution in cost is due to test case ***-based testing is an approach in which test cases are derivative from requirements without considering the implementation’s internal ***-based testing includes functional and nonfunctional *** objective of this study is to explore the approaches that generate test cases from requirements.A systematic literature review based on two research questions and extensive quality assessment criteria includes *** study identies 30 primary studies from 410 studies spanned from 2000 to *** review’s nding shows that 53%of journal papers,42%of conference papers,and 5%of book chapters’address requirementsbased *** of the studies use UML,activity,and use case diagrams for test case generation from *** of the signicant lessons learned is that most software testing errors are traced back to errors in natural language requirements.A substantial amount of work focuses on UML diagrams for test case generations,which cannot capture all the system’s developed ***,there is a lack of UML-based models that can generate test cases from natural language requirements by rening them in *** criteria indicate how efciently the testing has been performed 12.37%of studies use requirements coverage,20%of studies cover path coverage,and 17%study basic coverage.

关键词： test case generation functional testing techniques requirementsbased test case generation system testing natural language requirement requirements tractability coverage criteria

Class hierarchical test case generation algorithm based on expanded EMDPN model

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Central South University of Technology 2006年第6期13卷 717-721页

作者：李军义龚红仿胡积平邹北骥孙家广 School of Computer and Communication Hunan University School of Information Science and Engineering Central South University School of Software Tsinghua University

A new model of event and message driven Petri network(EMDPN) based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical test-case generation algorithm with cooperated paths (copaths) was proposed, which can be used to solve the problems resulting from the class inheritance mechanism encountered in object-oriented software testing such as oracle, message transfer errors, and unreachable statement. Finally, the testing sufficiency was analyzed with the ordered sequence testing criterion(OSC). The results indicate that the test cases stemmed from newly proposed automatic algorithm of copaths generation satisfies synchronization message sequences testing criteria, therefore the proposed new algorithm of copaths generation has a good coverage rate.

关键词： class testing test case generation event and message driven Petri network cooperation paths

维普期刊数据库

Worst-Input Mutation Approach to Web Services Vulnerability testing Based on SOAP Messages

在线全文

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2014年第5期19卷 429-441页

作者： Jinfu Chen Huanhuan Wang Dave Towey Chengying Mao Rubing Huang Yongzhao Zhan School of Computer Science and Communication Engineering Jiangsu University School of Computer Science The University of Nottingham Ningbo China School of Software and Communication Engineering Jiangxi University of Financeand Economics

The growing popularity and application of Web services have led to increased attention regarding the vulnerability of software based on these services. Vulnerability testing examines the trustworthiness and reduces the security risks of software systems. This paper proposes a worst-input mutation approach for testing Web service vulnerability based on Simple Object Access Protocol （SOAP） messages. Based on characteristics of SOAP messages, the proposed approach uses the farthest neighbor concept to guide generation of the test suite. The corresponding automatic test case generation algorithm, namely, the test case generation based on the Farthest Neighbor （TCFN）, is also presented. The method involves partitioning the input domain into sub-domains according to the number and type of SOAP message parameters in the TCFN, selecting the candidate test case whose distance is the farthest from all executed test cases, and applying it to test the Web service. We also implement and describe a prototype Web service vulnerability testing tool. The tool was applied to the testing of Web services on the Internet. The experimental results show that the proposed approach can find more vulnerability faults than other related approaches.

关键词： security testing Web service vulnerability SOAP message test case generation mutation operator

维普期刊数据库

Multi-Objective Modified Particle Swarm Optimization for test Suite Reduction(MOMPSO)

在线全文

学校读者我要写书评

暂无评论

Computer Systems Science & Engineering 2022年第9期42卷 899-917页

作者： U.Geetha Sharmila Sankar Department of Information Technology B.S.Abdur Rahman Crescent Institute of Science and TechnologyChennai600048India Department of Computer Science and Engineering B.S.Abdur Rahman Crescent Institute of Science and TechnologyChennai600048India

Software testing plays a pivotal role in entire software development *** provides researchers with extensive opportunities to develop novel methods for the optimized and cost-effective test suite Although implementation of such a cost-effective test suite with regression testing is being under exploration still it contains lot of challenges and flaws while incorporating with any of the new regression testing algorithm due to irrelevant test cases in the test suite which are not *** kinds of irrelevant test cases might create certain challenges such as code-coverage in the test suite,fault-tolerance,defects due to uncovered-statements and overall-performance at the time of *** this objective,the proposed a new Modified Particle Swarm optimization used for multi-objective test suite *** experiment results involving six subject programs show that MOMPSO method can outer perform with respect to both reduction rate(90.78%to 100%)and failure detection rate(44.56%to 55.01%).Results proved MOMPSO outperformed the other stated algorithms.

关键词： Regression testing test suite reduction test case generation

SMINER:Detecting Unrestricted and Misimplemented Behaviors of Software Systems Based on Unit test cases

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2023年第5期75卷 3257-3274页

作者： Kyungmin Sim Jeong Hyun Yi Haehyun Cho School of Software Soongsil UniversitySeoul06978Korea

Despite the advances in automated vulnerability detection approaches,security vulnerabilities caused by design flaws in software systems are continuously appearing in real-world *** security design flaws can bring unrestricted and misimplemented behaviors of a system and can lead to fatal vulnerabilities such as remote code execution or sensitive data ***,it is an essential task to discover unrestricted and misimplemented behaviors of a ***,it is a daunting task for security experts to discover such vulnerabilities in advance because it is timeconsuming and error-prone to analyze the whole code in ***,most of the existing vulnerability detection approaches still focus on detecting memory corruption bugs because these bugs are the dominant root cause of software *** paper proposes SMINER,a novel approach that discovers vulnerabilities caused by unrestricted and misimplemented *** first collects unit test cases for the target system from the official ***,preprocess the collected code *** uses pre-processed data to show the security policies that can occur on the target system and creates a test case for security policy *** demonstrate the effectiveness of SMINER,this paper evaluates SMINER against Robot Operating System(ROS),a real-world system used for intelligent robots in Amazon and controlling satellites in National Aeronautics and Space Administration(NASA).From the evaluation,we discovered two real-world vulnerabilities in ROS.

关键词： Security vulnerability test case generation security policy test robot operating system vulnerability assessment

An EFSM-Based test Data generation Approach in Model-Based testing

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2022年第6期71卷 4337-4354页

作者： Muhammad Luqman Mohd-Shafie Wan Mohd Nasir Wan Kadir Muhammad Khatibsyarbini Mohd Adham Isa Israr Ghani Husni Ruslai Department of Software Engineering School of ComputingFaculty of EngineeringUniversiti Teknologi Malaysia81310Johor BahruJohorMalaysia GATES IT Solution Sdn Bhd WISMA GATESJalan Perdana 4Taman Sri Pulai Perdana 281300SkudaiJohorMalaysia

testing is an integral part of software *** fastpaced system developments have rendered traditional testing techniques ***,automated testing techniques are needed to adapt to such system developments ***-based testing(MBT)is a technique that uses system models to generate and execute test cases *** was identified that the test data generation(TDG)in many existing model-based test case generation(MB-TCG)approaches were still *** automatic and effective TDG can further reduce testing cost while detecting more *** study proposes an automated TDG approach in MB-TCG using the extended finite state machine model(EFSM).The proposed approach integrates MBT with combinatorial *** information available in an EFSM model and the boundary value analysis strategy are used to automate the domain input classifications which were done manually by the existing *** results showed that the proposed approach was able to detect 6.62 percent more faults than the conventionalMB-TCG but at the same time generated 43 more *** proposed approach effectively detects faults,but a further treatment to the generated tests such as test case prioritization should be done to increase the effectiveness and efficiency of testing.

关键词： Model-based testing test case generation test data generation combinatorial testing extended finite state machine

An efficient method for detecting concurrency errors in object-oriented programs

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2012年第12期55卷 2774-2784页

作者： HE YanXiang 1,2,WU Wei 2 & CHEN Yong 2 1 School of Computers,Wuhan University,Wuhan 430072,China 2 State Key Laboratory of Software Engineering,Wuhan University,Wuhan 430072,China 1. School of Computers Wuhan University Wuhan 430072 China2. State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China

Multicore and multi-threaded processors have become the norm for modern ***,concurrent programs have become more and more prevalent despite being difficult to write and *** errors are highly likely to appear in concurrent code,conventional error detection methods such as model checking,theorem proving,and code analysis do not scale smoothly to concurrent *** is an indispensable technique for detecting concurrency errors,but it involves a great deal of manual work and is *** paper presents an automatic method for detecting concurrency errors in classes in object-oriented *** method uses a heuristic algorithm to automatically generate test cases that can effectively trigger ***,each test case is executed automatically and a fast method is adopted to identify the actual concurrency error from anomalous run *** have implemented a prototype of the method and applied it to some typical Java *** shows that our method is more effective and faster than previous work.

关键词： concurrency error dynamic test data race atomicity violations test case generation