BibSonomy publications for /tag/functionalWed Jul 30 15:21:39 CEST 2008Journal of Systems and Software2234-248A relation-based method combining functional and structural testing for test case generation812008structural SOFL contracts testdata oracle gray-box functional testing case test specification-based generation Mon Jul 28 10:22:09 CEST 20083Software Testing: A Craftsman's Approach, Third Edition2008software path functional integration MBT systemtest defs-uses object-oriented testing Mon Jul 07 16:45:32 CEST 2008Statistical ScienceSeptember~062167--178Opportunities and Challenges Applying Functional Data Analysis to the Study of Open Source Software Evolution212006analysis, complexity source, data functional software open Mon Jul 07 16:45:32 CEST 2008Functional Programming: Practice and Theory1990functional programming Mon Jul 07 09:08:07 CEST 2008Physical Review B3035428Carbon three-dimensional architecture formed by intersectional collision of graphene patches722005theory; thermal energy; method; molecular calculations; bonds density functional binding stability (chemical); dynamics graphite; tight-binding Mon Jun 23 14:22:04 CEST 20081MR: referenziert aus Binder1999 (u.a. im Hinblick auf data flow testing strategies)Black-Box Testing: Techniques for Functional Testing of Software and Systems1995black-box functional testing Book Description An expert in the software testing field, Beizer uses a range of examples testing IRS tax forms and their corresponding off-the-shelf tax preparation packages to demonstrate how a wealth of accepted and proven black box testing techniques can be used to validate the requirements of the forms as they relate to software. All methods are thoroughly introduced and tests are designed, modeled, and debugged for readers. Includes numerous self-evaluation quizzes and tax forms. Synopsis From a leading expositor of testing methods, a practical, comprehensive, hands-on guide to the state-of-the-art black-box testing techniques This book fills a long-standing need in the software and general systems development communities to make the essential aspects of black-box testing available in one comprehensive work. Written by one of the world's most respected figures in the field of testing, it is both a valuable working resource for independent testers and programmers and an excellent practical introduction for students. Dr. Boris Beizer clearly explains the principles behind behavioral testing in general and behind the most important black-box testing techniques in use today, which involve testing a system based on its desired behavior or function and for conformance to its specifications. Then, with fully worked examples, he leads you step-by-step from specifications to finished test cases. Complete coverage of all important test techniques including those that apply to object-oriented software Up-to-date including the most recent breakthroughs in domain testing that now make this technique available to the working tester with no tools needed beyond a calculator or spreadsheet Examples based on the popular off-the-shelf tax preparation packages let you try the techniques on your favorite tax software Includes all necessary IRS tax forms Self-evaluation quizzes help you evaluate your understanding of the material Thu Jun 19 17:35:00 CEST 2008Ann ArborGenetic Programming Theory and Practice {III}712-14 May93--108Genetic ProgrammingA Higher-Order Function Approach to Evolve Recursive Programs92005abstraction, genetic algorithms, functions, lambda higher-order filter, PolyGP, Haskell patterns, functional Fibonacci strstr, scanr, recursion, programming, programming type recursion languages, systems, foldr, sequence, We demonstrate a functional style recursion implementation to evolve recursive programs. This approach re-expresses a recursive program using a non-recursive application of a higher-order function. It divides a program recursion pattern into two parts: the recursion code and the application of the code. With the higher-order functions handling recursion code application, GP effort becomes focused on the generation of recursion code. We employed this method to evolve two recursive programs: strstr C library function and programs that produce the Fibonacci sequence. In both cases, the program space defined by higher-order functions are very easy for GP to find a solution. We have learned about higher-order function selection and fitness assignment through this study. The next step will be to test the approach on applications with open-ended solutions, such as evolutionary design.Thu Jun 19 17:35:00 CEST 2008IEEE Transactions on Industrial ElectronicsAugust4742--748Reconstruction of polynomial systems from noisy time-series measurements using genetic programming482001improved reconstruction, operators, noise, genetic estimate, distance, time-series signal delay, algorithms, measurements, noisy parameter unknown systems least-squares addition, dimension, embedding time structure multiplication, Euclidean polynomial polynomials, programming, method, accurate functional orthogonal The problem of functional reconstruction of a polynomial system from its noisy time-series measurement is addressed in this paper. The reconstruction requires the determination of the embedding dimension and the unknown polynomial structure. The authors propose the use of genetic programming (GP) to find the exact functional form and embedding dimension of an unknown polynomial system from its time-series measurement. Using functional operators of addition, multiplication and time delay, they use GP to reconstruct the exact polynomial system and its embedding dimension. The proposed GP approach uses an improved least-squares (ILS) method to determine the parameters of a polynomial system. The ILS method is based on the orthogonal Euclidean distance to obtain an accurate parameter estimate when the series is corrupted by measurement noise. Simulations show that the proposed ILS-GP method can successfully reconstruct a polynomial system from its noisy time-series measurementsThu Jun 19 17:35:00 CEST 2008The Complex Networks of Economic Interactions: Essays in Agent-Based Economics and EconophysicsJanuary165--178Lecture Notes in Economics and Mathematical SystemsA Functional Modularity Approach to Agent-based Modeling of the Evolution of Technology5672006computational modularity functional genetic agent-based algorithms, economics, programming, innovation, No matter how commonly the term innovation has been used in economics, a concrete analytical or computational model of innovation is not yet available. This paper argues that a breakthrough can be made with genetic programming, and proposes a functional-modularity approach to an agent-based computational economic model of innovation.Thu Jun 19 17:35:00 CEST 2008International Journal of Modern Physics BJuly 3017-192376--2386Functional Modularity in the Fundamentals of Economic Theory: Toward an Agent-Based Economic Modeling of the Evolution of Technology182004programming, economics, functional modularity computational innovation, genetic algorithms, Agent-based No matter how commonly the term innovation has been used in economics, a concrete analytical or computational model of innovation is not yet available. This paper argues that a breakthrough can be made with genetic programming, and proposes a functional-modularity approach to an agent-based computational economic model of innovation.Mon Jun 09 11:38:04 CEST 2008«UML» 2002 — The Unified Modeling LanguageMR: Cow_Suite ist ein Ansatz einer Technik und Toolprototyp für den Systemtest und Integrationstest und besteht aus zwei Teilen: - UIT (Use Interaction Test) als Testableitungsmethode - Cowtest (Cost Weighted Test Strategy) für Testpriorisierung und -selektion. Mit Cowtest wird entschieden welche Testfälle ausgeführt werden sollen, durch setzen von Gewichten in die von der Spez. abgeleitete Graphstrukturen (Testauswahlkriterium) und unterstützt auch die Planung des Testprozesses. UIT nutzt diese Information bei der Testfallableitung basierend auf der Category-Partition-Methode, also teils manuell (Interaction mit dem User). Das Besondere ist, dass die forliegende Anforderungs- und Designspezifikation in Form von UML-Use-Case-Diagrammen und -Sequenzdiagrammen ohne weiteren Ausbau (also so wie sie ist) als Input für die Technik dienen kann. Ein für IST-SPL wichtiger Ansatz: es wäre möglich ähnliche Strategie (CP) bereits für die Aktivitätsdiagramme anzuwenden, wobei deren Produktlinieneigenschaften berücksichtigt werden müssten.275--303Lecture Notes in Computer ScienceThe Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects2002specification-based automated UML integration category-partition testing generation systemtest functional Cow_Suite provides an integrated and practical approach to the strategic generation and planning of UML-based test suites, since the early stages of system analysis and modeling. It consists of two original components working in combination: theCowtest strategy, which organizes the testing process and helps the manager to select among the many potential test cases,and the UIT method, which performs the automated generation of test cases from the UML diagrams. The approach can be usedin incremental way, starting from the preliminary (even incomplete) UML diagrams, and is applied to integration subsystems,as interactively selected by the tester. The emphasis is on usability, in that we use exactly the same UML diagrams developedfor analysis and design, without requiring any additional formalism or ad-hoc effort specifically for testing purposes. Cow_Suitehas been implemented in a prototype tool, and is currently being validated in an industrial development environment.Wed Jun 04 17:14:57 CEST 2008ISSE112-24A UML-based approach to system testing12005activity test systemtest testing automated Use-Cases functional UML diagrams generation Tue May 27 18:10:04 CEST 2008Neuroimage31002-1015Language in context: emergent features of word, sentence, and narrative comprehension252005brain mythesis reading Functional context magnetic human imaging neuropsychology narrative FMRI neuroscience resonance Context exerts a powerful effect on cognitive performance and is clearly important for language processing, where lexical, sentential, and narrative contexts should differentially engage neural systems that support lexical, compositional, and discourse level semantics. Equally important, but thus far unexplored, is the role of context within narrative, as cognitive demands evolve and brain activity changes dynamically as subjects process different narrative segments. In this study, we used fMRI to examine the impact of context, comparing responses to a single, linguistically matched set of texts when these were differentially presented as random word lists, unconnected sentences and coherent narratives. We found emergent, context-dependent patterns of brain activity in each condition. Perisylvian language areas were always active, consistent with their supporting core linguistic computations. Sentence processing was associated with expanded activation of the frontal operculum and temporal poles. The same stimuli presented as narrative evoked robust responses in extrasylvian areas within both hemispheres, including precuneus, medial prefrontal, and dorsal temporo-parieto-occipital cortices. The right hemisphere was increasingly active as contextual complexity increased, maximal at the narrative level. Furthermore, brain activity was dynamically modulated as subjects processed different narrative segments: left hemisphere activity was more prominent at the onset, and right hemisphere more prominent at the resolution of a story, at which point, it may support a coherent representation of the narrative as a whole. These results underscore the importance of studying language in an ecologically valid context, suggesting a neural model for the processing of discourse.Thu May 01 14:06:43 CEST 2008Journal of Physics: Condensed Matter30L351-L357Rosenfeld functional for non-additive hard spheres162004non-additive phase-diagram kierlik-rosinberg functional monte-carlo hard-sphere rdf The fundamental measure density functional theory for hard spheres is generalized to binary mixtures of arbitrary positive and moderate negative non-additivity between unlike components. In bulk the theory predicts fluid-fluid phase separation into phases with different chemical compositions. The location of the accompanying critical point agrees well with previous results from simulations over a broad range of non-additivities and both for symmetric and highly asymmetric size ratios. Results for partial pair correlation functions show good agreement with simulation data.Wed Apr 23 22:05:04 CEST 2008Statistics \& Probability LettersAug115--22A functional law of the iterated logarithm for the Dekkers-Einmahl-de Haan tail index estimator291996of iterated laws the logarithm Functional 15Wed Apr 23 22:05:04 CEST 2008Statistics \& Probability LettersJul4205--207On the approximation of measurable linear functionals31985measurable linear functional Wed Apr 23 22:05:04 CEST 2008Journal of Statistical Planning and InferenceMar3829--840Regression models for functional data by reproducing kernel Hilbert spaces methods1372007data Functional 01Wed Apr 23 22:05:04 CEST 2008Journal of Statistical Planning and InferenceMar3869--878A nonparametric repeated significance test with adaptive target sample size1372007limit central Functional theorem 01Wed Apr 23 22:05:04 CEST 2008Journal of Statistical Planning and InferenceFeb1-2143--163Specification and identification issues in models involving a latent hierarchical structure1112003Functional model 01Wed Apr 23 22:05:04 CEST 2008Statistics \& Probability LettersFeb287--96A class of strong laws for functionals of countable nonhomogeneous Markov chains221995of nonhomogeneous Functional Markov chain functionalCommunity for tag(s) functional