View in EDS PDF Full Text

Using Formal Models to Objectively Judge Quality of Multi-Threaded Programs in Empirical Studies.

Saved in:
Bibliographic Details
Title: Using Formal Models to Objectively Judge Quality of Multi-Threaded Programs in Empirical Studies.
Authors: Dillon, Laura K.1 ldillon@cse.msu.edu, Stirewalt, R. E. K.1 stire@cse.msu.edu, Kraemer, Eileen2 eileen@cs.uga.edu, Shaohua Xie2 shaohua@cs.uga.edu, Fleming, Scott D.1 sdf@cse.msu.edu
Source: ICSE: International Conference on Software Engineering. 2008, p33-38. 6p. 3 Diagrams, 1 Chart.
Subjects: Threads (Computer programs), Computer software, Computer programming, Computer software development, Software engineering
Abstract: Empirical studies are important for understanding how well current design methods and notations support development of multi-threaded programs. Unfortunately, concurrency exacerbates an already difficult problem in drawing conclusions from such studies: How to objectively measure the quality of candidate solutions produced by participants in the studies. This paper explores the use of formal modeling and analysis for this purpose. We describe initial findings of a small pilot study to determine if we can objectively differentiate sample candidate solutions with respect to their use of synchronization primitives. To do so, we faithfully model these candidate solutions and various synchronization-related properties in the Finite State Processes (FSP) notation and use the Labeled Transition System Analyzer (LTSA) to analyze the solution models against the properties. [ABSTRACT FROM AUTHOR]
Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 36798553
AccessLevel: 6
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Using Formal Models to Objectively Judge Quality of Multi-Threaded Programs in Empirical Studies.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Dillon%2C+Laura+K%2E%22">Dillon, Laura K.</searchLink><relatesTo>1</relatesTo><i> ldillon@cse.msu.edu</i><br /><searchLink fieldCode="AR" term="%22Stirewalt%2C+R%2E+E%2E+K%2E%22">Stirewalt, R. E. K.</searchLink><relatesTo>1</relatesTo><i> stire@cse.msu.edu</i><br /><searchLink fieldCode="AR" term="%22Kraemer%2C+Eileen%22">Kraemer, Eileen</searchLink><relatesTo>2</relatesTo><i> eileen@cs.uga.edu</i><br /><searchLink fieldCode="AR" term="%22Shaohua+Xie%22">Shaohua Xie</searchLink><relatesTo>2</relatesTo><i> shaohua@cs.uga.edu</i><br /><searchLink fieldCode="AR" term="%22Fleming%2C+Scott+D%2E%22">Fleming, Scott D.</searchLink><relatesTo>1</relatesTo><i> sdf@cse.msu.edu</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22ICSE%3A+International+Conference+on+Software+Engineering%22">ICSE: International Conference on Software Engineering</searchLink>. 2008, p33-38. 6p. 3 Diagrams, 1 Chart.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Threads+%28Computer+programs%29%22">Threads (Computer programs)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programming%22">Computer programming</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+development%22">Computer software development</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineering%22">Software engineering</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Empirical studies are important for understanding how well current design methods and notations support development of multi-threaded programs. Unfortunately, concurrency exacerbates an already difficult problem in drawing conclusions from such studies: How to objectively measure the quality of candidate solutions produced by participants in the studies. This paper explores the use of formal modeling and analysis for this purpose. We describe initial findings of a small pilot study to determine if we can objectively differentiate sample candidate solutions with respect to their use of synchronization primitives. To do so, we faithfully model these candidate solutions and various synchronization-related properties in the Finite State Processes (FSP) notation and use the Labeled Transition System Analyzer (LTSA) to analyze the solution models against the properties. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=36798553
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 6
        StartPage: 33
    Subjects:
      – SubjectFull: Threads (Computer programs)
        Type: general
      – SubjectFull: Computer software
        Type: general
      – SubjectFull: Computer programming
        Type: general
      – SubjectFull: Computer software development
        Type: general
      – SubjectFull: Software engineering
        Type: general
    Titles:
      – TitleFull: Using Formal Models to Objectively Judge Quality of Multi-Threaded Programs in Empirical Studies.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Dillon, Laura K.
      – PersonEntity:
          Name:
            NameFull: Stirewalt, R. E. K.
      – PersonEntity:
          Name:
            NameFull: Kraemer, Eileen
      – PersonEntity:
          Name:
            NameFull: Shaohua Xie
      – PersonEntity:
          Name:
            NameFull: Fleming, Scott D.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 02
              Text: 2008
              Type: published
              Y: 2008
          Titles:
            – TitleFull: ICSE: International Conference on Software Engineering
              Type: main
ResultId 1