1,823,109 research outputs found
Controllability problems in MSC-based testing
Get PDFThis is a pre-copyedited, author-produced PDF of an article accepted for publication in The Computer Journal following peer review. The definitive publisher-authenticated version [Dan, H and Hierons, RM (2012), "Controllability Problems in MSC-Based Testing", The Computer Journal, 55(11), 1270-1287] is available online at: http://comjnl.oxfordjournals.org/content/55/11/1270. Copyright @ The Authors 2011.In testing systems with distributed interfaces/ports, we may place a separate tester at each port. It is known that this approach can introduce controllability problems which have received much attention in testing from finite state machines. Message sequence charts (MSCs) form an alternative, commonly used, language for modelling distributed systems. However, controllability problems in testing from MSCs have not been thoroughly investigated. In this paper, controllability problems in MSC test cases are analysed with three notions of observability: local, tester and global. We identify two types of controllability problem in MSC-based testing. It transpires that each type of controllability problem is related to a type of MSC pathology. Controllability problems of timing are caused by races but not every race causes controllability problems; controllability problems of choice are caused by non-local choices and not every non-local choice causes controllability problems. We show that some controllability problems of timing are avoidable and some controllability problems of choice can be overcome when testers have better observational power. Algorithms are provided to tackle both types of controllability problems. Finally, we show how one can overcome controllability problems using a coordination service with status messages based on algorithms developed in this paper.EPSR
Melina97/MSc-Project: First release of MSc-Project
No full textThis is the first release of my MSc-Project repository
[Photograph used in MSc Thesis]
No full textThis record was harvested from a previous catalogue system and will be withdrawn in 2025. Information in this record may be superseded or incomplete. Visit this record in UMA's new catalogue at: https://archives.library.unimelb.edu.au/nodes/view/263885Black and white photograph of trees. Handwritten on verso: "Fig II"335467
Sub-item: [1988.0025.00024] "[Photograph used in MSc Thesis]
[Photograph used in MSc Thesis]
No full textThis record was harvested from a previous catalogue system and will be withdrawn in 2025. Information in this record may be superseded or incomplete. Visit this record in UMA's new catalogue at: https://archives.library.unimelb.edu.au/nodes/view/263902Black and white photograph of specimen magnification335484
Sub-item: [1988.0025.00041] "[Photograph used in MSc Thesis]
[Photograph used in MSc Thesis]
No full textThis record was harvested from a previous catalogue system and will be withdrawn in 2025. Information in this record may be superseded or incomplete. Visit this record in UMA's new catalogue at: https://archives.library.unimelb.edu.au/nodes/view/263886Black and white photograph of trees335468
Sub-item: [1988.0025.00025] "[Photograph used in MSc Thesis]
[Photograph used in MSc Thesis]
No full textThis record was harvested from a previous catalogue system and will be withdrawn in 2025. Information in this record may be superseded or incomplete. Visit this record in UMA's new catalogue at: https://archives.library.unimelb.edu.au/nodes/view/263899Black and white photograph of specimen bottle335481
Sub-item: [1988.0025.00038] "[Photograph used in MSc Thesis]
[Photograph used in MSc Thesis]
No full textThis record was harvested from a previous catalogue system and will be withdrawn in 2025. Information in this record may be superseded or incomplete. Visit this record in UMA's new catalogue at: https://archives.library.unimelb.edu.au/nodes/view/263906Black and white photograph of specimen magnification335488
Sub-item: [1988.0025.00045] "[Photograph used in MSc Thesis]
[Photograph used in MSc Thesis]
No full textThis record was harvested from a previous catalogue system and will be withdrawn in 2025. Information in this record may be superseded or incomplete. Visit this record in UMA's new catalogue at: https://archives.library.unimelb.edu.au/nodes/view/263888Black and white photograph of tree trunk335470
Sub-item: [1988.0025.00027] "[Photograph used in MSc Thesis]
- …
