ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Digital Library logoTake a look at the new version of this page: [ beta version ]. Tell us what you think.
Model-based testing in practice
Full text PdfPdf (1.24 MB)
Source International Conference on Software Engineering archive
Proceedings of the 21st international conference on Software engineering table of contents
Los Angeles, California, United States
Pages: 285 - 294  
Year of Publication: 1999
ISBN:1-58113-074-0
Authors
S. R. Dalal  Bellcore, 445 South Street, Morristown, NJ
A. Jain  Bellcore, 445 South Street, Morristown, NJ
N. Karunanithi  Bellcore, 445 South Street, Morristown, NJ
J. M. Leaton  Bellcore, 445 South Street, Morristown, NJ
C. M. Lott  Bellcore, 445 South Street, Morristown, NJ
G. C. Patton  Bellcore, 445 South Street, Morristown, NJ
B. M. Horowitz  Bellcore, 6 Corporate Place, Piscataway, NJ
Sponsors
IEEE-CS : Computer Society
IEEE-CS\TCSE : TC on Software Engineering
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGPLAN: ACM Special Interest Group on Programming Languages
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 6,   Downloads (12 Months): 97,   Citation Count: 42
Additional Information:

references   cited by   index terms   collaborative colleagues  

Tools and Actions: Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/302405.302640
What is a DOI?

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
C. J. Burgess. Software testing using an automatic generator of test data. In M. Ross, editor, First Zntemational Conference on Software Quality Management (SQM93), pages 541-556, Southampton, UK, Apr. 1993. Comput. Mech.
 
2
K. Burr. Combinatorial test techniques: Table-based, test generation, and code coverage. In Proceedings of the International Conference on Software Testing, Analysis, and Review (STAR'98 West), Oct. 1998.
 
3
J. M. Clarke. Automated test generation from a behavioral model. In Proceedings of the Eleventh Znternational Software Quality Week, San Francisco, CA, May 1998. Software Research, Inc.
 
4
David M. Cohen , Siddhartha R. Dalal , Michael L. Fredman , Gardner C. Patton, The AETG System: An Approach to Testing Based on Combinatorial Design, IEEE Transactions on Software Engineering, v.23 n.7, p.437-444, July 1997  [doi>10.1109/32.605761]
 
5
S. Dalal , A. Jain , N. Karunanithi , J. Leaton , C. Lott, Model-based Testing of a Highly Programmable System, Proceedings of the The Ninth International Symposium on Software Reliability Engineering, p.174, November 04-07, 1998
 
6
Siddhartha R. Dalal , Colin L. Mallows, Factor-covering designs for testing software, Technometrics, v.40 n.3, p.234-243, Aug. 1998  [doi>10.2307/1271179]
7
I. S. Dunietz , W. K. Ehrlich , B. D. Szablak , C. L. Mallows , A. Iannino, Applying design of experiments to software testing: experience report, Proceedings of the 19th international conference on Software engineering, p.205-215, May 17-23, 1997, Boston, Massachusetts, United States  [doi>10.1145/253228.253271]
 
8
E. Heller. Using DOE structures to generate software test cases. In Proceedings of the nYelfth International Conference on Testing Computer Software, pages 33- 39, Washington, DC, June 1995.
 
9
D. C. Ince. The automatic generation of test data. Computer Journal, 30(1):63-69,1987.
10
Robert Mandl, Orthogonal Latin squares: an application of experiment design to compiler testing, Communications of the ACM, v.28 n.10, p.1054-1058, Oct. 1985  [doi>10.1145/4372.4375]
 
11
John D. Musa , Anthony Iannino , Kazuhira Okumoto, Software reliability: measurement, prediction, application, McGraw-Hill, Inc., New York, NY, 1987
12
T. J. Ostrand , M. J. Balcer, The category-partition method for specifying and generating fuctional tests, Communications of the ACM, v.31 n.6, p.676-686, June 1988  [doi>10.1145/62959.62964]

CITED BY  43
David Chays , Saikat Dan , Phyllis G. Frankl , Filippos I. Vokolos , Elaine J. Weber, A framework for testing database applications, ACM SIGSOFT Software Engineering Notes, v.25 n.5, p.147-157, Sept. 2000
Nigel Daley , Daniel Hoffman , Paul Strooper, A framework for table driven testing of Java classes, Software—Practice & Experience, v.32 n.5, p.465-493, 25 April 2002
Matthew J. Rutherford , Alexander L. Wolf, A case for test-code generation in model-driven systems, Proceedings of the second international conference on Generative programming and component engineering, p.377-396, September 22-25, 2003, Erfurt, Germany
Cemal Yilmaz , Myra B. Cohen , Adam Porter, Covering arrays for efficient fault characterization in complex configuration spaces, ACM SIGSOFT Software Engineering Notes, v.29 n.4, July 2004
Software Fault Interactions and Implications for Software Testing, IEEE Transactions on Software Engineering, v.30 n.6, p.418-421, June 2004
F. Bouquet , E. Jaffuel , B. Legeard , F. Peureux , M. Utting, Requirements traceability in automated test generation: application to smart card software validation, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
Cemal Yilmaz , Arvind S. Krishna , Atif Memon , Adam Porter , Douglas C. Schmidt , Aniruddha Gokhale , Balachandran Natarajan, Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving software systems, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA
C. Lott , A. Jain , S. Dalal, Modeling requirements for combinatorial software testing, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
Giovanni Denaro , Mattia Monga, An experience on verification of aspect properties, Proceedings of the 4th International Workshop on Principles of Software Evolution, September 10-11, 2001, Vienna, Austria
Renée C. Bryce , Charles J. Colbourn, Test prioritization for pairwise interaction coverage, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
Alan F. Karr , Adam A. Porter, Distributed performance testing using statistical modeling, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
Mikhail Auguston , James Bret Michael , Man-Tak Shing, Environment behavior models for scenario generation and testing automation, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
Myra B. Cohen , Peter B. Gibbons , Warwick B. Mugridge , Charles J. Colbourn, Constructing test suites for interaction testing, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
Dianxiang Xu , Weifeng Xu, State-based incremental testing of aspect-oriented programs, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany
Myra B. Cohen , Joshua Snyder , Gregg Rothermel, Testing across configurations: implications for combinatorial testing, ACM SIGSOFT Software Engineering Notes, v.31 n.6, November 2006
A. Sinha , C. E. Williams , P. Santhanam, A measurement framework for evaluating model-based test generation tools, IBM Systems Journal, v.45 n.3, p.501-514, July 2006
Penelope A. Brooks , Atif M. Memon, Automated gui testing guided by usage profiles, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, November 05-09, 2007, Atlanta, Georgia, USA
Renée C. Bryce , Charles J. Colbourn, One-test-at-a-time heuristic search for interaction test suites, Proceedings of the 9th annual conference on Genetic and evolutionary computation, July 07-11, 2007, London, England
Laisa H. O. do Nascimento , Patricia D. L. Machado, An experimental evaluation of approaches to feature testing in the mobile phone applications domain, Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting, p.27-33, September 04-04, 2007, Dubrovnik, Croatia
A. Z. Javed , P. A. Strooper , G. N. Watson, Automated Generation of Test Cases Using Model-Driven Architecture, Proceedings of the Second International Workshop on Automation of Software Test, p.3, May 20-26, 2007
Kamal Zuhairi Zamli , Nor Ashidi Mat Isa , Mohammed Fadel Jamil Klaib , Siti Norbaya Azizan, Designing a combinatorial java unit testing tool, Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology, p.153-158, April 02-04, 2007, Phuket, Thailand
Torsten Grabs , Steve Herbert , Xin (Shin) Zhang, Testing challenges for extending SQL server's query processor: a case study, Proceedings of the 1st international workshop on Testing database systems, June 13-13, 2008, Vancouver, British Columbia, Canada
Roberto Pietrantuono, Component airbag: a novel approach to develop dependable component-based applications, 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
Sandro Fouché , Myra B. Cohen , Adam Porter, Towards incremental adaptive covering arrays, The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers, September 03-07, 2007, Dubrovnik, Croatia
Arilo C. Dias Neto , Rajesh Subramanyan , Marlon Vieira , Guilherme H. Travassos, A survey on model-based testing approaches: a systematic review, Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007, p.31-36, November 05-05, 2007, Atlanta, Georgia
Arilo Claudio Dias Neto , Guilherme Horta Travassos, Supporting the selection of model-based testing approaches for software projects, Proceedings of the 3rd international workshop on Automation of software test, May 11-11, 2008, Leipzig, Germany
Roberto Pietrantuono, Component airbag: a novel approach to develop dependable component-based applications, The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers, September 03-07, 2007, Dubrovnik, Croatia
Manoranjan Satpathy , S. Ramesh, Test case generation from formal models through abstraction refinement and model checking, Proceedings of the 3rd international workshop on Advances in model-based testing, p.85-94, July 09-12, 2007, London, United Kingdom
Sandro Fouche , Myra B. Cohen , Adam Porter, Towards incremental adaptive covering arrays, 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
Paulo M. S. Bueno , W. Eric Wong , Mario Jino, Automatic test data generation using particle systems, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
Shaoying Liu , Yuting Chen, A relation-based method combining functional and structural testing for test case generation, Journal of Systems and Software, v.81 n.2, p.234-248, February, 2008
Ljubomir Lazic , Nikos Mastorakis, Orthogonal array application for optimal combination of software defect detection techniques choices, WSEAS Transactions on Computers, v.7 n.8, p.1319-1336, August 2008
Jonas Boberg, Early fault detection with model-based testing, Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, September 27-27, 2008, Victoria, BC, Canada
Arilo Claudio Dias Neto , Guilherme Horta Travassos, Surveying model based testing approaches characterization attributes, Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement, October 09-10, 2008, Kaiserslautern, Germany
Shinya Umeno, Event order abstraction for parametric real-time system verification, Proceedings of the 7th ACM international conference on Embedded software, October 19-24, 2008, Atlanta, GA, USA
Jun Yan , Jian Zhang, A backtracking search tool for constructing combinatorial test suites, Journal of Systems and Software, v.81 n.10, p.1681-1693, October, 2008
Cemal Yilmaz , Adam Porter , Arvind S. Krishna , Atif M. Memon , Douglas C. Schmidt , Aniruddha S. Gokhale , Balachandran Natarajan, Reliable Effects Screening: A Distributed Continuous Quality Assurance Process for Monitoring Performance Degradation in Evolving Software Systems, IEEE Transactions on Software Engineering, v.33 n.2, p.124-141, February 2007
Sandro Fouché , Myra B. Cohen , Adam Porter, Incremental covering array failure characterization in large configuration spaces, Proceedings of the eighteenth international symposium on Software testing and analysis, July 19-23, 2009, Chicago, IL, USA
E. Farchi , A. Hartman , S. S. Pinter, Using a model-based test generator to test for standard conformance, IBM Systems Journal, v.41 n.1, p.89-110, January 2002
Lilith Al-Jadiri , Bernd Bruegge, Enabling offshore software testing: a case study, Proceedings of the 11th IASTED International Conference on Software Engineering and Applications, November 19-21, 2007, Cambridge, Massachusetts
Peter Danziger , Eric Mendelsohn , Lucia Moura , Brett Stevens, Covering arrays avoiding forbidden edges, Theoretical Computer Science, v.410 n.52, p.5403-5414, December, 2009
Arilo Claudio Dias-Neto , Guilherme Horta Travassos, Model-based testing approaches selection for software projects, Information and Software Technology, v.51 n.11, p.1487-1504, November, 2009
Giuseppe Scollo , Silvia Zecchini, Architectural Unit Testing, Electronic Notes in Theoretical Computer Science (ENTCS), 111, p.27-52, January, 2005

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging
          Subjects: Testing tools (e.g., data generators, coverage testing)

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE


General Terms:
Algorithms, Design, Measurement, Performance, Reliability, Theory


Keywords:
AETG software system, automatic test generation, model-based testing

Collaborative Colleagues:
S. R. Dalal: colleagues
A. Jain: colleagues
N. Karunanithi: colleagues
J. M. Leaton: colleagues
C. M. Lott: colleagues
G. C. Patton: colleagues
B. M. Horowitz: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player