Filters








12,083 Hits in 6.7 sec

Towards an Automated Unified Framework to Run Applications for Combinatorial Interaction Testing [article]

Bestoun S. Ahmed and Amador Pahim and Cleber R. Rosa Junior and D. Richard Kuhn and Miroslav Bures
2019 arXiv   pre-print
Combinatorial interaction testing (CIT) is a well-known technique, but the industrial experience is needed to determine its effectiveness in different application domains.  ...  In addition, we present a new industrial case study to demonstrate the effectiveness of the framework.  ...  ACKNOWLEDGMENTS This research is funded by Red Hat Czech s.r.o. as a collaboration project with Software Testing Intelligent Lab (STILL) in CVUT and part of Avocado testing framework project.  ... 
arXiv:1903.05387v1 fatcat:2bel7wurhjaybfbegdfgb6dwgq

Test Suite Design Methodology Using Combinatorial Approach for Internet of Things Operating Systems

Abhinandan H. Patil, Neena Goveas, Krishnan Rangarajan
2015 Journal of Software Engineering and Applications  
In this paper we describe how the test design can be done by using the Combinatorial Testing approach for internet of things operating systems.  ...  We elaborate the code coverage gathering technique for Contiki simulator which happens to be in Java. We explain the usage of Combinatorial Coverage Measurement tool.  ...  NIST tools are an integral part of combinatorial testing and many users have been using them successfully in testing activities of research/industry.  ... 
doi:10.4236/jsea.2015.87031 fatcat:f5mkwnpxdjfztdgpn6xsr6ggia

Filtering TOBIAS Combinatorial Test Suites [chapter]

Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron
2004 Lecture Notes in Computer Science  
TOBIAS is a combinatorial testing tool, aimed at the production of large test suites.  ...  The tool takes advantage of the executable character of VDM or JML assertions which provide an oracle for the testing process. Executing large test suites may require a lot of time.  ...  Conclusion TOBIAS is a combinatorial tool that instantiates a large set of test sequences from an abstract description.  ... 
doi:10.1007/978-3-540-24721-0_21 fatcat:ys4wivhzxfcuxcmtevdjka4y3e

On the applicability of combinatorial testing to web application security testing: a case study

Bernhard Garn, Ioannis Kapsalis, Dimitris E. Simos, Severin Winkler
2014 Proceedings of the 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing - JAMAICA 2014  
It further reports on undertaken practical experiments thus strengthening the applicability of combinatorial testing to web application security testing.  ...  Case studies for evaluating tools in security testing are powerful.  ...  Moreover, we further analyze some practical experiences learned by comparing our findings on both used penetration testing tools and also give a flavor of a combinatorial testing evaluation in terms of  ... 
doi:10.1145/2631890.2631894 dblp:conf/issta/GarnKSW14 fatcat:ujnml33jzrelxdlj6cd242b55i

The VHSIC Hardware Description Language - A Glimpse of the Future

1986 IEEE Design & Test of Computers  
The support environment is composed of a design library and five tools: Analyzer, Reverse Analyzer, Design Library Manager, Simplifier, and Simulator.  ...  The authors present examples of VHDL descriptions and relate them to the particular area of the test environment in which they are useful.  ... 
doi:10.1109/mdt.1986.294897 fatcat:6kdq3cwa4bdqho7hjegbjmweoe

Knowledge base management systems-tools for creating verified intelligent systems

Richard C. Hicks
2003 Knowledge-Based Systems  
Most application development is facilitated with software tools, but most business rules and expert systems are developed in environments that provide inadequate verification testing.  ...  We then describe building a small expert system in the KBMS, with emphasis on the verification testing at each stage. We conclude with a summary of the benefits of a KBMS. q  ...  As they consider the rule base to be a monolithic mass of knowledge, none of these systems can test for completeness because of combinatorial explosion.  ... 
doi:10.1016/s0950-7051(02)00082-5 fatcat:p7ijllrf4zfq3jfy42txz4nbwi

FITTEST: A new continuous and automated testing process for future Internet applications

Tanja Vos, Paolo Tonella, Wishnu Prasetya, Peter M. Kruse, Alessandra Bagnato, Mark Harman, Onn Shehory
2014 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)  
However, the complexity of the technologies involved in Future Internet applications makes testing extremely challenging. The EU FP7  ...  Since our society is becoming increasingly dependent on applications emerging on the Future Internet, quality of these applications becomes a matter that cannot be neglected.  ...  It can either log real usages by end users of the application in the production environment, or log test cases execution in the test environment.  ... 
doi:10.1109/csmr-wcre.2014.6747206 dblp:conf/csmr/VosTPKBHS14 fatcat:oik3masdsnbp5a5uhcdpm3jrya

Unified Coverage Methodology for SoC Post-Silicon Validation

Semih Aslan, G. Karuna Ranganathapura Chandrai, Vittal Siddaiah
2016 Optics and Photonics Journal  
We discuss the reasons for limited applicability of pre-silicon coverage metrics in post-silicon.  ...  A high quality System-on-Chip creates distinction and position in the market, and validation is the key to a quality product. Validation consumes >60% of the product cycle.  ...  Although debugging a failure is easier in this environment, limited simulation speed restricts the number of tests.  ... 
doi:10.4236/opj.2016.610026 fatcat:skmlx4zcjvhb3nfo4tcazq4l2e

Elaborating Validation Scenarios Based on the Context Analysis and Combinatorial Method: Example of the Power-Efficiency Framework Innomterics

Paolo Ciancarini, Artem Kruglov, Andrey Sadovykh, Giancarlo Succi, Evgeniy Zuev
2020 Electronics  
In this paper, we present an approach for the systematic generation of validation scenarios using a specifically developed taxonomy and combinatorial testing.  ...  The combinatorial testing results in 13 cases for one-way test coverage, which was considered enough to create a comprehensive test suite. We defined the case study for each particular scenario.  ...  The software is developed for an industrial system, so a number of optical and environmental sensors, as well as display, are assigned to this scenario 7Desktop software under Linux OS.  ... 
doi:10.3390/electronics9122111 fatcat:jvxvtdiw2vec5msqpjqgseo6je

High-Throughput and Combinatorial Technologies for Tissue Engineering Applications

Anthony Peters, Darren M. Brey, Jason A. Burdick
2009 Tissue engineering. Part B, Reviews  
The development of high-throughput and combinatorial technologies is helping to speed up research that is applicable to all aspects of the tissue engineering paradigm.  ...  Although much of this work is only applicable for in vitro studies, future methods may translate into rapid screening of these approaches in vivo.  ...  In pursuing this goal, the use of highthroughput and combinatorial techniques should continue to enhance our progress toward in vivo testing and clinical tissue engineering applications.  ... 
doi:10.1089/ten.teb.2009.0049 pmid:19290801 fatcat:uhtprcjedfgezctzdqpwszf3z4

Evaluation of Software Product Line Test Case Prioritization Technique

Muhammad Sahak, Shahliza Abd Halim, Dayang Norhayati Abang Jawawi, Mohd Adham Isa
2017 International Journal on Advanced Science, Engineering and Information Technology  
The discussion highlights the lack of technique for scalability issue in SPL with most of the work is on academia setting but not on industrial practices.  ...  However, due to time and space complexities, testing all products is not feasible, and SPL testing is proven to be difficult due to a combinatorial explosion of the number of products to be considered.  ...  Finally, our study concludes that most of the existing works are focusing on academic environment and is not fully tested in an industrial environment.  ... 
doi:10.18517/ijaseit.7.4-2.3403 fatcat:bvfmrkjqdjfv3gkbneb3jozkxi

ACRE: Absolute concentration robustness exploration in module-based combinatorial networks

Hiroyuki Kuwahara, Ramzan Umarov, Islam Almasri, Xin Gao
2017 Synthetic Biology  
To engineer cells for industrial-scale application, a deep understanding of how to design molecular control mechanisms to tightly maintain functional stability under various fluctuations is crucial.  ...  Here, we introduce a software tool, absolute concentration robustness explorer (ACRE), which efficiently explores combinatorial biochemical networks for the ACR property.  ...  We acknowledge the contribution of Basil Arkasosy to the initial phase of this work. Conflict of interest: None declared.  ... 
doi:10.1093/synbio/ysx001 pmid:32995502 pmcid:PMC7513739 fatcat:ldbrj2niz5bkbepz4o2ellz5ha

Study Paper on Test Case Generation for Gui Based Testing

A Isabella
2012 International Journal of Software Engineering & Applications  
With the advent of WWW and outburst in technology and software development, testing the software became a major concern.  ...  Due to the importance of the testing phase in a software development lifecycle, testing has been divided into graphical user interface (GUI) based testing, logical testing, integration testing, etc.GUI  ...  It is used to analyze the test cases, defects and source metrics from the tester / researcher point of view in the context of industry-developed GUI software.  ... 
doi:10.5121/ijsea.2012.3110 fatcat:m5qqyn46uzfxvgcflse646hipu

A builder and simulator program with interactive virtual environments for the discovery and design of logic digital circuits

Arturo Miguel-de-Priego
2013 2013 IEEE Frontiers in Education Conference (FIE)  
Also students can use virtual environments to test circuits as if they were in the real world.  ...  This paper describes the features and applications of a computer program for building and simulating digital circuits with standard and custom integrated circuits, virtual environments and other useful  ...  The purpose of the program is to help teachers and students in an introductory logic design course, by providing tools for both virtual manufacturing and virtual testing of digital circuits with their  ... 
doi:10.1109/fie.2013.6684912 dblp:conf/fie/Miguel-de-Priego13 fatcat:kbtjimxpxvgadfcualhz7bjcpm

Modular cell design for rapid, efficient strain engineering toward industrialization of biology

Cong T Trinh, Brian Mendoza
2016 Current Opinion in Chemical Engineering  
Transforming biology into an engineering practice has great potential to shape the industrialization of biology that will drive rapid development of novel microbial manufacturing platforms.  ...  This paper highlights recent progress in rational design of heterologous pathways for combinatorial biosynthesis of a large space of chemicals and modular cell design for rapid strain engineering.  ...  For biosynthesized products to compete with current solutions economically and in a variety of applications, research efforts must endeavor to achieve an understanding of the combinatorial 3 space available  ... 
doi:10.1016/j.coche.2016.07.005 fatcat:ieypyyetvbfolh2ard6yz4nvgu
« Previous Showing results 1 — 15 out of 12,083 results