| The category-partition method for specifying and generating fuctional tests |
| Full text |
 Pdf
(1.20 MB)
|
Source
|
Communications of the ACM
archive
Volume 31 , Issue 6 (June 1988)
table of contents
Pages: 676 - 686
Year of Publication: 1988
ISSN:0001-0782
|
|
Authors
|
|
T. J. Ostrand
|
Software Technology Department, Siemens Research and Technology Laboratories, 105 College Road East, Princeton, N.J.
|
|
M. J. Balcer
|
Software Technology Department, Siemens Research and Technology Laboratories, 105 College Road East, Princeton, N.J.
|
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 102, Downloads (12 Months): 550, Citation Count: 91
|
|
|
 ABSTRACT
A method for creating functional test suites has been developed in which a test engineer analyzes the system specification, writes a series of formal test specifications, and then uses a generator tool to produce test descriptions from which test scripts are written. The advantages of this method are that the tester can easily modify the test specification when necessary, and can control the complexity and number of the tests by annotating the tests specification with constraints.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
 |
1
|
|
| |
2
|
|
| |
3
|
Bjorner, D., and Jones, C.B. Formal Specification and Software Development. Prentice-Hall International, EngIewood Cliffs, N J., 1982.
|
| |
4
|
Elmendorf, W.R. Functional analysis using cause-effect graphs. In Proceedings of SHARE XLIII. SHARE, New York, 1974, .567-577.
|
| |
5
|
Goodenough, J.B., and Gerhart, S.L. Toward a theory of test data selection. IEEE Trans. Softw. Eng. SE-2, 2 (June 1975), 156-173.
|
| |
6
|
Howden, W.H. A survey of dynamic analysis methods In Tutorial: Program Testing and Validation Techniques, edited by E.F. Miller and W.H. Howden. IEEE, 1981.
|
| |
7
|
Howden, W.H. Errors, design properties, and functional program tests. In Computer Program Testing Summer School, Sogesta, Italy, edited by B. Chandrasekaran and S. Radicchi. North-Holland, New York, 1981.
|
| |
8
|
|
| |
9
|
|
| |
10
|
Weyuker, E.J., and Ostrand, T.J. Theories of program testing and the application of revealing subdomains. IEEE Trans. Softu,. Eng. SE-6, 3 (May 1980), 236-246.
|
CITED BY 91
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S. R. Dalal , A. Jain , N. Karunanithi , J. M. Leaton , C. M. Lott , G. C. Patton , B. M. Horowitz, Model-based testing in practice, Proceedings of the 21st international conference on Software engineering, p.285-294, May 16-22, 1999, Los Angeles, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
Gregg Rothermel , Sebastian Elbaum , Alexey Malishevsky , Praveen Kallakuri , Brian Davia, The impact of test suite granularity on the cost-effectiveness of regression testing, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Todd L. Graves , Mary Jean Harrold , Jung-Min Kim , Adam Porter , Gregg Rothermel, An empirical study of regression test selection techniques, Proceedings of the 20th international conference on Software engineering, p.188-197, April 19-25, 1998, Kyoto, Japan
|
|
|
Monica Hutchins , Herb Foster , Tarak Goradia , Thomas Ostrand, Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria, Proceedings of the 16th international conference on Software engineering, p.191-200, May 16-21, 1994, Sorrento, Italy
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Javier Jesús Gutiérrez , María José Escalona , Manuel Mejías , Jesús Torres, An approach to generate test cases from use cases, Proceedings of the 6th international conference on Web engineering, July 11-14, 2006, Palo Alto, California, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Marlon Vieira , Johanne Leduc , Bill Hasling , Rajesh Subramanyan , Juergen Kazmeier, Automation of GUI testing using a model-driven approach, Proceedings of the 2006 international workshop on Automation of software test, May 23-23, 2006, Shanghai, China
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Andreas Leitner , Ilinca Ciupa , Manuel Oriol , Bertrand Meyer , Arno Fiva, Contract driven development = test driven development - writing test cases, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, September 03-07, 2007, Dubrovnik, Croatia
|
|
|
|
|
|
Orest Pilskalns , Anneliese Andrews , Andrew Knight , Sudipto Ghosh , Robert France, Testing UML designs, Information and Software Technology, v.49 n.8, p.892-912, August, 2007
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Marlon Vieira , Xiping Song , Gilberto Matos , Stephan Storck , Rajanikanth Tanikella , Bill Hasling, Applying model-based testing to healthcare products: preliminary experiences, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
|
|
|
|
|
|
|
|
|
|
|
|
Filippo Ricca , Massimiliano Di Penta , Marco Torchiano , Paolo Tonella , Mariano Ceccato , Corrado Aaron Visaggio, Are fit tables really talking?: a series of experiments to understand whether fit tables are useful during evolution tasks, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Robert M. Hierons , Kirill Bogdanov , Jonathan P. Bowen , Rance Cleaveland , John Derrick , Jeremy Dick , Marian Gheorghe , Mark Harman , Kalpesh Kapoor , Paul Krause , Gerald Lüttgen , Anthony J. H. Simons , Sergiy Vilkomir , Martin R. Woodward , Hussein Zedan, Using formal specifications to support testing, ACM Computing Surveys (CSUR), v.41 n.2, p.1-76, February 2009
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
D.2