Requirements Coverage as an Adequacy Measure for Conformance Testing (original) (raw)
Related papers
Assessing Requirements Quality Through Requirements Coverage
Putting formal specifications under the magnifying glass: Model-based testing for validation
2009
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites
Lecture Notes in Computer Science, 2015
Model Validation using Automatically Generated Requirements-Based Tests
10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007
Using model checking to generate tests from requirements specifications
1999
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness ∗
2012
Tracing Requirements in a Model-Based Testing Approach
2009
Using a model-based test generator to test for standard conformance
Eitan Farchi, Alan Hartman, Shlomit S Pinter
Ibm Systems Journal, 2002
A Comparative Evaluation of approaches for Model Testability
INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY, 2013
Abstract Testing: Connecting Source Code Verification with Requirements
Hendrik Post, Florian Merz, Thomas Kropf
2010 Seventh International Conference on the Quality of Information and Communications Technology, 2010
An evaluation of specification based test generation techniques using model checkers
2009
The Interplay between Model Coverage and Code Coverage
Conference On Computer Aided Systems Theory, 2003
An Empirical Study into Model Testability
INTERNATIONAL CONFERENCE ON INFORMATICS AND CREATIVE MULTIMEDIA 2013 (ICICM’13), IEEE
An Evaluation for Model Testability approaches
INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY, 2013
Using model transformation to support model-based test coverage measurement
Proceedings of the 3rd international workshop on Automation of software test - AST '08, 2008
Applying testing to requirements inspection for software quality assurance
2006
2008
Validating Specifications for Model-Based Testing
Rinus Plasmeijer, Peter Achten
Test generation using model checking
2001
A Holistic Approach to Test-Driven Model Checking
Lecture Notes in Computer Science, 2005
A Process to Increase the Model Quality in the Context of Model-Based Testing
Model-based testing areas, tools and challenges: A tertiary study
CLEI Electronic Journal, 2019
An evaluation of model checkers for specification based test case generation
2009
An Empirical Analysis of a Testability Model
2013 International Conference on Informatics and Creative Multimedia, 2013