Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Assessing test-driven development at IBM
Proceedings of the 25th International Conference on Software Engineering
Decision tables - an effective programming tool
SIGMINI '78 Proceedings of the first SIGMINI symposium on Small systems
Prose + Test Cases = Specifications
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Using the SCR* Toolset to Specify Software Requirements
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Clustering Knowledge in Tabular Knowledge Bases
ICTAI '96 Proceedings of the 8th International Conference on Tools with Artificial Intelligence
Restructuring decision tables for elucidation of knowledge
Data & Knowledge Engineering
Box-structured methods for systems development with objects
IBM Systems Journal
Proceedings of the 38th conference on Winter simulation
Generating test data for specification-based tests via quasirandom sequences
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
| Hi-index | 0.00 |
This paper introduces test-driven specification, whereby the specification process is aided by the use of test cases. We also introduce an automated tool, the test-driven specification assistant (TDSA), which supports this approach. Test cases reveal specification anomalies such as incorrectness, incompleteness and ambiguity. Specification-based test coverage criteria are applied to reveal deficiencies in the set of test cases. Decision tables are used as a lightweight specification language capable of modeling black-box and Mills' state box specifications.