8,542 Hits in 5.4 sec

Testing the untestable

Lionel Briand, Shiva Nejati, Mehrdad Sabetzadeh, Domenico Bianculli
2016 Proceedings of the 38th International Conference on Software Engineering Companion - ICSE '16  
In this paper we outline our vision to enable testing of untestable systems. Our key idea is to frame testing on models rather than operational systems. We refer to such testing as model testing.  ...  The models that underlie model testing are executable representations of the relevant aspects of a system and its environment, alongside the risks of system failures.  ...  dependability of largescale software-intensive systems.  ... 
doi:10.1145/2889160.2889212 dblp:conf/icse/BriandNSB25 fatcat:xsm4tdoxonhevhmmcdaysax6cu

Testing the untestable: reliability in the 21st century

T.R. Bennett, J.M. Booker, S. Keller-McNulty, N.D. Singpurwalla
2003 IEEE Transactions on Reliability  
Because of such constraints, reliability must undergo an evolutionary change. The first step in this evolution is to reinterpret the concept so that it meets the new century's needs.  ...  Unfortunately, political, economic, time, and other constraints imposed by the real world inhibit the ability of researchers to calculate reliability efficiently and accurately.  ...  Singpurwalla Automotive Systems for their continuous support of this work. We also are most grateful for the editing and preparation assistance from Octavio Ramos, Jr.  ... 
doi:10.1109/tr.2002.807239 fatcat:onzhidnxdveivfq4c27mksb44m

The Testing Process - A Decision Based Approach

Lars Borner, Timea Illes-Seifert, Barbara Paech
2007 International Conference on Software Engineering Advances (ICSEA 2007)  
Considering that testing a software system completely is not possible, the main task of a test team is to decide which parts of a system should be tested in which way.  ...  The Testing Process -A Decision-Based Approach 3 Copyright © Arbeitsgruppe Software Systems Engineering Heidelberg testing process, several decisions have to be made.  ...  Furthermore, we would like to thank Andrea Herrmann for her helpful comments and Doris Keidel-Müller for reviewing previous versions of this paper.  ... 
doi:10.1109/icsea.2007.75 dblp:conf/icsea/BornerIP07 fatcat:3rrfgzjtffc25ibvkryxilfuzi

Exploring the Composition of Unit Test Suites [article]

Bart Van Rompaey, Serge Demeyer
2007 arXiv   pre-print
In agile software development, test code can considerably contribute to the overall source code size.  ...  In this paper, we argue that the visualization of structural characteristics is a viable means to support the exploration of test suites.  ...  Acknowledgements -This work was executed in the context of the ITEA project if04032 entitled Software Evolution, Refactoring, Improvement of Operational&Usable Systems (SERIOUS) and has been sponsored  ... 
arXiv:0711.0607v1 fatcat:pilhbjztvnbf5lcb353gn3ayba

Analysis and test of the effects of single event upsets affecting the configuration memory of SRAM-based FPGAs

Luca Cassano
2014 2014 International Test Conference  
In this thesis we propose a set of software tools that could be used by designers of SRAM-based FPGA safety-critical applications to assess the sensitivity to SEUs of the system and to generate test patterns  ...  memory of an SRAM-based FPGA system for the early assessment of the sensitivity to SEUs; (ii) UA 2 TPG: Untestability Analyzer and Automatic Test Pattern Generator for SEUs Affecting the Configuration  ...  In this dissertation we present a framework of software tools for the analysis and test of SEUs affecting the configuration memory of SRAM-based FPGA systems during the life-time of the system.  ... 
doi:10.1109/test.2014.7035366 dblp:conf/itc/Cassano14 fatcat:ykg7k6finnhwpk7j6zsbtlwfkq

Exploring the composition of unit test suites

Bart Van Rompaey, Serge Demeyer
2008 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops  
In agile software development, test code can considerably contribute to the overall source code size.  ...  In this paper, we argue that the visualization of structural characteristics is a viable means to support the exploration of test suites.  ...  Acknowledgements -This work was executed during the ITEA SERIOUS project (if04032), sponsored by IWT Flanders.  ... 
doi:10.1109/asew.2008.4686316 dblp:conf/kbse/RompaeyD08 fatcat:fsi32lciancufe6f63chn7k5ty

Automated Unit Testing in Model-based Embedded Software Development

Christoph Luckeneder, Hermann Kaindl, Martin Korinek
2017 Proceedings of the 12th International Conference on Software Technologies  
Automating software tests is generally desirable, and especially for the software of safety-critical real-time systems such as automotive control systems.  ...  Automated Unit Testing in Model-based Embedded Software Development.  ...  ACKNOWLEDGMENT Part of this research has been carried out in the Fea-tureOpt project (No. 849928), funded by the Austrian BMVIT (represented by the Austrian FFG).  ... 
doi:10.5220/0006469604270434 dblp:conf/icsoft/LuckenederKK17 fatcat:rv6tszxy5vha5gwuzy3wfeoa7u

PedExpert: a computer program for the application of Bayesian networks to human paternity testing

R.R. Gomes, S.V.A. Campos, S.D.J. Pena
2009 Genetics and Molecular Research  
PedexPert is a Windows-based Bayesian network software, especially constructed to solve problems in parentage testing that are complex because of missing genetic information on the alleged father and/or  ...  PedexPert is user-friendly and greatly reduces the time of analysis for complex cases of paternity testing, eliminating most sources of logical and operational error.  ...  This need of having a different network for each locus is the main reason why using generic software is slow and labor-intensive.  ... 
doi:10.4238/vol8-1gmr555 fatcat:2goy43rbsvhpphy3ueodahq25m

Testing the Sulfotransferase Molecular Pore Hypothesis

Ian Cook, Ting Wang, Steven C. Almo, Jungwook Kim, Charles N. Falany, Thomas S. Leyh
2013 Journal of Biological Chemistry  
To test the pore model, these linkages were disrupted in SULT2A1 via mutagenesis, and the effects on selectivity were determined.  ...  In summary, the model was shown to be a robust, accurate predictor of SULT structure and selectivity whose general features will likely apply to other members of the SULT family.  ...  Molecular dynamics modeling supported that that framework is the basis of the isomerization and offers a refined but untested molecular description of the response of the framework to nucleotide.  ... 
doi:10.1074/jbc.m112.445015 pmid:23362278 pmcid:PMC3605680 fatcat:3nnpio4sxvgu3mcyqxuo4mvoau

Automated and manual testing as part of the research software development process of RCE [article]

Robert Mischke, Kathrin Schaffert, Dominik Schneider, Alexander Weinert
2022 arXiv   pre-print
Thus, developers of research software must balance their limited resources between implementing new features and thoroughly testing any code changes.  ...  The more people and research projects rely on the software in question, the more important it is that software updates implement new features correctly and do not introduce regressions.  ...  ., waterfall method, V-Model, or Scrum. Instead, we put large emphasis on mutual communication, following the core ideas of agile software development [4] .  ... 
arXiv:2204.05600v1 fatcat:a6v5v26flnailltaeveiwmnx4y

Finding errors in .net with feedback-directed random testing

Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball
2008 Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08  
Due to its complexity and high reliability requirements, the component had already been tested by 40 test engineers over five years, using manual testing and many automated testing techniques.  ...  generation found more errors in 15 hours of human effort and 150 hours of CPU time than a test engineer typically finds in one year on code of the quality of the component under test.  ...  [GHJ07] describe a case study in which model checking would not scale to testing code for complex flight systems, while random testing scales and finds many errors in the code.  ... 
doi:10.1145/1390630.1390643 dblp:conf/issta/PachecoLB08 fatcat:pazuqbxwwfbqlbu4gpzu7ljx2q

Studying the co-evolution of production and test code in open source and industrial developer test processes through repository mining

Andy Zaidman, Bart Van Rompaey, Arie van Deursen, Serge Demeyer
2010 Empirical Software Engineering  
To gain insight in the nature of this co-evolution, this paper proposes three views (realized by a tool called TeMo) that combine information from a software project's versioning system, the size of the  ...  We validate these views against two open source and one industrial software project and evaluate our results both with the help of log messages, code inspections and the original developers of the software  ...  Acknowledgements Our gratitude goes out to the Software Improvement Group 8 (SIG) for providing us with the opportunity and the support to analyze one of their software systems; in  ... 
doi:10.1007/s10664-010-9143-7 fatcat:oxsttscs45colmzsgrhoooe6wq

Software protection mechanisms for dependable systems

Ute Wappler, Martin Müller
2008 Proceedings of the conference on Design, automation and test in Europe - DATE '08  
But the used commodity microprocessors will become less reliable because of decreasing feature size and reduced power supply.  ...  Thus software-implemented approaches to deal with unreliable hardware will be required.  ...  Thus, it will be noticed pretty late in the development process or not at all if test coverage is not 100% and the unsupported operator usage occurs in an untested part of the code.  ... 
doi:10.1145/1403375.1403604 fatcat:tqkmcm6cejbqng3dajyol7lczy

Improving the identification of priority populations to increase hepatitis B testing rates, 2012

Caroline van Gemert, Julie Wang, Jody Simmons, Benjamin Cowie, Douglas Boyle, Mark Stoove, Chris Enright, Margaret Hellard
2015 BMC Public Health  
The study was effective at identifying whether Asian-born patients and patients of Asian had been tested or vaccinated for HBV; however the intervention was not effective at increasing HBV testing.  ...  A disproportionate number of those with undiagnosed infection were born in the Asia-Pacific region.  ...  Data collection and encryption was conducted using GRHANITE™ software developed by the Health Informatics Unit, The University of Melbourne.  ... 
doi:10.1186/s12889-016-2716-7 pmid:26832144 pmcid:PMC4735953 fatcat:6m3i524xn5abhe4wtz33ntwgfi

When testing meets code review

Davide Spadini, Maurício Aniche, Margaret-Anne Storey, Magiel Bruntink, Alberto Bacchelli
2018 Proceedings of the 40th International Conference on Software Engineering - ICSE '18  
for ensuring the quality of test code.  ...  Based on our findings, we propose a series of recommendations and suggestions for the design of tools and future research. CCS CONCEPTS • Software and its engineering → Software testing and debugging;  ...  like mocking and the complexity of the testing code.  ... 
doi:10.1145/3180155.3180192 dblp:conf/icse/SpadiniASBB18 fatcat:wivesxlkgbdkzl7nrgxnljzbdu
« Previous Showing results 1 — 15 out of 8,542 results