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
Verifying Code Generation Tools for the B-Method Using Tests: A Case Study
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
Introduction • Verification of compilers and code generators is a complex task • Here we present a case study where two code generation tools were verified using tests (C4B and b2llvm): • Overview of our ...
can be verified using proof obligations to ensure its consistence • It provides a refinement mechanism 5 Background 6 Background • Tools verified in the case study: • C4B • Code generator distributed ...
Introduction • Verification of compilers and code generators is a complex task • Here we present a case study where two code generation tools were verified using tests (C4B and b2llvm): • Overview of our ...
doi:10.1007/978-3-319-21215-9_5
fatcat:q52rgjptszeu3gnkxeilg4l6p4
Testing Research Software: A Case Study
[chapter]
2020
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 2020; you can also visit the original URL.
The file type is application/pdf.
Method : Using the ParSplice research software project as a case, we implemented a testing framework based on a statistical testing approach called Multinomial Test. ...
Conclusions: This study opens up the possibilities of using statistical testing approaches for research software that can overcome some of the inherent challenges involved in testing non-deterministic ...
This research was supported by the Exascale Computing Project (17-SC-20-SC), a collaborative effort of the U.S. ...
doi:10.1007/978-3-030-50436-6_33
fatcat:xdxsxzx3orfprffaxohblw4fki
A case study for generating test cases from use cases
2008
2008 Second International Conference on Research Challenges in Information 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 2018; you can also visit the original URL.
The file type is application/pdf.
This paper introduces a first ease study that test the correct implementation of use cases in a web system and a command line system, analyses the results and exposes that generation of use cases has a ...
Although there are many works describing how to generate test eases from use cases, there are very few ease studies and empirical results of their application and effectiveness. ...
TDEIUML approach, [8] , expresses a use case as a UML activity diagram and uses the Category-Partition method [12] to generate test cases. ...
doi:10.1109/rcis.2008.4632109
dblp:conf/rcis/GutierrezEMTC08
fatcat:ccury5djeza3nbinlnfmgqwtjm
A Case Study in Branch Testing Automation
[chapter]
1996
Achieving Quality in 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 2019; you can also visit the original URL.
The file type is application/pdf.
The derivation of test path sets (point i) is based on a new method for the static analysis of the program flow graph; the method has been implemented within a prototype tool, called BAT. ...
The case study regarded the basic test phase, that is the first step of the testing process and is appropriate for the application of the proposed theory, since it includes the branch testing of program ...
Massimo De Sanctis, head of the Software Development Department of Ericsson Telecomunicazioni S.p.A, for his prompt availability to provide the test environment for the case study described in the paper ...
doi:10.1007/978-0-387-34869-8_30
fatcat:fux6shk72nh6tdvwlozkenwbgi
Testing Object-Oriented Framework Applications Using Fist2 Tool: A Case Study
2010
Zenodo
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 2022; you can also visit the original URL.
The file type is application/pdf.
Generating reusable test cases for the framework applications during the framework development stage, and providing and using the test cases to test part of the framework application whenever the framework ...
The paper illustrates the use of the FIST2 tool for testing several applications that use the SalesPoint framework. ...
JTest [20] is a tool that uses DbC contracts to generate test drivers for Java methods automatically and to check the correctness of the outputs. ...
doi:10.5281/zenodo.1062640
fatcat:qttvjcg55rbmli7grkdh6v4kzu
Model-Driven Service Integration Testing - A Case Study
2010
2010 Seventh International Conference on the Quality of Information and Communications 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 2011; you can also visit the original URL.
The file type is application/pdf.
This paper presents a case study for the modeling and model-based testing (MBT) of enterprise service choreographies. ...
Further, the MBT tools integrated into the testing framework have been compared based on one concrete use case. ...
They are trained and experienced to use proprietary testing tools, but do not have any MBT expertise.
B. ...
doi:10.1109/quatic.2010.49
dblp:conf/quatic/WieczorekSR10
fatcat:op7b4pdfljhwfemoyl6stncdk4
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.
Model based mutation testing has been proposed to generate inputs and determine the execution orders that need to be verified to increase confidence in timeliness. ...
This paper evaluate a mutation-based framework for automated testing of timeliness by applying it on a small control system running on Linux/RTAI. ...
Using the tools we developed for mutation-based test case generation [10] , 70 mutants were automatically created and analyzed in five separate trials. ...
doi:10.1109/ast.2007.5
dblp:conf/icse/NilssonO07
fatcat:unc7wmq7lrgznmwyrsbvemgbny
On Testing Effectiveness of Metamorphic Relations: A Case Study
2011
2011 Fifth International Conference on Secure Software Integration and Reliability Improvement
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.
These relations can help to generate test data and verify the correctness of the test result without the need of oracle. ...
One fundamental challenge for software testing is the oracle problem, which means that either there does not exist a mechanism (called oracle) to verify the test output given any possible program input ...
Some source test cases from traditional test case generation methods are used in metamorphic testing. MRs are used to generate follow-up test cases based on the source test cases. ...
doi:10.1109/ssiri.2011.21
dblp:conf/ssiri/AsrafiLK11
fatcat:snef775qcbhnfoi2ynqs725dki
A Case Study of Testing an Image Recognition
2021
Journal of Visual Language and Computing
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.
Then, the fourth part shows a case study of testing Calorie Mama APP using these two methods and presents the comparative results of test efficiency and coverage. ...
This paper presents a case study of a realistic image recognition application called Calorie Mama using manual testing and automation testing with a 3D decision table. ...
[3] proposed a new method called datamorphic testing, which consists of three components: a set of seed test cases, a set of datamorphisms for transforming test cases, and a set of metamorphisms for ...
doi:10.18293/jvlc2021-n2-194
fatcat:e7opbrma2ngbllbncfnbrdidii
Testing Security Policies for Distributed Systems: Vehicular Networks as a Case Study
[article]
2014
arXiv
pre-print
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.
This framework contains several new methods to ease the test case generation. To demonstrate the reliability of our framework, we present a Vehicular Networks System as an ongoing case study. ...
Our framework makes it possible to automatically generate test sequences, in order to validate the conformance of a security policy. ...
The second condition verifies that the user's class is premium. 2) Test case generation: Using the TestGen-IF tool we are able to generate a test sequence that verifies the two conditions. ...
arXiv:1410.5789v1
fatcat:pwgt3w3a7vb7rbdc263xsvalcm
Automatic Hardware Synthesis from Specifications: A Case Study
2007
2007 Design, Automation & Test in Europe Conference & Exhibition
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 2011; you can also visit the original URL.
The file type is application/pdf.
In this paper we extend these recent methods to generate compact circuits and we show their practicality by synthesizing an arbiter for ARM's AMBA AHB bus and a generalized buffer from specifications given ...
We propose to use a formal specification language as a high-level hardware description language. ...
We are grateful to Karin Greimel and Milan Milinkovic for their help with the implementation and to Margaret Rugira, Chris Styles and Colin Campbell at ARM for their help with understanding the specification ...
doi:10.1109/date.2007.364456
fatcat:le76okqzjbgcvbh5tvefvl2ew4
A case study on MPEG4 decoder design with SystemBuilder
2009
2009 International Symposium on VLSI Design, Automation and Test
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 2016; you can also visit the original URL.
The file type is application/pdf.
This paper presents a case study on designing an MPEG4 decoder system using our system-level design toolkit named SystemBuilder. ...
We start with a sequential specification of the MPEG4 decoder behavior and generate an FPGA implementation. ...
In this paper, we show a case study on designing an MPEG4 decoder system with using SystemBuilder. ...
doi:10.1109/vdat.2009.5158168
fatcat:gqpxengx6jf77fhsugwx456dxq
Combinatorial Interaction Regression Testing: A Study of Test Case Generation and Prioritization
2007
Conference on Software Maintenance, Proceedings of the
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 2010; you can also visit the original URL.
The file type is application/pdf.
There has been little work that empirically assesses the use of CIT test generation as the basis for selection or prioritization. ...
Effective regression testing techniques select and order (or prioritize) test cases between successive releases of a program. ...
Nelson for help on the experimental infrastructure. This work was supported in part by an NSF EPSCoR FIRST award, by an NSF EPSCoR small grant, and by a UNL Layman award. ...
doi:10.1109/icsm.2007.4362638
dblp:conf/icsm/QuCW07
fatcat:2zm3zk4rdvbhrhi3o4fxfm73ce
Lessons learned from replicating a study on information-retrieval based test case prioritization
[article]
2022
arXiv
pre-print
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 2022; you can also visit the original URL.
The file type is application/pdf.
Method: We replicate a test case prioritization technique by Kwon et al. We replicated the original study using four programs, two from the original study and two new programs. ...
We also raised several observations specific to the study and its context, such as insights from using different mutation tools and strategies for mutant generation. ...
Acknowledgement This work has in parts been supported by ELLIIT; the Swedish Strategic Research Area in IT and Mobile Communications. ...
arXiv:2204.06325v1
fatcat:4iie7u5lv5esbhthlghwsdutte
Specification and testing using generalized machines: a presentation and a case study
1998
Software testing, verification & reliability
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.
The use of X-machines as a specification tool and the testing method are illustrated with a case study. ...
It presents a new method for generating test cases from this type of formal specification that provides a more convincing answer to the problem of detecting all faults in a software system. ...
A significant part of the paper is devoted to a case study that illustrates the use of X-machines as a specification tool and the associated testing method.
Testing based on formal specification. ...
doi:10.1002/(sici)1099-1689(199806)8:2<61::aid-stvr154>3.0.co;2-w
fatcat:slzuq5nlxveh5lxio6wll7ktzu
« Previous
Showing results 1 — 15 out of 342,201 results