Article

Requirements for information systems model-based testing

Authors:

Pedro Santos-Neto,

Rodolfo Resende,

Clarindo PáduaAuthors Info & Claims

SAC '07: Proceedings of the 2007 ACM symposium on Applied computing

Pages 1409 - 1415

https://doi.org/10.1145/1244002.1244306

Published: 11 March 2007 Publication History

Abstract

In order to develop systems with a high level of quality and low costs it is necessary to have adequate testing tools and methods. We believe that the definition of a requirements catalog is one of the steps in such direction. This work presents a requirements catalog for information systems model-based testing that can be used as a basis for improving methods as well as a guide for the development of new methods and tools. The catalog was prepared based on the literature of the area and on the experience of several information systems developers.

References

[1]

A. Abdurazik and J. Offutt. Using UML collaboration diagrams for static checking and test generation. In Proceedings of the 3rd International Conference on the Unified Modeling Language (UML '00), pages 383--395, York, UK, October 2000.

Digital Library

[2]

A. Andrews, R. France, S. Ghosh, and G. Craig. Test adequacy criteria for UML design models. Jornal of Software Testing, Verification, and Reliability, 13(2):95--127, June 2003.

[3]

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

Digital Library

[4]

L. Briand and Y. Labiche. A UML-based approach to system testing. In Proceedings of the 4th Unified Modeling Language Conference (UML '01), pages 194--208, Toronto, Canada, October 2001.

Digital Library

[5]

J. Goodenough and S. Gerhart. Towards a theory of test data selection. IEEE Transactions on Software Engineering, 1(2):156-173, June 1975.

Digital Library

[6]

A. Hartman and K. Nagin. The AGEDIS tools for model based testing. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2004), Boston, Massachusetts, USA, July 2004.

Digital Library

[7]

M. Hoffmann, N. Kuhn, M. Weber, and M. Bittner. Requirements for requirements management tools. In Proceedings of the IEEE International Requirements Engineering Conference (RE'04), pages 301--308, Kyoto, Japan, September 2004.

Digital Library

[8]

IEEE. IEEE Standard Glossary of Software Engineering Terminology - IEEE Std.610.12-1990. IEEE Computer Society, 1990.

[9]

IEEE. IEEE Standard for Software Test Documentation - IEEE Std 829-1998. IEEE Computer Society, 1998.

[10]

I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999.

Digital Library

[11]

NIST. Planning Report 02-3, National Institute of Standards and Technology, http://www.nist.gov/, 2002.

[12]

J. Offutt and A. Abdurazik. Generating tests from UML specifications. In Proceedings of the 2nd Unified Modeling Language Conference (UML '99), Fort Collins, Colorado, USA, October 1999.

Digital Library

[13]

OMG. UML Testing Profile. Object Management Group, http://www.omg.org, March 2003. last access on november 2004.

[14]

P. Santos-Neto, R. Resende, and C. Pádua. A method for information system testing automation. In Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), Porto, Portugal, June 2005.

Digital Library

[15]

J. Wood and D. Silver. Joint Application Development. John Wiley & Sons, 1995.

Digital Library

Cited By

Crowder JHoff CCrowder JHoff C(2022)Requirements TraceabilityRequirements Engineering: Laying a Firm Foundation10.1007/978-3-030-91077-8_13(165-172)Online publication date: 3-Jan-2022
https://doi.org/10.1007/978-3-030-91077-8_13
Alsaleh SHaron H(2016)The Most Important Functional and Non-Functional Requirements of Knowledge Sharing System at Public Academic Institutions: A Case StudyLecture Notes on Software Engineering10.7763/LNSE.2016.V4.2424:2(157-161)Online publication date: May-2016
https://doi.org/10.7763/LNSE.2016.V4.242
Kasurinen JTaipale OSmolander K(2012)Software Test Automation in PracticeData Structure and Software Engineering10.1201/b13126-8(110-148)Online publication date: 17-Oct-2012
https://doi.org/10.1201/b13126-8
Show More Cited By

Index Terms

Requirements for information systems model-based testing
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Optimal Regression Testing Based on Selective Coverage of Test Requirements
ISPA '10: Proceedings of the International Symposium on Parallel and Distributed Processing with Applications

Test suite reduction can greatly save the test effort during regression testing. For software development with frequent minor updates, a good policy is to managing selective form regression testing, where the total set of test requirements is divided ...
An evaluation of a model-based testing method for information systems
SAC '08: Proceedings of the 2008 ACM symposium on Applied computing

This work presents an experimental study of a model-based testing method. We evaluate the use of the method and its tool, during the development of part of an information system. In this study we verified that the use of the method can generate benefits ...
The experimental applications of search-based techniques for model-based testing

Graphical abstractDisplay Omitted HighlightsA systematic review of applications of search-based techniques for model-based testing is provided.Four taxonomies are proposed to classify the applications based on the purpose, problems, solutions and ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '07: Proceedings of the 2007 ACM symposium on Applied computing

March 2007

1688 pages

ISBN:1595934804

DOI:10.1145/1244002

Conference Chairs:
Yookun Cho
Seoul National University, Seoul, Korea
,
Roger L. Wainwright
University of Tulsa, Tulsa, Oklahoma
,
Hisham M. Haddad
Kennesaw State University, Kennesaw, Georgia
,
Sung Y. Shin
South Dakota State University, Brookings, South Dakota
,
Program Chair:
Yong Wan Koo
The University of Suwon, Gyeongggi-do, Korea

Copyright © 2007 ACM.

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]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 March 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SAC07

Sponsor:

SIGAPP

SAC07: The 2007 ACM Symposium on Applied Computing

March 11 - 15, 2007

Seoul, Korea

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
1,013
Total Downloads

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

Reflects downloads up to 03 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Crowder JHoff CCrowder JHoff C(2022)Requirements TraceabilityRequirements Engineering: Laying a Firm Foundation10.1007/978-3-030-91077-8_13(165-172)Online publication date: 3-Jan-2022
https://doi.org/10.1007/978-3-030-91077-8_13
Alsaleh SHaron H(2016)The Most Important Functional and Non-Functional Requirements of Knowledge Sharing System at Public Academic Institutions: A Case StudyLecture Notes on Software Engineering10.7763/LNSE.2016.V4.2424:2(157-161)Online publication date: May-2016
https://doi.org/10.7763/LNSE.2016.V4.242
Kasurinen JTaipale OSmolander K(2012)Software Test Automation in PracticeData Structure and Software Engineering10.1201/b13126-8(110-148)Online publication date: 17-Oct-2012
https://doi.org/10.1201/b13126-8
Aho PMenz NRäty TSchieferdecker I(2011)Automated Java GUI Modeling for Model-Based Testing PurposesProceedings of the 2011 Eighth International Conference on Information Technology: New Generations10.1109/ITNG.2011.54(268-273)Online publication date: 11-Apr-2011
https://dl.acm.org/doi/10.1109/ITNG.2011.54
Taipale OKasurinen JKarhu KSmolander K(2011)Trade-off between automated and manual software testingInternational Journal of System Assurance Engineering and Management10.1007/s13198-011-0065-62:2(114-125)Online publication date: 7-Sep-2011
https://doi.org/10.1007/s13198-011-0065-6
Kasurinen JTaipale OSmolander K(2010)Software test automation in practiceAdvances in Software Engineering10.1155/2010/6208362010(1-13)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.1155/2010/620836
Dias-Neto ATravassos G(2009)Model-based testing approaches selection for software projectsInformation and Software Technology10.1016/j.infsof.2009.06.01051:11(1487-1504)Online publication date: 1-Nov-2009
https://dl.acm.org/doi/10.1016/j.infsof.2009.06.010
Dias Neto ATravassos GRombach DElbaum SMünch J(2008)Surveying model based testing approaches characterization attributesProceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement10.1145/1414004.1414069(324-326)Online publication date: 9-Oct-2008
https://dl.acm.org/doi/10.1145/1414004.1414069

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.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents