Results 41 to 50 of about 3,602,121 (180)

A Lightweight Verification Method Based on Metamorphic Relation for Nuclear Power Software

Frontiers in Energy Research, 2022
The verification of nuclear design software commonly uses direct comparison methods. Benchmark questions, classical programs, experimental data, manual solutions, etc., would be used as expected results to compare with program outputs to evaluate the ...
Meng Li, Meng Li, Meng Li, Xiaohua Yang, Xiaohua Yang, Xiaohua Yang, Shiyu Yan, Shiyu Yan, Shiyu Yan, Jie Liu, Jie Liu, Jie Liu, Yusheng Liu, Jun Sun   +13 more
doaj   +1 more source

Principles and Goals of Software Testing [PDF]

, 2016
Software testing is an activity which is aimed for evaluating quality of a program and also for improving it, by identifying defects and problems. Software testing strives for achieving its goal (both implicit and explicit) but it has certain limitations,
Rajamanickam, D. L. (Dr)
core  

DIEANet: an attention model for histopathological image grading of lung adenocarcinoma based on dimensional information embedding

Scientific Reports
Efficient and rapid auxiliary diagnosis of different grades of lung adenocarcinoma is conducive to helping doctors accelerate individualized diagnosis and treatment processes, thus improving patient prognosis. Currently, there is often a problem of large
Zexin Wang, Jing Gao, Min Li, Enguang Zuo, Chen Chen, Cheng Chen, Fei Liang, Xiaoyi Lv, Yuhua Ma   +8 more
doaj   +1 more source

Software Reliability for Agile Testing

Mathematics, 2020
It is known that quantitative measures for the reliability of software systems can be derived from software reliability models, and, as such, support the product development process.
Willem Dirk van Driel, Jan Willem Bikker, Matthijs Tijink, Alessandro Di Bucchianico   +3 more
doaj   +1 more source

Automatic test cases generation from software specifications modules [PDF]

, 2010
A new technique is proposed in this paper to extend the Integrated Classification Tree Methodology (ICTM) developed by Chen et al. [13] This software assists testers to construct test cases from functional specifications.
Alhroob, Aysh, Dahal, Keshav, Hossain, Alamgir   +2 more
core   +1 more source

SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry

, 2018
In this paper, we aim at the automated unit coverage-based testing for embedded software. To achieve the goal, by analyzing the industrial requirements and our previous work on automated unit testing tool CAUT, we rebuild a new tool, SmartUnit, to solve ...
Miao, Weikai, Pu, Geguang, Su, Ting, Wu, Ke, Yan, Yichen, Yao, Yinbo, Zhang, Chengyu, Zhou, Hanru   +7 more
core   +1 more source

Some observations of near collision attacks on grain v1

Cybersecurity
Near collision attacks and fast near collision attacks on stream ciphers are controversial attack methods in the field of cryptography in recent years, and their attack results are based on reduced experimental observations and derivation of birthday ...
Shaoyu Du, Weiping Gu, Bin Zhang
doaj   +1 more source

Software performance testing

Вісник Харківського національного університету імені В.Н. Каразіна. Серія: Математичне моделювання, інформаційні технології, автоматизовані системи управління, 2020
The article provides an overview of existing performance testing types. A test plan using the Jmeter tool is considered, the ability to compile tests and analyze them to obtain results is provided, while ensuring appropriate quality and ease of use ...
Olha M. Melkozerova, Sergiy G. Rassomakhin   +1 more
doaj  

Testing Software Product Lines [PDF]

IEEE Software, 2011
Two studies of testing practices for software product lines identify gaps between required techniques and existing approaches in the available literature. This Web extra offers extra details for the main article (specifically, the bibliography for the two studies described).
da Mota Silveira Neto, Paulo Anselmo, Runeson, Per, Machado, Ivan do Carmo, de Almeida, Eduardo Santana, de Lemos Meira, Silvio Romero, Engström, Emelie   +5 more
openaire   +2 more sources

Multtestlib: A Python package for performing unit tests using multiprocessing

SoftwareX
This paper presents a novel Python package designed to accelerate the execution of unit tests by capitalizing on multiprocessing techniques. To circumvent the limitations imposed by Python’s Global Interpreter Lock (GIL), which precludes concurrent ...
Ricardo Ribeiro de Alvarenga, Luiz Alberto Vieira Dias, Adilson Marques da Cunha   +2 more
doaj   +1 more source