中文
相关论文

相关论文: Unit Testing, Model Validation, and Biological Sim…

200 篇论文

The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being computational expensive. We discuss the main opportunities to…

分布式、并行与集群计算 · 计算机科学 2016-11-17 Marco Aldinucci , Mario Coppo , Ferruccio Damiani , Maurizio Drocco , Massimo Torquati , Angelo Troina

The software development lifecycle depends heavily on the testing process, which is an essential part of finding issues and reviewing the quality of software. Software testing can be done in two ways: manually and automatically. With an…

软件工程 · 计算机科学 2024-05-06 Hussein Mohammed Ali , Mahmood Yashar Hamza , Tarik Ahmed Rashid

Model-based testing relies on behavior models for the generation of model traces: input and expected output---test cases---for an implementation. We use the case study of an automotive network controller to assess different test suites in…

This chapter investigates the evolutionary ecology of software, focusing on the symbiotic relationship between software and innovation. An interplay between constraints, tinkering, and frequency-dependent selection drives the complex…

软件工程 · 计算机科学 2025-12-03 Sergi Valverde , Blai Vidiella , Salva Duran-Nebreda

In the last two decades, the growing trend of software development industry has made different aspects of software engineering more interesting for the computer science research community. Software development life-cycle is one of these…

软件工程 · 计算机科学 2016-08-05 Farzad Mahdikhani , Mohammad Reza Abbasifard

Software testing is a complex, intellectual activity based (at least) on analysis, reasoning, decision making, abstraction and collaboration performed in a highly demanding environment. Naturally, it uses and allocates multiple cognitive…

软件工程 · 计算机科学 2020-12-10 Eduard Enoiu , Gerald Tukseferi , Robert Feldt

Large language models are redefining software engineering by implementing AI-powered techniques throughout the whole software development process, including requirement gathering, software architecture, code generation, testing, and…

软件工程 · 计算机科学 2024-06-11 Malik Abdul Sami , Muhammad Waseem , Zeeshan Rasheed , Mika Saari , Kari Systä , Pekka Abrahamsson

Open source software is becoming crucial in the design and testing of quantum algorithms. Many of the tools are backed by major commercial vendors with the goal to make it easier to develop quantum software: this mirrors how well-funded…

量子物理 · 物理学 2018-12-24 Mark Fingerhuth , Tomáš Babej , Peter Wittek

Control systems on unmanned vehicles are safety-critical systems whose requirements on reliability and safety are ever-increasing. Currently, testing a complex autonomous control system is an expensive and time-consuming process, which…

系统与控制 · 电气工程与系统科学 2019-08-08 Xunhua Dai , Chenxu Ke , Quan Quan , Kai-Yuan Cai

Context: Software testing plays an essential role in product quality improvement. For this reason, several software testing models have been developed to support organizations. However, adoption of testing process models inside…

软件工程 · 计算机科学 2019-01-08 Katarína Hrabovská , Bruno Rossi , Tomáš Pitner

Simulation models are an absolute necessity in the human and social sciences, which can only very exceptionally use experimental science methods to construct their knowledge. Models enable the simulation of social processes by replacing the…

计算机与社会 · 计算机科学 2020-01-06 J. Raimbault , D. Pumain

As software projects are very diverse, each software development process must be adjusted to the needs of the project and the corresponding development team. Frequently, we find different methods and practices combined in a so-called hybrid…

软件工程 · 计算机科学 2021-03-19 Jil Klünder , Melanie Busch , Natalie Dehn , Oliver Karras

This document explores the advantages of integrating open source software and practices in managing a scientific lab, emphasizing reproducibility and the avoidance of pitfalls. It details practical applications from website management using…

计算机与社会 · 计算机科学 2024-05-14 Julien Cohen-Adad

Testing autonomous driving systems (ADS) is critical to ensuring their reliability and safety. Existing ADS testing works focuses on designing scenarios to evaluate system-level behaviors, while fine-grained testing of ADS source code has…

软件工程 · 计算机科学 2025-01-20 Wenhan Wang , Xuan Xie , Yuheng Huang , Renzhi Wang , An Ran Chen , Lei Ma

Software testing is an important phase in the software development life-cycle because it helps in identifying bugs in a software system before it is shipped into the hand of its end users. There are numerous studies on how developers test…

软件工程 · 计算机科学 2019-02-15 Luis Cruz , Rui Abreu , David Lo

Software plays an ever increasing role in complex system development and prototyping, and in recent years, MIT Lincoln Laboratory has sought to improve both the effectiveness and culture surrounding software engineering in execution of its…

In the ever-evolving field of Deep Learning (DL), ensuring project quality and reliability remains a crucial challenge. This research investigates testing practices within DL projects in GitHub. It quantifies the adoption of testing…

软件工程 · 计算机科学 2024-10-24 Qurban Ali , Oliviero Riganelli , Leonardo Mariani

Simulation is an integral part in the process of developing autonomous vehicles and advantageous for training, validation, and verification of driving functions. Even though simulations come with a series of benefits compared to real-world…

计算机视觉与模式识别 · 计算机科学 2023-08-01 Ferdinand Mütsch , Helen Gremmelmaier , Nicolas Becker , Daniel Bogdoll , Marc René Zofka , J. Marius Zöllner

Computational methods are the most effective tools we have besides scientific experiments to explore the properties of complex biological systems. Progress is slowing because digital silicon computers have reached their limits in terms of…

量子物理 · 物理学 2020-04-03 Viv Kendon

Software is a great enabler for a number of projects that otherwise would be impossible to perform. Such projects include Space Exploration, Weather Modeling, Genome Projects, and many others. It is critical that software aiding these…

软件工程 · 计算机科学 2023-02-10 Aedin Pereira , Julia Ding , Zaina Ali , Rodion Podorozhny