A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2007
Second International Workshop on Automation of Software Test (AST '07)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 Sixth European Conference on Web Services
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2015
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2007
Journal of Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 42nd Southeastern Symposium on System Theory (SSST 2010)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
CASE
2016
Proceedings of the 14th Annual International Conference on Mobile Systems, Applications, and Services - MobiSys '16
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2005
Computer Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2006
2006 ieee/aiaa 25TH Digital Avionics Systems Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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]
1996
Protocol Test Systems VIII
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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