30,087 Hits in 11.2 sec

From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems [chapter]

Bernhard K. Aichernig, Carlo Corrales Delgado
2006 Lecture Notes in Computer Science  
The novel idea is to generate test purposes from faults that have been injected into a model of the system under test.  ...  Such test purposes form a specification of a more detailed test case that can detect the injected fault. The theory is based on the notion of refinement.  ...  Test Cases In this testing framework for concurrent systems, a test case is a process running in parallel to the IUT.  ... 
doi:10.1007/11693017_24 fatcat:z2qpwpmdf5bkxchosh6ge657wa

Generating test case by using use case object oriented approach

2016 International Journal of Latest Trends in Engineering and Technology  
Software Testing[1] is any process or activity aimed at evaluating a system or attribute or capability of a program and determining through the purpose to find that whether it satisfies or meets the specified  ...  In simple words testing is executing a system in order to discover any  ...  First we generate test case generation using use case diagrams, random based testing, model based testing and test scenarios from the activity diagram and then for each scenario the corresponding sequence  ... 
doi:10.21172/1.81.008 fatcat:wmuqgm423ras5k2ybvdjtoufpy

Automated Testing of Timeliness : A Case Study

Robert Nilsson, Jeff Offutt
2007 Second International Workshop on Automation of Software Test (AST '07)  
A problem with testing timeliness of real-time applications is the response-time dependency on the execution order of concurrent tasks.  ...  This paper evaluate a mutation-based framework for automated testing of timeliness by applying it on a small control system running on Linux/RTAI.  ...  Once faults are identified, test cases are constructed that try to reveal those faults in the system implementation.  ... 
doi:10.1109/ast.2007.5 dblp:conf/icse/NilssonO07 fatcat:unc7wmq7lrgznmwyrsbvemgbny

Automatic Timed Test Case Generation for Web Services Composition

Mounir Lallali, Fatiha Zaidi, Ana Cavalli, Iksoon Hwang
2008 2008 Sixth European Conference on Web Services  
Test case generation is based on simulation where the exploration is guided by test purposes.  ...  The proposed method was implemented in a set of tools which were applied to a common Web service as a case study.  ...  We propose a "black box" approach based on test purposes and on a conformance relation. To guide the test generation, we propose a test generation algorithm with (timed) test purposes.  ... 
doi:10.1109/ecows.2008.14 dblp:conf/ecows/LallaliZCH08 fatcat:3quvwwnxfrbq7be2zg55ymtl3q

Empirical evaluations on the cost-effectiveness of state-based testing: An industrial case study

Nina Elisabeth Holt, Lionel C. Briand, Richard Torkar
2014 Information and Software Technology  
To enable the evaluation of SBT techniques, a model-based testing tool was configured and used to automatically generate test suites.  ...  Method: An industrial case study was used to investigate the cost-effectiveness of SBT.  ...  One approach to software testing derives test cases from a behavior model of the system under test (SUT) and is referred to as model-based testing (MBT) [1] .  ... 
doi:10.1016/j.infsof.2014.02.011 fatcat:xfj4j3aip5eupf5ikujlevwu74

Mutation-Based Test-Case Generation with Ecdar

Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik M. Nyman
2017 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)  
In model-based mutation testing, the test criterion is defined via faulty models, called mutants, which are used to create test cases that specifically target the modeled faults.  ...  We applied the procedure to the timed automata model of a car alarm system, which was used in the previous approach of model-based mutation testing for timed automata, and compare the two approaches based  ...  of Cyber Physical Systems" as well as the H2020-ECSEL-JU ENABLE-S3 European Initiative to Enable Validation for Highly Automated Safe and Secure Systems under grant agreement N o 692455.  ... 
doi:10.1109/icstw.2017.60 dblp:conf/icst/LarsenLNN17 fatcat:fgl5y2w4zbfk7hyixcziypfsbu

The Risks of Coverage-Directed Test Case Generation

Gregory Gay, Matt Staats, Michael Whalen, Mats P. E. Heimdahl
2015 IEEE Transactions on Software Engineering  
First, coverage criteria satisfaction alone can be a poor indication of fault finding effectiveness, with inconsistent results between the seven case examples (and random test suites of equal size often  ...  In this work, we evaluate the effectiveness of test suites generated to satisfy four coverage criteria through counterexample-based test generation and a random generation approach-where tests are randomly  ...  For all but one of these case examples, test suites generated via counterexample-based test generation are less effective than pure random test suites by 2.6% to 59.2%; we therefore conclude that our initial  ... 
doi:10.1109/tse.2015.2421011 fatcat:awhynqe65ze7lfjgb7w3puo7lq

A Case for Virtual Machine Based Fault Injection in a High-Performance Computing Environment [chapter]

Thomas Naughton, Geoffroy Vallée, Christian Engelmann, Stephen L. Scott
2012 Lecture Notes in Computer Science  
The work on system-level virtualization for HPC system offers a unique opportunity to maintain a consistent execution environment via a virtual machine (VM).  ...  This includes work on log analysis to identify types of failures, enhancements to the Message Passing Interface (MPI) to incorporate fault awareness, and a variety of fault tolerance mechanisms that span  ...  This leads to the second facet, fault location. In the case of VM-based injectors, the VMM/VM have full access to the resources and have full control to interpose on their access.  ... 
doi:10.1007/978-3-642-29737-3_27 fatcat:ljnbsmqf6jasdgrvjlnb5wruuu

Model-based mutation testing—Approach and case studies

Fevzi Belli, Christof J. Budnik, Axel Hollmann, Tugkan Tuglular, W. Eric Wong
2016 Science of Computer Programming  
Test cases generated based on the mutated models (mutants) are used to determine not only whether each mutant can be killed but also whether there are any faults in the corresponding system under consideration  ...  Each CES represents a walk from the entry of an ESG to its exit, realized by a chain of user inputs and system responses. A test case is an ordered pair of an input and an expected output of the SUC.  ...  Their algorithms for test case generation work on the level of labeled transition system (LTS), the UML state machine model defined by the user has to be converted into an LTS via action systems.  ... 
doi:10.1016/j.scico.2016.01.003 fatcat:bgech5n7xzavjpvzgiiracwrtu

An Automatic Test Case Generation Framework for Web Services

Yongyan Zheng, Jiong Zhou, Paul Krause
2007 Journal of Software  
Based on WSA, we propose a model checking based test case generation framework for BPEL.  ...  Two levels of test cases can be generated to test whether the implementation of web services conforms to the BPEL behaviour and WSDL interface models.  ...  Mike Shield for discussions concerning this work, and the reviewers for their detailed comments.  ... 
doi:10.4304/jsw.2.3.64-77 fatcat:khlxl5ka4zd2fg5mjnpmrhirzy

Soft-core embedded processor-based Built-In Self-Test of FPGAs: A case study

Bradley F. Dutton, Charles E. Stroud
2010 2010 42nd Southeastern Symposium on System Theory (SSST 2010)  
We show that the approach reduces the complexity of an external BIST controller, making it particularly appealing for in-system testing of high-reliability and fault-tolerant systems with FPGAs.  ...  This paper presents the results of a case study which investigates the use of an embedded soft-core processor to perform Built-In Self-Test (BIST) of the logic resources in Xilinx Virtex-5 Field Programmable  ...  This best case timing occurs when one word is read or written on each active edge of the clock, as is the case for configuration from a dedicated memory.  ... 
doi:10.1109/ssst.2010.5442812 fatcat:slb3jvscbrbnrgsjdy3oye7vxi


Suwen Zhu, Long Lu, Kapil Singh
2016 Proceedings of the 14th Annual International Conference on Mobile Systems, Applications, and Services - MobiSys '16  
We evaluate CASE with 420 popular apps and a set of Android's unit tests. The results show that CASE is fully compatible with the tested apps and incurs an average performance overhead of 4.9%.  ...  These so-called "module-level attacks" are quickly emerging, fueled by the pervasive use of third-party code in apps and the lack of module-level security enforcement on mobile platforms.  ...  We thank the anonymous reviewers for their insightful comments. We thank our shepherd, Ardalan Amiri Sani, for his guidance on the final paper revisions.  ... 
doi:10.1145/2906388.2906413 dblp:conf/mobisys/ZhuLS16 fatcat:zej4qfx5kvekfmhihtzhgpdftu

Generation of test purposes from Use Case Maps

Daniel Amyot, Luigi Logrippo, Michael Weiss
2005 Computer Networks  
The first approach is based on testing patterns, the second one on UCM scenario definitions, and the third one on transformations to formal specifications (e.g., in LOTOS).  ...  We also identify challenges in refining these test purposes into test cases as well as opportunities for improving current UCM-based testing.  ...  The authors would like to thank Jacques Sincennes, who over the years has been involved in most of the projects discussed here.  ... 
doi:10.1016/j.comnet.2005.05.006 fatcat:bie36tsy3zc5xj7xv7efr3btxa

Model-Based System Design of Time-Triggered Architectures - Avionics Case Study

Hauke Fuhrmann, Reinhard Hanxleden, Jorn Rennhack, Jens Koch
2006 2006 ieee/aiaa 25TH Digital Avionics Systems Conference  
However, to fully utilize the advantages of TTA, we advocate the use of a model-based design process.  ...  This paper gives an overview of the application and the system architecture, and describes the model-based development process.  ...  Position pick-off units (PPU) measure the current angle of the flap shaft and a hydraulic cross shaft brake (CSB) is able to fix the shaft in case of faults.  ... 
doi:10.1109/dasc.2006.313745 fatcat:p52fi6wz4bbu5mflyq7wmgmfhi

Transformation of Estelle modules aiming at test case generation [chapter]

O. Henniger, A. Ulrich, H. König
1996 Protocol Test Systems VIII  
The transformed EFSM allows to apply methods based on the finite state machine (FSM) model for test case generation.  ...  (eds.), Protocol Test Systems VIII  ...  ACKNOWLEDGEMENTS The authors are grateful to Karsten Nickoll for his assistance in programming the transformation algorithm.  ... 
doi:10.1007/978-0-387-34988-6_3 fatcat:folnbxdplna55jqiysvnna4dze
« Previous Showing results 1 — 15 out of 30,087 results