125,207 Hits in 9.1 sec

Functional safety and variability

Michael Schulze, Jan Mauersberger, Danilo Beuche
2013 Proceedings of the 17th International Software Product Line Conference on - SPLC '13  
The arising question is: Can variability in functional safety related assets be treated in the same way as for other artifacts like requirements, models, and source code?  ...  Applying a product line approach with explicitly modeling the commonalities and variabilities of system artifacts and deriving products from that common base is a way to tackle the problem.  ...  works for common artifacts like requirements, system architecture models, source code, tests, and so on.  ... 
doi:10.1145/2491627.2491654 dblp:conf/splc/SchulzeMB13 fatcat:7cp57bxrirenxdbhciuincf3ym

Towards a systematic requirement-based test generation framework: Industrial challenges and needs

Shokoofeh Hesari, Razieh Behjati, Tao Yue
2013 2013 21st IEEE International Requirements Engineering Conference (RE)  
Requirement-based test generation (RBTG) is a verification and validation technique, which ensures the conformance of a final product with its requirements.  ...  Due to the complexity of developing such systems and being in the context of system product-line engineering, achieving this goal requires a systematic approach for RBTG.  ...  Furthermore, most of these tools don't support the variability management of requirements and tests as a built-in functionality.  ... 
doi:10.1109/re.2013.6636727 dblp:conf/re/HesariBY13 fatcat:nxiegm5vybcf3ekypmy7b6uidy

A survey on software product line testing

Jihyun Lee, Sungwon Kang, Danhyung Lee
2012 Proceedings of the 16th International Software Product Line Conference on - SPLC '12 -volume 1  
Thus, this paper surveys the current software product line testing approaches by defining a reference SPL testing processes and identifying, based on them, key research perspectives that are important  ...  Various software product line testing approaches have been developed over the last decade, and surveys have been conducted on them.  ...  For deriving observations to be used as the basis for comparison and analysis, we analyze P1 through P5 based on McGregor [8, 9] and Pohl et al.  ... 
doi:10.1145/2362536.2362545 dblp:conf/splc/LeeKL12 fatcat:kj5jl4kcajfflboo54jmxnfit4

An approach for Model-Driven test generation

J.J. Gutierrez, M.J. Escalona, M. Mejias, I. Ramos, J. Torres
2009 2009 Third International Conference on Research Challenges in Information Science  
Model-Driven Engineering is a new paradigm that can help to minimize test cases generation costs and can ensure quality of results.  ...  The test phase is one of the most important phases in software development. However, in practice, little research has been carried out in this field.  ...  ACKNOWLEDGMENT This research has been supported by the project QSimTest (TIN2007-67843-C06_03) and by the RePRIS project of the Ministerio de Educación y Ciencia (TIN2007-30391-E), Spain.  ... 
doi:10.1109/rcis.2009.5089294 dblp:conf/rcis/CuaresmaGMRT09 fatcat:rwkosvtqjrblxcsn4xuvfzm5x4

DesCert: Design for Certification [article]

Natarajan Shankar, Devesh Bhatt, Michael Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren
2022 arXiv   pre-print
We have adopted a formal, tool-based approach to the construction of software artifacts that are supported by rigorous evidence.  ...  properties and software components with assertional contracts, and on to software that can be analyzed both dynamically and statically.  ...  Test generation is based on a testing theory for exploring and monitoring the implementation of each operator used in the requirements definition.  ... 
arXiv:2203.15178v1 fatcat:uf6gxa573nhydm2qq5qum5phvm

Towards Integrated Variant Management in Global Software Engineering: An Experience Report

Christian Manz, Michael Stupperich, Manfred Reichert
2013 2013 IEEE 8th International Conference on Global Software Engineering  
based on experiences.  ...  Especially, the increasing number of software variants requires an examination of traceable and configurable software variants over the software lifecycle.  ...  SPES XT is supported by the German Federal Ministry for Education and Research (BMBF) by 01IS12005.  ... 
doi:10.1109/icgse.2013.29 dblp:conf/icgse/ManzSR13 fatcat:jru2fxpty5cephsgdz4dhih2rm

Boundary objects and their use in agile systems engineering

Rebekka Wohlrab, Patrizio Pelliccione, Eric Knauss, Mats Larsson
2019 Journal of Software: Evolution and Process  
This paper presents artifacts, challenges, guidelines, and practices for the continuous management of systems engineering artifacts in automotive based on a theoretical and empirical understanding of the  ...  tool.  ...  This work was partially supported by the Next Generation Electrical Architecture (NGEA) and NGEA step 2 projects by VINNOVA FFI (2014-05599 and 2015-04881), the Software Center Project 27 on RE for Large-Scale  ... 
doi:10.1002/smr.2166 fatcat:euamadzhtbg3fhh7zfpdmp5xlq

A hybrid intelligence approach to artifact recognition in digital publishing

J. Fernando Vega-Riveros, Hector J. Santos Villalobos, Jan P. Allebach, Hui Chao
2006 Digital Publishing  
We designed a Knowledge-Based Artifact Recognition tool for document segmentation, layout understanding, artifact detection, and document design quality assessment.  ...  The system presented integrates rule-based and case-based reasoning for artifact recognition in Digital Publishing.  ...  A detailed analysis of results for each type of artifact is found in [10] . For this these tests we tried 8 N different weight configurations for the distance function in equation 1.  ... 
doi:10.1117/12.646240 fatcat:cmukywwebremdec2h5vdtggbwy

The origin of the Acheulean. Techno-functional study of the FLK W lithic record (Olduvai, Tanzania)

Policarpo Sánchez-Yustos, Fernando Diez-Martín, Manuel Domínguez-Rodrigo, Javier Duque, Cristina Fraile, Isabel Díaz, Sara de Francisco, Enrique Baquedano, Audax Mabulla, Michael D. Petraglia
2017 PLoS ONE  
The integration of mechanical and ergonomic investigation in our research has been crucial to explain how a core-and-flake industry gave way to a technology based on the production of large and heavy shaped  ...  An original techno-functional approach is applied here to analyze the origin of Acheulean tools.  ...  Acknowledgments We wish to thank Tanzanian COSTECH and the Antiquities Unit for permits to conduct research at Olduvai Gorge.  ... 
doi:10.1371/journal.pone.0179212 pmid:28767645 pmcid:PMC5540295 fatcat:pwlx3ansovecth5adgqcxy76fe

Standards Initiatives for Software Product Line Engineering and Management within the International Organization for Standardization

Timo Kakola
2010 2010 43rd Hawaii International Conference on System Sciences  
As a result, ecosystems cannot adopt standardized methods and tools for developing product lines, tool vendors face difficulties in developing tools to enable product line engineering, and universities  ...  The International Organization for Standardization has initiated several projects to create a set of international standards for software product line engineering.  ...  The domain testing of implementations involves the creation of domain test cases for the common and variable features realized by the platform based on the inputs from domain requirements engineering,  ... 
doi:10.1109/hicss.2010.348 dblp:conf/hicss/Kakola10 fatcat:relxmcwagbejzly5p3lkedj2cm

Modeling DevOps Deployment Choices Using Process Architecture Design Dimensions [chapter]

Zia Babar, Alexei Lapouchnian, Eric Yu
2015 Lecture Notes in Business Information Processing  
At present, there is no structured method in enterprise architecture modeling that would enable enterprises to devise a DevOps approach suitable for their requirements while considering possible process  ...  their contexts and requirements.  ...  (B) Analyzing the temporal placement of QA testing process element based on NFRs. Fig. 4 . 4 Fig. 4.  ... 
doi:10.1007/978-3-319-25897-3_21 fatcat:t4dfmfq7prdu5d4rlixmltsjmi

AGMT3-D: A software for 3-D landmarks-based geometric morphometric shape analysis of archaeological artifacts

Gadi Herzlinger, Leore Grosman, Michael D. Petraglia
2018 PLoS ONE  
tool, automatic calculation of shape variabilities and statistical tests.  ...  It is intended to provide archaeologists with a simple and easy-to-use tool for performing 3-D landmarks-based geometric morphometric shape analysis on 3-D digital models of archaeological artifacts.  ...  We thank Bo Madsen for knapping the experimental material and Gonen Sharon for curating it.  ... 
doi:10.1371/journal.pone.0207890 pmid:30458049 pmcid:PMC6245792 fatcat:24ofepu35vaf7kug6ctfbxajja

Model transformation impact on test artifacts

Anders Eriksson, Birgitta Lindström, Sten F. Andler, Jeff Offutt
2012 Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12  
The analysis identifies two major sources for these additional test artifacts.  ...  Test artifacts, i.e., predicates and clauses, are used to satisfy the structural code coverage criterion, in this case MCDC, which is required by the US Federal Aviation Administration.  ...  ACKNOWLEDGEMENTS This work was supported in part by the Research Grant 2010-01252 from the VINNOVA (Swedish Governmental Agency for Innovation Systems).  ... 
doi:10.1145/2427376.2427378 fatcat:gmlaizacpvdttocvpxn4au2rri

Recovering traceability links in software artifact management systems using information retrieval methods

Andrea De Lucia, Fausto Fasano, Rocco Oliveto, Genoveffa Tortora
2007 ACM Transactions on Software Engineering and Methodology  
We have improved an artifact management system with a traceability recovery tool based on Latent Semantic Indexing (LSI), an information retrieval technique.  ...  We observed that although tools based on information retrieval provide a useful support for the identification of traceability links during software development, they are still far to support a complete  ...  ACKNOWLEDGMENTS We would like to thank the anonymous reviewers for their detailed, constructive, and thoughtful comments that helped us to improve the presentation of the results in this article.  ... 
doi:10.1145/1276933.1276934 fatcat:dftxm6g5dzhgtawjahifxxmony

An overview on analysis tools for software product lines

Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Gunter Saake
2014 Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools - SPLC '14  
Based on a recent survey on analysis for software product lines, we provide a first overview on such tools.  ...  For a selection of features, specialized products of one domain can be generated automatically from domain artifacts.  ...  Testing is usually done on a generated product, so the most tools for testing are product-based (8 tools) or family-product-based (2 tools).  ... 
doi:10.1145/2647908.2655972 dblp:conf/splc/MeinickeTSBS14 fatcat:b4y3g7vklbh4vmulfxrza5ckhy
« Previous Showing results 1 — 15 out of 125,207 results