A Testability Analysis Framework for Non-Functional Properties
Software Engineering
2018-02-21 v1
Authors:
Michael Felderer
, Bogdan Marculescu
, Francisco Gomes de Oliveira Neto
, Robert Feldt
, Richard Torkar
Abstract
This paper presents background, the basic steps and an example for a testability analysis framework for non-functional properties.
Cite
@article{arxiv.1802.07140,
title = {A Testability Analysis Framework for Non-Functional Properties},
author = {Michael Felderer and Bogdan Marculescu and Francisco Gomes de Oliveira Neto and Robert Feldt and Richard Torkar},
journal= {arXiv preprint arXiv:1802.07140},
year = {2018}
}
Related papers
View all related →
Methodology · Statistics
A general nonparametric framework for testing hypotheses about function-valued parameters
Albert Osom, Ali Shojaie, Aaron Hudson
2026-04-23
solv-int · Physics
Integrability Tests for Nonlinear Evolution Equations
Willy Hereman, Unal Goktas
2007-05-23
Software Engineering · Computer Science
Four Layered Approach to Non-Functional Requirements Analysis
Merugu. Gopichand, A. Ananda Rao
2014-08-08
Quantitative Methods · Quantitative Biology
Observability and Structural Identifiability of Nonlinear Biological Systems
Alejandro F. Villaverde
2018-12-12
Methodology · Statistics
Conditional independence testing with a single realization of a multivariate nonstationary nonlinear time series
Michael Wieck-Sosa, Michel F. C. Haddad, Aaditya Ramdas
2026-05-06
Software Engineering · Computer Science
Spatio-temporal Models for Formal Analysis and Property-based Testing
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
2016-12-12
Software Engineering · Computer Science
Compositional Testing For FSM-Based Models
Bilal Kanso, Omar Chebaro
2014-06-12
Artificial Intelligence · Computer Science
A Conceptual Framework for AI Capability Evaluations
María Victoria Carro, Denise Alejandra Mester, Francisca Gauna Selasco, Luca Nicolás Forziati Gangi +6
2025-06-24
Artificial Intelligence · Computer Science
A Formal Framework to Characterize Interpretability of Procedures
Amit Dhurandhar, Vijay Iyengar, Ronny Luss, Karthikeyan Shanmugam
2017-07-14
Methodology · Statistics
Testing semiparametric model-equivalence hypotheses based on the characteristic function
Feifei Chen, Simos G. Meintanis, Lixing Zhu
2023-11-09
Statistics Theory · Mathematics
Testing Separability of Functional Time Series
Panayiotis Constantinou, Piotr Kokoszka, Matthew Reimherr
2018-01-18
Artificial Intelligence · Computer Science
Bayesian Meta-Reasoning: Determining Model Adequacy from Within a Small World
Kathryn Blackmond Laskey
2013-03-25
Machine Learning · Computer Science
A Performance-Explainability Framework to Benchmark Machine Learning Methods: Application to Multivariate Time Series Classifiers
Kevin Fauvel, Véronique Masson, Élisa Fromont
2021-11-22
Software Engineering · Computer Science
BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems
Jan Olaf Blech, Heinz Schmidt
2014-04-15
Data Structures and Algorithms · Computer Science
Complexity of Nondeterministic Graph Parameter Testing
Marek Karpinski, Roland Markó
2016-08-05
Statistics Theory · Mathematics
Testing temporal constancy of the spectral structure of a time series
Efstathios Paparoditis
2010-01-14
Operator Algebras · Mathematics
Foundations of Free Noncommutative Function Theory
Dmitry S. Kaliuzhnyi-Verbovetskyi, Victor Vinnikov
2014-07-28
Econometrics · Economics
Robust Tests of Model Incompleteness in the Presence of Nuisance Parameters
Shuowen Chen, Hiroaki Kaido
2023-09-08
cmp-lg · Computer Science
Towards an implementable dependency grammar
Timo Jarvinen, Pasi Tapanainen
2007-05-23
Machine Learning · Computer Science
Benchmarking Transferability: A Framework for Fair and Robust Evaluation
Alireza Kazemi, Helia Rezvani, Mahsa Baktashmotlagh
2025-04-30
Software Engineering · Computer Science
Are "Non-functional" Requirements really Non-functional?
J. Eckhardt, A. Vogelsang, D. Méndez Fernández
2016-11-29
Logic in Computer Science · Computer Science
A framework for proof certificates in finite state exploration
Quentin Heath, Dale Miller
2015-08-03
Optics · Physics
General framework for the analysis of imperfections in nonlinear systems
Matteo Santandrea, Michael Stefszky, Christine Silberhorn
2019-11-05
Artificial Intelligence · Computer Science
Turing Test Revisited: A Framework for an Alternative
Aladdin Ayesh
2019-06-27
Software Engineering · Computer Science
Formal Dependability Modeling and Analysis: A Survey
Waqar Ahmed, Osman Hasan, Sofiene Tahar
2016-06-23