research-article

Hazard-based selection of test cases

Author:

Mario GleirscherAuthors Info & Claims

AST '11: Proceedings of the 6th International Workshop on Automation of Software Test

Pages 64 - 70

https://doi.org/10.1145/1982595.1982609

Published: 23 May 2011 Publication History

Abstract

It is a challenge to engineer and select admissable test cases. This work approaches selection based on hazardous states through integrated modelling of the environment and the system, and by integration of requirements engineering activities into the tasks of system test engineering. The elaboration of test models and test case specifications focuses automation in system verification in order to detect hazard-oriented failures as well as in requirements validation in order to disclose potential defects in specification artefacts.

References

[1]

B. Beizer. Black-Box Testing. Wiley, 1995.

[2]

B. Berenbach, D. Paulish, J. Kazmeier, and A. Rudorfer. Software And Systems Requirements Engineering: In Practice. McGraw-Hill Osborne Media, 1st edition, 2009.

Digital Library

[3]

E. Brinksma. Model-based testing. In Broy et al. {6}.

[4]

M. Broy. A logical basis for component-oriented software and systems engineering. The Computer Journal, 53(10):1758--82, 2010.

Digital Library

[5]

M. Broy. Model-driven development of reliable systems. In Broy et al. {6}.

[6]

M. Broy, D. Harel, T. Hoare, K. Spies, C. Leuxner, and B. Spanfelner, editors. Proceedings of the 31st Marktoberdorf Summerschool - Software and Systems Safety: Specification and Verification, volume 31 of NATO Science for Peace and Security Programme, Marktoberdorf, 2010.

[7]

M. Broy and K. Stølen. Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, 2001.

Digital Library

[8]

B. Brügge and A. H. Dutoit. Object Oriented Software Engineering. Prentice Hall, 3rd edition, 2010.

[9]

C. Damas, B. Lambeau, and A. van Lamsweerde. Scenarios, Goals, and State Machines: A Win-Win Partnership for Model Synthesis. In FSE'06 - Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 197--207, New York, USA, 2006.

Digital Library

[10]

M. Esser and P. Struss. Fault-model-based test generation for embedded software. In Proc. of the 20th International Joint Conference on Artificial Intelligence, pages 342--7, 2007.

Digital Library

[11]

M. Jackson. Problem Frames: Analysing & Structuring Software Development Problems. Addison-Wesley Professional, 2001.

Digital Library

[12]

B. Kaiser, P. Liggesmeyer, and O. Mäckel. A new component concept for fault trees. In SCS'03 - Proceedings of the 8th Australian workshop on safety critical systems and software, volume 33, 2003.

Digital Library

[13]

T. P. Kelly. Arguing Safety - A Systematic Approach to Safety Case Management. PhD thesis, University of York, Dept. of Computer Science, 1998.

[14]

E. Letier. Reasoning about Agents in Goal-oriented Requirements Engineering. Thèse de Doctorat en Sciences Appliquées, Université Catholique de Louvain, 2001.

[15]

Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, 1st edition, 1991.

Digital Library

[16]

W. A. Pretschner. Zum modellbasierten, funktionalen Test reaktiver Systeme. Dissertation, Technische Universit72228;t München, Faculty of Informatics, 2003.

[17]

R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.

Digital Library

[18]

M. Utting, B. Legeard, and A. Pretschner. A taxonomy of model-based testing. Technical Report 04/2006, University of Waikato, Dept. of Computer Science, April 2006.

[19]

A. van Lamsweerde. Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, 2009.

Digital Library

Cited By

Gleirscher MCalinescu RDouthwaite JLesage BPaterson CAitken JAlexander RLaw J(2022)Verified synthesis of optimal safety controllers for human-robot collaborationScience of Computer Programming10.1016/j.scico.2022.102809218:COnline publication date: 1-Jun-2022
https://dl.acm.org/doi/10.1016/j.scico.2022.102809
Lesage BAlexander R(2021)SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot SystemsComputer Safety, Reliability, and Security10.1007/978-3-030-83903-1_13(195-209)Online publication date: 25-Aug-2021
https://doi.org/10.1007/978-3-030-83903-1_13
Erdogan GLi YRunde RSeehusen FStØlen K(2018)Approaches for the combined use of risk analysis and testingInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-014-0330-516:5(627-642)Online publication date: 28-Dec-2018
https://dl.acm.org/doi/10.1007/s10009-014-0330-5
Show More Cited By

Index Terms

Hazard-based selection of test cases
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
    2. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

An automated technique for risk-based test case generation and prioritization
AST '08: Proceedings of the 3rd international workshop on Automation of software test

In practice, available testing budgets limit the number of test cases that can be executed. Thus, a representative subset of all possible test cases must be chosen to guarantee adequate coverage of a test object. In risk-based testing, the probability ...
Integrating risk-based testing in industrial test processes

Risk-based testing has a high potential to improve the software development and test process as it helps to optimize the allocation of resources and provides decision support for the management. But for many organizations, its integration into an ...
A Static Approach to Prioritizing JUnit Test Cases

Test case prioritization is used in regression testing to schedule the execution order of test cases so as to expose faults earlier in testing. Over the past few years, many test case prioritization techniques have been proposed in the literature. Most ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

AST '11: Proceedings of the 6th International Workshop on Automation of Software Test

May 2011

124 pages

ISBN:9781450305921

DOI:10.1145/1982595

Program Chairs:
Antonia Bertolino
ISTI-CNR, Italy
,
Howard Foster
City University London, UK
,
J. Jenny Li
Avaya Labs Research, USA

Copyright © 2011 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: 23 May 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE11

Sponsor:

SIGSOFT

ICSE11: International Conference on Software Engineering

May 23 - 24, 2011

HI, Waikiki, Honolulu, USA

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
237
Total Downloads

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

Reflects downloads up to 06 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Gleirscher MCalinescu RDouthwaite JLesage BPaterson CAitken JAlexander RLaw J(2022)Verified synthesis of optimal safety controllers for human-robot collaborationScience of Computer Programming10.1016/j.scico.2022.102809218:COnline publication date: 1-Jun-2022
https://dl.acm.org/doi/10.1016/j.scico.2022.102809
Lesage BAlexander R(2021)SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot SystemsComputer Safety, Reliability, and Security10.1007/978-3-030-83903-1_13(195-209)Online publication date: 25-Aug-2021
https://doi.org/10.1007/978-3-030-83903-1_13
Erdogan GLi YRunde RSeehusen FStØlen K(2018)Approaches for the combined use of risk analysis and testingInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-014-0330-516:5(627-642)Online publication date: 28-Dec-2018
https://dl.acm.org/doi/10.1007/s10009-014-0330-5
Atifi MMamouni AMarzak A(2017)A Comparative Study of Software Testing TechniquesNetworked Systems10.1007/978-3-319-59647-1_27(373-390)Online publication date: 14-May-2017
https://doi.org/10.1007/978-3-319-59647-1_27
Seehusen F(2015)Using CAPEC for Risk-Based Security TestingRevised Selected Papers of the Third International Workshop on Risk Assessment and Risk-Driven Testing - Volume 948810.1007/978-3-319-26416-5_6(77-92)Online publication date: 15-Jun-2015
https://dl.acm.org/doi/10.1007/978-3-319-26416-5_6
Erdogan GRefsdal AStølen K(2014)Schematic Generation of English-Prose Semantics for a Risk Analysis Language Based on UML InteractionsProceedings of the 2014 IEEE International Symposium on Software Reliability Engineering Workshops10.1109/ISSREW.2014.73(305-310)Online publication date: 3-Nov-2014
https://dl.acm.org/doi/10.1109/ISSREW.2014.73
Seehusen F(2014)A Technique for Risk-Based Test Procedure Identification, Prioritization and SelectionLeveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications10.1007/978-3-662-45231-8_20(277-291)Online publication date: 2014
https://doi.org/10.1007/978-3-662-45231-8_20
Erdogan GRefsdal AStølen K(2014)A Systematic Method for Risk-Driven Test Case Design Using Annotated Sequence DiagramsRisk Assessment and Risk-Driven Testing10.1007/978-3-319-14114-5_7(93-108)Online publication date: 10-Jul-2014
https://doi.org/10.1007/978-3-319-14114-5_7
Erdogan GRefsdal AStølen K(2014)A Systematic Method for Risk-Driven Test Case Design Using Annotated Sequence DiagramsRisk Assessment and Risk-Driven Testing10.1007/978-3-319-07076-6_7(93-108)Online publication date: 10-Jul-2014
https://doi.org/10.1007/978-3-319-07076-6_7
Gleirscher M(2013)Hazard Analysis for Technical SystemsSoftware Quality. Increasing Value in Software and Systems Development10.1007/978-3-642-35702-2_8(104-124)Online publication date: 2013
https://doi.org/10.1007/978-3-642-35702-2_8
Show More Cited By

View Options

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