Results 11 to 20 of about 29,773 (302)
Testability transformation [PDF]
IEEE Transactions on Software Engineering, 2004 A testability transformation is a source-to-source transformation that aims to improve the ability of a given test generation method to generate test data for the original program. We introduce testability transformation, demonstrating that it differs from traditional transformation, both theoretically and practically, while still allowing many ...
Mark Harman +6 more
openaire +2 more sources
Testability Modeling and Test Point Optimization Method of Multi-State System
IEEE Access, 2020 Existing testability models are difficult to describe the multi-state characteristics of the system, so it is necessary to study the testability modeling method applicable to multi-state systems.
Peng Wang, Yongli Yu, Xingxin Li
doaj +1 more source
Junta Correlation is Testable [PDF]
2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), 2019 The problem of tolerant junta testing is a natural and challenging problem which asks if the property of a function having some specified correlation with a $k$-Junta is testable. In this paper we give an affirmative answer to this question: We show that given distance parameters $\frac{1}{2} >c_u>c_{\ell} \ge 0$, there is a tester which given ...
De, Anindya +2 more
openaire +3 more sources
Civil Aircraft Supplier Selection Based on Reliability,Maintainability and Testability
Hangkong gongcheng jinzhan, 2021 The development of civil aircraft requires the collaboration and support of suppliers, so the choice of civil aircraft supplier is crucial.In order to meet the design concept of modern civil aircraft that emphasizes reliability, maintainability and ...
HUANG Yan +3 more
doaj +1 more source
More testable properties [PDF]
International Journal on Software Tools for Technology Transfer, 2010 Testing remains a widely used validation technique for software systems. However, recent needs in software development (e.g., in terms of security concerns) may require to extend this technique to address a larger set of properties. In this article, we explore the set of testable properties within the Safety-Progress classification where testability ...
Falcone, Yliès +4 more
openaire +6 more sources
LOT: Logic Optimization with Testability - new transformations for logic synthesis [PDF]
, 1998 A new approach to optimize multilevel logic circuits is introduced. Given a multilevel circuit, the synthesis method optimizes its area while simultaneously enhancing its random pattern testability.
Chatterjee, Mitrajit +2 more
core +2 more sources
Demonstration Method for PHM-Oriented Testability Design
Chemical Engineering Transactions, 2013 The development of PHM propels the combination of design for testability and relevant PHM technology, which leads a need for the demonstration of PHM-oriented testability design. The paper mainly introduces the evaluation and demonstration method ranging
C. Wang +4 more
doaj +1 more source
Testing formula satisfaction [PDF]
, 2012 We study the query complexity of testing for properties defined by read once formulae, as instances of massively parametrized properties, and prove several testability and non-testability results.
D. Ron +12 more
core +1 more source
On Local Testability in the Non-Signaling Setting [PDF]
, 2020 Non-signaling strategies are a generalization of quantum strategies that have been studied in physics for decades, and have recently found applications in theoretical computer science.
Chiesa, Alessandro +2 more
core +1 more source
Automated Refactoring for Testability [PDF]
2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011 Current software practice places a strong emphasis on unit testing, to the extent that the amount of test code produced on a project can exceed the amount of actual application code required. This illustrates the importance of testability as a feature of software.
Mel Ó Cinnéide +2 more
openaire +1 more source