Article

Test-driven specification: paradigm and automation

Author:

Edward L. JonesAuthors Info & Claims

ACMSE '06: Proceedings of the 44th annual ACM Southeast Conference

Pages 796 - 797

https://doi.org/10.1145/1185448.1185641

Published: 10 March 2006 Publication History

Get Access

Abstract

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.

References

[1]

Binder, R. V., Testing Object-Oriented Systems: Models, Patterns, and Tools, Addison-Wesley, 1999.

Digital Library

Google Scholar

[2]

Clark, M., "Support for Automated Specification-Based Testing Using Executable Decision Tables," Proceedings of ADMI 2005, Rincon, Puerto Rico, Oct. 13--15, 2005, 16--25.

Google Scholar

[3]

Glora, N., G., Pu, H. and Rom, W. O. Evaluation of Process Tools in Systems Analysis, Information and Technology 37, 2(1995), 119--126.

Google Scholar

[4]

Heitmeyer, C., Using the SCR Toolset to Specify Software Requirements, Proceedings of the 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998, 12--13.

Digital Library

Google Scholar

[5]

Hevner, A. R. and Mills, H. D., Box structured methods for system development with objects, IBM Systems Journal Volume 32, No 2 (1993), 232--251.

Digital Library

Google Scholar

[6]

Hewett, R. and Leuchner, J., Restructuring decision tables for elucidation of knowledge, Data & Knowledge Engineering 46 (2003), 271--290.

Digital Library

Google Scholar

[7]

Hoffman, D. and Strooper, P., Prose + Test Cases = Specification, Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00), 239--252.

Digital Library

Google Scholar

[8]

Jones, E. L., Automated Support for Test-Driven Specification, Proceedings of the 9th IASTED Conference on Software Engineering and Applications (SEA2005), November 14--16, 2005, Phoenix, Arizona, 218--223.

Google Scholar

[9]

Lagenwalter, D., Decision Tables - An Effective Programming Tool, Proc. 1st SIGMINI Symposium on Small Systems, 1978, 77--85.

Digital Library

Google Scholar

[10]

Maximilien, E. M. and Williams, L., Assessing Test-Driven Development at IBM, Proceedings of the 25th International Conf on Software Engineering, 2003, 564--569.

Digital Library

Google Scholar

[11]

Vanthienen, J. and Dries, E., Illustration of a decision table tool for specifying and implementing knowledge based systems, International Journal on Artificial Intelligence Tools 3 (2) (1994) 267--288.

Crossref

Google Scholar

[12]

Vanthienen, J., Dries E. and Keppens, J., Clustering Knowledge in Tabular Knowledge Bases, Proceedings of the 8th International Conference on Tools with Artificial Intelligence (ITTAI '96), 1996, 88--95.

Digital Library

Google Scholar

[13]

Zhu, H., Hall, P. and May, J., Software Unit Test Coverage and Adequacy, ACM Comp. Surveys 29, 4 (1997), 364--42.

Digital Library

Google Scholar

Cited By

View all

Wiecher CGreenyer JKorte JPretschner AVoss SBurgueño L(2019)Test-driven scenario specification of automotive software componentsProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00009(12-17)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00009
Paul J(2016)Test-driven approach in programming pedagogyJournal of Computing Sciences in Colleges10.5555/3015063.301507232:2(53-60)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.5555/3015063.3015072
Chi HJones ENicol DFujimoto R(2006)Computational investigations of quasirandom sequences in generating test cases for specification-based testsProceedings of the 38th conference on Winter simulation10.5555/1218112.1218291(975-980)Online publication date: 3-Dec-2006
https://dl.acm.org/doi/10.5555/1218112.1218291
Show More Cited By

Index Terms

Test-driven specification: paradigm and automation
1. Software and its engineering
  1. Software notations and tools
    1. Development frameworks and environments

Recommendations

Coverage Based Testing with Test Purposes
QSIC '08: Proceedings of the 2008 The Eighth International Conference on Quality Software

Test purposes have been presented as a solution to avoid the state space explosion when selecting test cases from formal models. Although such techniques work very well with regard to the speed of the test derivation, they leave the tester with one ...
Using coverage to automate and improve test purpose based testing

Test purposes have been presented as a solution to avoid the state space explosion when selecting test cases from formal models. Although such techniques work very well with regard to the speed of the test derivation, they leave the tester with one ...
Regression test suite prioritization using system models

During regression testing, a modified system is often retested using an existing test suite. Since the size of the test suite may be very large, testers are interested in detecting faults in the modified system as early as possible during this retesting ...

Comments

Information & Contributors

Information

Published In

ACMSE '06: Proceedings of the 44th annual ACM Southeast Conference

March 2006

823 pages

ISBN:1595933158

DOI:10.1145/1185448

General Chair:
Ronaldo Menezes
Florida Institute of Technology

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 March 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ACM SE06

ACM SE06: ACM Southeast Regional Conference

March 10 - 12, 2006

Florida, Melbourne

Acceptance Rates

ACMSE '06 Paper Acceptance Rate 100 of 244 submissions, 41%;

Overall Acceptance Rate 502 of 1,023 submissions, 49%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
306
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Wiecher CGreenyer JKorte JPretschner AVoss SBurgueño L(2019)Test-driven scenario specification of automotive software componentsProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00009(12-17)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00009
Paul J(2016)Test-driven approach in programming pedagogyJournal of Computing Sciences in Colleges10.5555/3015063.301507232:2(53-60)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.5555/3015063.3015072
Chi HJones ENicol DFujimoto R(2006)Computational investigations of quasirandom sequences in generating test cases for specification-based testsProceedings of the 38th conference on Winter simulation10.5555/1218112.1218291(975-980)Online publication date: 3-Dec-2006
https://dl.acm.org/doi/10.5555/1218112.1218291
Chi HJones E(2006)Computational Investigations of Quasirandom Sequences in Generating Test Cases for Specification-Based TestsProceedings of the 2006 Winter Simulation Conference10.1109/WSC.2006.323184(975-980)Online publication date: Dec-2006
https://doi.org/10.1109/WSC.2006.323184
Chi HJones EEvans DBrown M(2006)Generating test data for specification-based tests via quasirandom sequencesProceedings of the 6th international conference on Computational Science - Volume Part IV10.1007/11758549_104(773-780)Online publication date: 28-May-2006
https://dl.acm.org/doi/10.1007/11758549_104

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Coverage Based Testing with Test Purposes

Using coverage to automate and improve test purpose based testing

Regression test suite prioritization using system models