中文
相关论文

相关论文: On Test Sequence Generation using Multi-Objective …

200 篇论文

The overall aim of the software industry is to ensure delivery of high quality software to the end user. To ensure high quality software, it is required to test software. Testing ensures that software meets user specifications and…

软件工程 · 计算机科学 2014-11-06 Chayanika Sharma , Sangeeta Sabharwal , Ritu Sibal

Optimization is nothing but a mathematical technique which finds maxima or minima of any function of concern in some realistic region. Different optimization techniques are proposed which are competing for the best solution. Particle Swarm…

神经与进化计算 · 计算机科学 2019-03-29 Vishakha A Metre , Mr Pramod B Deshmukh

Testing provides means pertaining to assuring software performance. The total aim of software industry is actually to make a certain start associated with high quality software for the end user. However, associated with software testing has…

软件工程 · 计算机科学 2016-12-30 Ahmed Mateen , Marriam Nazir , Salman Afsar Awan

We can never be certain that a software system is correct simply by testing it, but with every additional successful test we become less uncertain about its correctness. In absence of source code or elaborate specifications and models,…

软件工程 · 计算机科学 2016-08-11 Neil Walkinshaw , Gordon Fraser

Unit testing is critical to the software development process, ensuring the correctness of basic programming units in a program (e.g., a method). Search-based software testing (SBST) is an automated approach to generating test cases. SBST…

软件工程 · 计算机科学 2024-01-05 Zhichao Zhou , Yuming Zhou , Chunrong Fang , Zhenyu Chen , Xiapu Luo , Jingzhu He , Yutian Tang

Metamorphic testing is a well known approach to tackle the oracle problem in software testing. This technique requires the use of source test cases that serve as seeds for the generation of follow-up test cases. Systematic design of test…

软件工程 · 计算机科学 2018-02-22 Prashanta Saha , Upulee Kanewala

Application of the multi-objective particle swarm optimisation (MOPSO) algorithm to design of water distribution systems is described. An earlier MOPSO algorithm is augmented with (a) local search, (b) a modified strategy for assigning the…

神经与进化计算 · 计算机科学 2019-03-15 Mahesh B. Patil , M. Naveen Naidu , A. Vasan , Murari R. R. Varma

We present a novel approach to the problem of model checking cyber-physical systems. We transform the model checking problem to an optimization one by designing an objective function that measures how close a state is to a violation of a…

系统与控制 · 计算机科学 2017-03-06 Dung Phan , Scott A. Smolka , Radu Grosu , Usama Mehmood , Scott D. Stoller , Junxing Yang

One of the prerequisites of any organization is an unvarying sustainability in the dynamic and competitive industrial environment. Development of high quality software is therefore an inevitable constraint of any software industry. Defect…

软件工程 · 计算机科学 2012-04-03 T. R. Gopalakrishnan Nair , V. Suma , Pranesh Kumar Tiwari

In the software industry, two software engineering development best practices coexist: open-source and closed-source software. The former has a shared code that anyone can contribute, whereas the latter has a proprietary code that only the…

软件工程 · 计算机科学 2024-01-08 Omar Shatnawi

Molecular generation, an essential method for identifying new drug structures, has been supported by advancements in machine learning and computational technology. However, challenges remain in multi-objective generation, model…

生物大分子 · 定量生物学 2024-04-11 Ningfeng Liu , Jie Yu , Siyu Xiu , Xinfang Zhao , Siyu Lin , Bo Qiang , Ruqiu Zheng , Hongwei Jin , Liangren Zhang , Zhenming Liu

High dimensionality in datasets produced by microarray technology presents a challenge for Machine Learning (ML) algorithms, particularly in terms of dimensionality reduction and handling imbalanced sample sizes. To mitigate the explained…

Software safety is a crucial aspect during the development of modern safety-critical systems. Software is becoming responsible for most of the critical functions of systems. Therefore, the software components in the systems need to be…

软件工程 · 计算机科学 2016-12-12 Asim Abdulkhaleq , Stefan Wagner

In software testing, a set of test cases is constructed according to some predefined selection criteria. The software is then examined against these test cases. Three interesting observations have been made on the current artifacts of…

软件工程 · 计算机科学 2020-03-02 T. Y. Chen , S. C. Cheung , S. M. Yiu

Today, most automated test generators, such as search-based software testing (SBST) techniques focus on achieving high code coverage. However, high code coverage is not sufficient to maximise the number of bugs found, especially when given…

软件工程 · 计算机科学 2021-09-28 Anjana Perera , Aldeida Aleti , Marcel Böhme , Burak Turhan

Software testing is the important phase of software development process. But, this phase can be easily missed by software developers because of their limited time to complete the project. Since, software developers finish their software…

软件工程 · 计算机科学 2010-02-11 Mrs. R. Jeevarathinam , Dr. Antony Selvadoss Thanamani

Model predictive control (MPC) is a promising approach for the lateral and longitudinal control of autonomous vehicles. However, the parameterization of the MPC with respect to high-level requirements such as passenger comfort as well as…

系统与控制 · 电气工程与系统科学 2022-12-14 David Stenger , Robert Ritschel , Felix Krabbes , Rick Voßwinkel , Hendrik Richter

This short paper presents a work on the design of low noise microwave amplifiers using particle swarm optimization (PSO) technique. Particle Swarm Optimization is used as a method that is applied to a single stage amplifier circuit to meet…

神经与进化计算 · 计算机科学 2012-08-31 Sadik Ulker

We consider global non-convex optimisation problems under uncertainty. In this setting, it is not possible to implement a desired solution exactly. Instead, any other solution within some distance to the intended solution may be…

最优化与控制 · 数学 2020-03-24 Martin Hughes , Marc Goerigk , Trivikram Dokka

Software development effort estimation is considered a fundamental task for software development life cycle as well as for managing project cost, time and quality. Therefore, accurate estimation is a substantial factor in projects success…

神经与进化计算 · 计算机科学 2022-08-11 Nazeeh Ghatasheh , Hossam Faris , Ibrahim Aljarah , Rizik M. H. Al-Sayyed