Testable requirements and specifications (original) (raw)
Related papers
Putting formal specifications under the magnifying glass: Model-based testing for validation
2009
A software quality workbench for testable requirements and specifications
2007
Test aspect of requirement specification
Computer Standards & Interfaces, 2010
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests
arXiv (Cornell University), 2022
Automated support for test-driven specification
Using model checking to generate tests from requirements specifications
1999
Model Validation using Automatically Generated Requirements-Based Tests
10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007
Requirements and specification exemplars
1997
Requirement-based testing through formal methods
IDEAS05: Unifying Models of Test Cases and Requirements
IEEE Latin America Transactions, 2008
Automatic Analysis of Consistency between Requirements and Designs
1996
A Taxonomy of Verification and Validation of Software Requirement and Specifications 1
2008
COMBINING FORMAL SPECIFICATIONS WITH DESIGN BY CONTRACT 1
2000
Testing and Validating the Quality of Specifications
Rinus Plasmeijer, Peter Achten
2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008
Linking Functional Requirements and Software Verification
2009 17th IEEE International Requirements Engineering Conference, 2009
Abstraction based automated test generation from formal tabular requirements specifications
2011
From requirements to specifications: a formal approach
2006
SCR*: A Toolset for Specifying and Analyzing Software Requirements
1998
Tools for Constructing Requirements Specification: The SCR Toolset at the Age of Ten
2005
Design Requirements in Software and Engineering Systems
Industrial Engineering and Management Systems, 2012
Towards the automated generation of abstract test cases from requirements models
2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET), 2014
Assessing Requirements Quality Through Requirements Coverage
Tracing Requirements in a Model-Based Testing Approach
2009
The Journal of Object Technology, 2007
Precise Documentation of Requirements and Executable Specifications
2012
On the Generation of DisCo Specifications from Functional Requirements
tampub.uta.fi
REMO2V'06 845 From Requirements Models to Formal Specifications in B
2009
From requirements to specifications
2005
Unifying Models of Test Cases and Requirements
2008
Applying testing to requirements inspection for software quality assurance
2006