电子投票软件产品线中的功能交互

International Conference on Feature Interactions in Software and Communication Systems Pub Date : 2009-06-11 DOI:10.3233/978-1-60750-014-8-91

John Paul Gibson, E. Lallet, Jean-Luc Raffy

{"title":"电子投票软件产品线中的功能交互","authors":"John Paul Gibson, E. Lallet, Jean-Luc Raffy","doi":"10.3233/978-1-60750-014-8-91","DOIUrl":null,"url":null,"abstract":"A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of similar machines. We demonstrate that e-voting is a suitable domain for leveraging state-of-the-art in software product line (SPL) engineering techniques and tools. We propose, based on examples of typical requirements, that a feature-oriented approach to e-voting domain analysis is a good foundation upon which to carry out commonality and variablity analysis. Simple analysis of our core and optional features (and their variants) leads us to believe that feature interactions are a major problem in voting systems. We conclude that a formal software product line would help to manage the composition of features in such a way as to eliminate interactions in the requirements models, before particular e-voting systems are instantiated.","PeriodicalId":382411,"journal":{"name":"International Conference on Feature Interactions in Software and Communication Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Feature Interactions in a Software Product Line for E-voting\",\"authors\":\"John Paul Gibson, E. Lallet, Jean-Luc Raffy\",\"doi\":\"10.3233/978-1-60750-014-8-91\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of similar machines. We demonstrate that e-voting is a suitable domain for leveraging state-of-the-art in software product line (SPL) engineering techniques and tools. We propose, based on examples of typical requirements, that a feature-oriented approach to e-voting domain analysis is a good foundation upon which to carry out commonality and variablity analysis. Simple analysis of our core and optional features (and their variants) leads us to believe that feature interactions are a major problem in voting systems. We conclude that a formal software product line would help to manage the composition of features in such a way as to eliminate interactions in the requirements models, before particular e-voting systems are instantiated.\",\"PeriodicalId\":382411,\"journal\":{\"name\":\"International Conference on Feature Interactions in Software and Communication Systems\",\"volume\":\"16 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-06-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Conference on Feature Interactions in Software and Communication Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3233/978-1-60750-014-8-91\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on Feature Interactions in Software and Communication Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3233/978-1-60750-014-8-91","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 7

摘要

电子投票系统中出现了大量故障，原因是要求不明确，再加上设计类似机器的多种变体的特别方法。我们证明了电子投票是利用最新软件产品线(SPL)工程技术和工具的合适领域。本文以典型需求为例，提出了一种面向特征的电子投票域分析方法，为开展共性和变异性分析奠定了良好的基础。对我们的核心功能和可选功能(及其变体)的简单分析使我们相信功能交互是投票系统中的一个主要问题。我们的结论是，在特定的电子投票系统实例化之前，正式的软件产品线将有助于以这样一种方式来管理功能的组合，从而消除需求模型中的交互。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Feature Interactions in a Software Product Line for E-voting

A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of similar machines. We demonstrate that e-voting is a suitable domain for leveraging state-of-the-art in software product line (SPL) engineering techniques and tools. We propose, based on examples of typical requirements, that a feature-oriented approach to e-voting domain analysis is a good foundation upon which to carry out commonality and variablity analysis. Simple analysis of our core and optional features (and their variants) leads us to believe that feature interactions are a major problem in voting systems. We conclude that a formal software product line would help to manage the composition of features in such a way as to eliminate interactions in the requirements models, before particular e-voting systems are instantiated.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

International Conference on Feature Interactions in Software and Communication Systems

自引率

0.00%

发文量