Filters








342,201 Hits in 11.8 sec

Verifying Code Generation Tools for the B-Method Using Tests: A Case Study [chapter]

Anamaria M. Moreira, Cleverton Hentz, David Déharbe, Ernesto C. B. de Matos, João B. Souza Neto, Valério de Medeiros
2015 Lecture Notes in Computer Science  
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]

Nasir U. Eisty, Danny Perez, Jeffrey C. Carver, J. David Moulton, Hai Ah Nam
2020 Lecture Notes in Computer Science  
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

Javier J. Gutierrez, Maria J. Escalona, Manuel Mejias, Jesus Torres, Arturo H. Centeno
2008 2008 Second International Conference on Research Challenges in Information Science  
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]

A. Bertolino, R. Mirandola, E. Peciola
1996 Achieving Quality in Software  
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

Jehad Al Dallal
2010 Zenodo  
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

Sebastian Wieczorek, Alin Stefanescu, Andreas Roth
2010 2010 Seventh International Conference on the Quality of Information and Communications Technology  
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

Robert Nilsson, Jeff Offutt
2007 Second International Workshop on Automation of Software Test (AST '07)  
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

M. Asrafi, Huai Liu, Fei-Ching Kuo
2011 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement  
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

Chuanqi Tao, Chuanqi Tao
2021 Journal of Visual Language and Computing  
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]

Mohamed H. E. Aouadi, Khalifa Toumi, Ana Cavalli
2014 arXiv   pre-print
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

Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer
2007 2007 Design, Automation & Test in Europe Conference & Exhibition  
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

Seiya Shibata, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada
2009 2009 International Symposium on VLSI Design, Automation and Test  
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

Xiao Qu, Myra B. Cohen, Katherine M. Woolf
2007 Conference on Software Maintenance, Proceedings of the  
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]

Nasir Mehmood Minhas, Mohsin Irshad, Kai Petersen, Jürgen Börstler
2022 arXiv   pre-print
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

Florentin Ipate, Mike Holcombe
1998 Software testing, verification & reliability  
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