Filters








240,612 Hits in 6.9 sec

Generation of Test Data Structures Using Constraint Logic Programming [chapter]

Valerio Senni, Fabio Fioravanti
2012 Lecture Notes in Computer Science  
#=<S, S#=<MaxSize, fd_labeling([S]), length(Keys,S), length(Colors,S), Max#=NumKeys-1, fd_domain(Keys,0,Max), fd_domain(Colors,0,1), % Symbolic Definition lbt(T,S,Keys,[ ]), % data structure shape pi(T  ...  Graphs Pruning (ratio ∼6 oom) Trees Symbolic + instantiation Pruning symbolic (ratio ∼6.5 oom) The synch program based Encoding of Red-Black Trees rbtree(T,MinSize,MaxSize,NumKeys) :-% Preamble MinSize  ...  c 1 ,k 1 c 2 ,k 2 c 3 ,k 3 No way of placing the remaining 17 nodes to build a feasible tree No way of placing the remaining 17 nodes to build a feasible tree Optimizing Generators by Transformation  ... 
doi:10.1007/978-3-642-30473-6_10 fatcat:5qqa6wwq2bchfdits7r52e55ci

Efficient generation of test data structures using constraint logic programming and program transformation

F. Fioravanti, M. Proietti, V. Senni
2013 Journal of Logic and Computation  
In this paper we use Constraint Logic Programming (CLP) to systematically develop generators of structurally complex test data structures.  ...  We follow a declarative approach which allows us to separate the issue of (i) defining the test data structure in terms of its properties, from that of (ii) efficiently generating data structure instances  ...  We thank the anonymous referees for their useful feedback. References  ... 
doi:10.1093/logcom/ext071 fatcat:w2uhu3ccgvhkdkucl7wctuwvky

Software-based self-testing methodology for processor cores

Li Chen, S. Dey
2001 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
The software tester consists of programs for test generation and test application. Prior to the test, structural tests are prepared for processor components in the form of self-test signatures.  ...  During the process of self-test, the test generation program expands the self-test signatures into test sets and the test application program applies the tests to the components under test at the speed  ...  The self-testing step involves the application of the component tests using a software tester, which consists of an on-chip test pattern generation program, a test pattern application program, and a test  ... 
doi:10.1109/43.913755 fatcat:ors6roeymfgq5mmozi2mgg52te

Test input generation for database programs using relational constraints

Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
2012 Proceedings of the Fifth International Workshop on Testing Database Systems - DBTest '12  
Secondly, we present a static analysis technique to generate test inputs for ImperDB programs, according to any chosen structural adequacy criterion.  ...  ImperDB allows to model common program behaviors and data structures, as well as typical interaction scenarios between programs and databases.  ...  TEST INPUT GENERATION USING RE-LATIONAL CONSTRAINTS In so-called white-box, or structural testing [21] , the adequacy of a set of test inputs is determined in terms of the amount of code that is covered  ... 
doi:10.1145/2304510.2304518 dblp:conf/sigmod/MarcozziVH12 fatcat:xazbrdoqyvhn7cn2s7crcakdca

CUTE

Koushik Sen, Darko Marinov, Gul Agha
2005 Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13  
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function.  ...  Moreover, an efficient constraint solver is proposed to facilitate incremental generation of such test inputs.  ...  Acknowledgements We are indebtful to Patrice Godefroid and Nils Klarlund for their comments on a previous version of this paper and for suggestions on clarifying the relationship of the current work with  ... 
doi:10.1145/1081706.1081750 dblp:conf/sigsoft/SenMA05 fatcat:tx42rbse5rctxcs4jncefczyue

A Case for White-box Testing Using Declarative Specifications Poster Abstract

Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
2007 Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)  
White-box testing uses the internal structures (such as control flow or data flow) of programs. Black-box uses an external interface.  ...  Although TestEra provides efficient enumeration of structurally complex data structures according to given constraints, it is not efficient in generating tests for code coverage.  ...  Although TestEra provides efficient enumeration of structurally complex data structures according to given constraints, it is not efficient in generating tests for code coverage.  ... 
doi:10.1109/taicpart.2007.4344112 fatcat:qeerqtkqxvfd5dr7lrnhe6i4we

Consistency techniques for interprocedural test data generation

Nguyen Tran Sy, Yves Deville
2003 Software engineering notes  
This paper 1 presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or oat variables.  ...  Finally, test data are generated by the application of the proposed path coverage algorithm. A prototype has been implemented. Experiments show t h e feasibility of the approach.  ...  Introduction Structural testing techniques are usually concerned with the use of the control-ow a program to guide the generation of test data.  ... 
doi:10.1145/949952.940087 fatcat:zinh3l7quzaghgke7qp7tgv23m

Consistency techniques for interprocedural test data generation

Nguyen Tran Sy, Yves Deville
2003 Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03  
This paper 1 presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or oat variables.  ...  Finally, test data are generated by the application of the proposed path coverage algorithm. A prototype has been implemented. Experiments show t h e feasibility of the approach.  ...  Introduction Structural testing techniques are usually concerned with the use of the control-ow a program to guide the generation of test data.  ... 
doi:10.1145/940071.940087 dblp:conf/sigsoft/SyD03 fatcat:czb2c2gih5fhxbolksul25el4a

Embedded hardware and software self-testing methodologies for processor cores

Li Chen, Sujit Dey, Pablo Sanchez, Krishna Sekar, Ying Cheng
2000 Proceedings of the 37th conference on Design automation - DAC '00  
The software tester consists of programs for test generation and test application. Prior to the test, structural tests are prepared for processor components in the form of selftest signatures.  ...  During the process of self-test, the test generation program expands the self-test signatures into test sets, and the test application program applies the tests to the components-under-test at the speed  ...  The self-testing step involves the use of a software tester, which consists of an on-chip test pattern generation program, a test pattern application program, and a test response analysis program, as shown  ... 
doi:10.1145/337292.337599 dblp:conf/dac/ChenDSSC00 fatcat:m7k46u6t3ve37gn67e3bety56e

Automatic parallelization of irregular and pointer-based computations: Perspectives from logic and constraint programming [chapter]

Manuel Hermenegildo
1997 Lecture Notes in Computer Science  
Irregularity appears in certain kinds of numerical problems and is pervasive in symbolic applications. Such computations often use dynamic data structures which make heavy use of pointers.  ...  In the past decade there has been significant progress in the development of parallelizing compilers for logic programming and, more recently, constraint programming.  ...  These are the &-Prolog system parallelizer [44, 24, 8] (which parallelizes standard Prolog programs) and the CIAO system parallelizer [19] (a more recent system which parallelizes constraint programs  ... 
doi:10.1007/bfb0002715 fatcat:piwyx3nrh5ewbceoqejazsugr4

Consistency techniques for interprocedural test data generation

Nguyen Tran Sy, Yves Deville
2003 Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03  
This paper 1 presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or oat variables.  ...  Finally, test data are generated by the application of the proposed path coverage algorithm. A prototype has been implemented. Experiments show t h e feasibility of the approach.  ...  Introduction Structural testing techniques are usually concerned with the use of the control-ow a program to guide the generation of test data.  ... 
doi:10.1145/940085.940087 fatcat:vwb2teyqcjerlepiiu6yjyii6a

Test Input Data Generation for Choiceless Program Nets

Wu Biao, Qi-Wei Ge
2020 ECTI Transactions on Computer and Information Technology  
Finally, a method to generate test input data under the obtained constraint conditions is proposed by adopting an SMT (Satisfiability Modulo Theories) solver, $Z3$ prover, and also an example is given  ...  This paper aims to solve the remaining task of our approach, that is how to find test input data for each subnet to be called choiceless program net.  ...  Hiromu Morita for his assistance in coding programs when he was studying at Yamaguchi University.  ... 
doi:10.37936/ecti-cit.2020141.197859 fatcat:vbg3ifwzpfabzmjej2qfld5xma

Extracting XML schema from multiple implicit xml documents based on inductive reasoning

Masaya Eki, Tadachika Ozono, Toramatsu Shintani
2008 Proceeding of the 17th international conference on World Wide Web - WWW '08  
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming.  ...  We evaluate similarity of data type and data range by using an ontology dictionary, and XML Schema is made from results of second and last step.  ...  ACM 978-1-60558-085-2/08/04. programming is a paradigm that builds a mechanism of restriction cancellation into logic programming; [3] presents a concept of constraint into a relative connotation.  ... 
doi:10.1145/1367497.1367735 dblp:conf/www/EkiOS08 fatcat:kythyi765bf7loeuypk4cjouy4

Combining test case generation and runtime verification

Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Mike Lowry, Corina Pasareanu, Grigore Roşu, Koushik Sen, Willem Visser, Rich Washington
2005 Theoretical Computer Science  
The input domain of the program is explored using a model checker extended with symbolic execution. Properties are formulated in an expressive temporal logic.  ...  The framework consists of combining automated test case generation based on systematically exploring the input domain of the program with runtime verification, where execution traces are monitored and  ...  Symbolic execution of a program path results in a set of constraints that define program inputs that execute the path; these constraints are then solved using off-theshelf decision procedures to generate  ... 
doi:10.1016/j.tcs.2004.11.007 fatcat:kmfeguv4zjcm3ky7bnuusna4e4

Whispec

Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
2007 Proceedings of the 2007 Symposium on Library-Centric Software Design - LCSD '07  
Experiments using a variety of data structure implementations from the Java libraries show that our framework generates significantly smaller test suites (while maximizing coverage) than those generated  ...  We present a novel framework, Whispec, for white-box testing of methods that manipulate structurally complex data, such as those that pervade library classes.  ...  White-box testing uses the internal structures (such as control flow or data flow) of programs. Black-box testing uses an external interface.  ... 
doi:10.1145/1512762.1512764 fatcat:7aozz5s4vjgghkpdqzrntfomgi
« Previous Showing results 1 — 15 out of 240,612 results