Zobraziť v EDS

Mutation-based exploration of a method for verifying concurrent Java components

Uložené v:
Podrobná bibliografia
Názov: Mutation-based exploration of a method for verifying concurrent Java components
Autori: Long, B. J., Duke, R. W., Goldson, D. W., Strooper, P. A., Wildman, L. P.
Prispievatelia: B. Monien
Informácie o vydavateľovi: The IEEE Computer Society
Rok vydania: 2004
Zbierka: The University of Queensland: UQ eSpace
Predmety: 280302 Software Engineering, E1, 700199 Computer software and services not elsewhere classified
Popis: Summary form only given. The Java programming language supports concurrency. Concurrent programs are harder to verify than their sequential counterparts due to their inherent nondeterminism and a number of specific concurrency problems such as interference and deadlock. In previous work, we proposed a method for verifying concurrent Java components based on a mix of code inspection, static analysis tools, and the ConAn testing tool. The method was derived from an analysis of concurrency failures in Java components, but was not applied in practice. In this paper, we explore the method by applying it to an implementation of the well-known readers-writers problem and a number of mutants of that implementation. We only apply it to a single, well-known example, and so we do not attempt to draw any general conclusions about the applicability or effectiveness of the method. However, the exploration does point out several strengths and weaknesses in the method, which enable us to fine-tune the method before we carry out a more formal evaluation on other, more realistic components.
Druh dokumentu: conference object
Jazyk: English
Relation: orcid:0000-0003-4789-2897
Dostupnosť: https://espace.library.uq.edu.au/view/UQ:100723
Prístupové číslo: edsbas.2ACFD918
Databáza: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://espace.library.uq.edu.au/view/UQ:100723#
    Name: EDS - BASE (s4221598)
    Category: fullText
    Text: View record from BASE
  – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=Long%20BJ
    Name: ISI
    Category: fullText
    Text: Nájsť tento článok vo Web of Science
    Icon: https://imagesrvr.epnet.com/ls/20docs.gif
    MouseOverText: Nájsť tento článok vo Web of Science
Header DbId: edsbas
DbLabel: BASE
An: edsbas.2ACFD918
RelevancyScore: 778
AccessLevel: 3
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 778.344360351563
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Mutation-based exploration of a method for verifying concurrent Java components
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Long%2C+B%2E+J%2E%22">Long, B. J.</searchLink><br /><searchLink fieldCode="AR" term="%22Duke%2C+R%2E+W%2E%22">Duke, R. W.</searchLink><br /><searchLink fieldCode="AR" term="%22Goldson%2C+D%2E+W%2E%22">Goldson, D. W.</searchLink><br /><searchLink fieldCode="AR" term="%22Strooper%2C+P%2E+A%2E%22">Strooper, P. A.</searchLink><br /><searchLink fieldCode="AR" term="%22Wildman%2C+L%2E+P%2E%22">Wildman, L. P.</searchLink>
– Name: Author
  Label: Contributors
  Group: Au
  Data: B. Monien
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: The IEEE Computer Society
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2004
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: The University of Queensland: UQ eSpace
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22280302+Software+Engineering%22">280302 Software Engineering</searchLink><br /><searchLink fieldCode="DE" term="%22E1%22">E1</searchLink><br /><searchLink fieldCode="DE" term="%22700199+Computer+software+and+services+not+elsewhere+classified%22">700199 Computer software and services not elsewhere classified</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Summary form only given. The Java programming language supports concurrency. Concurrent programs are harder to verify than their sequential counterparts due to their inherent nondeterminism and a number of specific concurrency problems such as interference and deadlock. In previous work, we proposed a method for verifying concurrent Java components based on a mix of code inspection, static analysis tools, and the ConAn testing tool. The method was derived from an analysis of concurrency failures in Java components, but was not applied in practice. In this paper, we explore the method by applying it to an implementation of the well-known readers-writers problem and a number of mutants of that implementation. We only apply it to a single, well-known example, and so we do not attempt to draw any general conclusions about the applicability or effectiveness of the method. However, the exploration does point out several strengths and weaknesses in the method, which enable us to fine-tune the method before we carry out a more formal evaluation on other, more realistic components.
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: conference object
– Name: Language
  Label: Language
  Group: Lang
  Data: English
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: orcid:0000-0003-4789-2897
– Name: URL
  Label: Availability
  Group: URL
  Data: https://espace.library.uq.edu.au/view/UQ:100723
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.2ACFD918
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.2ACFD918
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Text: English
    Subjects:
      – SubjectFull: 280302 Software Engineering
        Type: general
      – SubjectFull: E1
        Type: general
      – SubjectFull: 700199 Computer software and services not elsewhere classified
        Type: general
    Titles:
      – TitleFull: Mutation-based exploration of a method for verifying concurrent Java components
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Long, B. J.
      – PersonEntity:
          Name:
            NameFull: Duke, R. W.
      – PersonEntity:
          Name:
            NameFull: Goldson, D. W.
      – PersonEntity:
          Name:
            NameFull: Strooper, P. A.
      – PersonEntity:
          Name:
            NameFull: Wildman, L. P.
      – PersonEntity:
          Name:
            NameFull: B. Monien
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2004
          Identifiers:
            – Type: issn-locals
              Value: edsbas
ResultId 1