A Tool-supported Technique for Specification & Management of Model-checking Properties for Software Product Lines

dc.contributor.author Liu, Jing
dc.contributor.author Hauptman, Miriam
dc.contributor.author Lutz, Robyn
dc.contributor.author Geppert, Birgit
dc.contributor.author Rößler, Frank
dc.contributor.department Computer Science
dc.date 2018-02-14T00:59:51.000
dc.date.accessioned 2020-06-30T01:56:52Z
dc.date.available 2020-06-30T01:56:52Z
dc.date.issued 2007-01-01
dc.description.abstract <p>Property specification in model checking is currently handled without adequately taking software product lines into account. This is largely due to the fact that the available model checkers and property specification tools lack sufficient support for reusing model-checking effort. The challenge is twofold: first, we need to make the properties accurately trace to individual system requirements and models even as they evolve; and second, we need to make the property specification easy to share and reuse among different systems of the same product line. The contribution of this work is a tool-supported technique to guide users in generating, selecting, managing, and reusing product-line properties and patterns of properties. The technique is evaluated in a product-line application. Results show that it improves the reusability and traceability of property specifications for model checking in a product line setting.</p>
dc.identifier archive/lib.dr.iastate.edu/cs_techreports/344/
dc.identifier.articleid 1345
dc.identifier.contextkey 5542814
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_techreports/344
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/20176
dc.source.bitstream archive/lib.dr.iastate.edu/cs_techreports/344/FormulaEditor_LiuHauLutGepRo_.pdf|||Fri Jan 14 23:42:06 UTC 2022
dc.subject.disciplines Software Engineering
dc.subject.keywords Model Checking
dc.subject.keywords Property Specification
dc.subject.keywords Software Product Lines
dc.subject.keywords Tool Support
dc.title A Tool-supported Technique for Specification & Management of Model-checking Properties for Software Product Lines
dc.type article
dc.type.genre article
dspace.entity.type Publication
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
File
Original bundle
Now showing 1 - 1 of 1
Name:
FormulaEditor_LiuHauLutGepRo_.pdf
Size:
437.14 KB
Format:
Adobe Portable Document Format
Description:
Collections