Cited By
View all- Clark T(2009)Model based functional testing using pattern directed filmstrips2009 ICSE Workshop on Automation of Software Test10.1109/IWAST.2009.5069041(53-61)Online publication date: May-2009
Open framework for conformance testing via scenarios
Pages 775 - 776
Abstract
Scenarios are vital for the specification of software systems. We are developing an open framework for the specification, execution, and conformance evaluation of scenarios. The scenarios define a contract which is bound to an implementation under test. The scenarios are executed by our framework to ensure conformance against the contract.
References
[1]
Gamma, E., Helm, R., Johnson, R., and Vlissides, J. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
[2]
Grieskamp, W. Multi-Paradigmatic Model-Based Testing. Technical Report #MSR-TR-2006-1111. Microsoft Research, August 2006.
[3]
Jacobson, I. Object-Oriented Software Engineering. Addison-Wesley Professional, 1992.
[4]
Meyer, B. Design by Contract. IEEE Computer, vol. 25, no. 10, pp. 40--51, October 1992.
[5]
Microsoft Corporation. Phoenix Research Development Kit. March 2007. http://research.microsoft.com/phoenix/
[6]
Mylopoulos, J., Chung, L., and Yu, E. From object-oriented to goal-oriented requirements analysis. Communications of the ACM. vol. 42, no. 1, pp. 31--37, January 1999.
[7]
Ryser, J., and Glinz, M. SCENT: A Method Employing Scenarios to Systematically Derive Test Cases for System Test. Technical Report #2000-03. University of Zurich. February 2000.
Index Terms
- Open framework for conformance testing via scenarios
Recommendations
Formal firewall conformance testing: an application of test and proof techniques
Firewalls are an important means to secure critical ICT infrastructures. As configurable off-the-shelf products, the effectiveness of a firewall crucially depends on both the correctness of the implementation itself as well as the correct configuration. ...
Conformance testing for real-time systems
We propose a new framework for black-box conformance testing of real-time systems. The framework is based on the model of partially-observable, non-deterministic timed automata. We argue that partial observability and non-determinism are essential ...
Automated instrumentation of contracts and scenarios for requirements validation in .net
AST '08: Proceedings of the 3rd international workshop on Automation of software testDuring the development of an object-oriented reactive system, scenarios (such as UML's use cases) may be used for the elicitation of functional and non-functional requirements. The contribution of this paper is the overview of a framework for the ...
Comments
Information & Contributors
Information
Published In
October 2007
241 pages
ISBN:9781595938657
DOI:10.1145/1297846
- General Chair:
- Richard P. Gabriel,
- Program Chairs:
- David F. Bacon,
- Cristina Videira Lopes,
- Guy L. Steele
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
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 20 October 2007
Check for updates
Author Tags
Qualifiers
- Article
Conference
OOPSLA07: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference
October 21 - 25, 2007
Quebec, Montreal, Canada
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 142Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 09 Jan 2025
Other Metrics
Citations
Cited By
View all- Clark T(2009)Model based functional testing using pattern directed filmstrips2009 ICSE Workshop on Automation of Software Test10.1109/IWAST.2009.5069041(53-61)Online publication date: May-2009
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in