Filters








834,044 Hits in 7.3 sec

Formal Test Purposes and The Validity of Test Cases [article]

Peter H. Deussen, Stephan Tobies
2004 arXiv   pre-print
We define the validity of test cases with respect to such a formal test purpose and provide a simple decision procedure for validity.  ...  We give a formalization of the notion of test purpose based on (suitably restricted) Message Sequence Charts.  ...  Formal Test Purposes To check (or even define) validity of a test case wrt. a test purposes, we need a formal definition of a test purpose together with suitable semantics.  ... 
arXiv:cs/0412100v1 fatcat:au2lpbzqtngipfxwyjqvkw6ke4

Formal Test Purposes and the Validity of Test Cases [chapter]

Peter H. Deussen, Stephan Tobies
2002 Lecture Notes in Computer Science  
We define the validity of test cases with respect to such a formal test purpose and provide a simple decision procedure for validity.  ...  From this test purpose, the allowed and required behavior of the test case is derived.  ...  Formal Test Purposes To check (or even define) validity of a test case wrt. a test purposes, we need a formal definition of a test purpose together with suitable semantics.  ... 
doi:10.1007/3-540-36135-9_8 fatcat:hhz2r34jnjbgjo24dyg4ikbwlq

An Agent-Based Mechanism for Testing SFC
SFC 테스트를 위한 에이전트 기반 메커니즘

Trinh Nguyen, Myungsik Yoo
2019 The Journal of Korean Institute of Communications and Information Sciences  
One possible solution is to produce test purposes which provide full coverage and then to produce complete test cases for only a subset of these, either formally or informally.  ...  If the base specification has been written in SDL then it may be possible to generate the test purposes and the TTCN for the test cases automatically.  ...  Bibliography The following material, though not specifically referenced in the body of the present document (or not publicly available), gives supporting information.  ... 
doi:10.7840/kics.2019.44.10.1949 fatcat:xm42xa5uejck7ikhcz6lusiwbq

Assessing the Role of Formal Specifications in Verification and Validation of Knowledge‑Based Systems [chapter]

Pedro Meseguer, Alun D. Preece
1996 Achieving Quality in Software  
Formal specification techniques provide levels of description which support both verification and validation, and V&V techniques feed back to assist the development of the specifications.  ...  This paper examines how formal specification techniques can support the verification and validation (V&V) of knowledge-based systems.  ...  the terms verification and validation for the purposes of this paper.  ... 
doi:10.1007/978-0-387-34869-8_26 fatcat:fjpihax4hbdnfdzmhrrerml3s4

Standardized Event Pair Based Test Generation Method Using TSS&TP

Zoltán Pap, Zoltán Rétháti, Róbert Horváth, Gusztáv Adamis
2002 Acta Cybernetica  
Prom the formal specification using a special ; procedure a formalized document, the so-called Test Suite Structure (TSS) and Test Pur-poses (TP) can be created.  ...  A general method for the creation of appropriate test suites could solve the problems of the often ad-hoc and time-consuming test generation process.  ...  • What are the formal limits of the test cases? How to choose them, how to match them to the original test purposes? Each test case corresponds to one test purpose? Long test cases? Shorter ones?  ... 
dblp:journals/actaC/PapRHA02 fatcat:6gy4basg2zblbaheozinvts5fq

Verification and validation of knowledge-based systems with formal specifications

Pedro Meseguer, Alun D. Preece
1995 Knowledge engineering review (Print)  
Formal speci cation techniques provide levels of description which support both veri cation and validation, and V&V techniques feed back to assist the development of the speci cations.  ...  This paper examines how formal speci cation techniques can support the veri cation and validation (V&V) of knowledge-based systems.  ...  Veri cation and Validation of KBS Before proceeding, it is necessary brie y to de ne the terms veri cation and validation for the purposes of this paper.  ... 
doi:10.1017/s0269888900007542 fatcat:sojafaus4vadfon2j62dzzmu6e

Towards Test Purpose Generation from CTL Properties for Reactive Systems

Daniel Aguiar da Silva, Patrícia D.L. Machado
2006 Electronical Notes in Theoretical Computer Science  
An algorithm for the generation of test purposes through analysis over the examples and counter-examples is presented, along with a case study to show the correspondence between the CTL properties and  ...  the generated test purposes.  ...  Moreover, the formal verification and testing processes may be linked, providing more consistency to the verification and validation based on formal methods.  ... 
doi:10.1016/j.entcs.2006.09.004 fatcat:sb3tp3xdbjbjpc4lscqwe45bzy

Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System [chapter]

G. Huecas, T. Robles, L. M. González, J. Serrano
1998 IFIP Advances in Information and Communication Technology  
The formal specification was used to produce test cases that were executed against the chip, after a completion process to obtain executable test cases.  ...  In December 1996, a project called LV ARTS was finished and delivered to the ESA. The goal was to validate a real system, namely ATAC, an ADA coprocessor chip, running on a real board.  ...  Test Cases are validated by construction. 3. Test Cases are formally defined. 4. Test Purposes are validated by composition with the Formal Specification. 5.  ... 
doi:10.1007/978-0-387-35394-4_18 fatcat:t6grpcqqorakzfsv7zoavvq3dm

Formal aspects of model validity and validation in system dynamics

Yaman Barlas
1996 System Dynamics Review  
The purpose of this article is to discuss the formal aspects of model validity and validation in system dynamics.  ...  Conclusions The purpose of this paper was to provide an overview of model validity and analyze the formal aspects of system dynamics validation.  ... 
doi:10.1002/(sici)1099-1727(199623)12:3<183::aid-sdr103>3.3.co;2-w fatcat:snigswyeyrhjhamzox2wl5zzz4

Formal aspects of model validity and validation in system dynamics

Yaman Barlas
1996 System Dynamics Review  
The purpose of this article is to discuss the formal aspects of model validity and validation in system dynamics.  ...  Conclusions The purpose of this paper was to provide an overview of model validity and analyze the formal aspects of system dynamics validation.  ... 
doi:10.1002/(sici)1099-1727(199623)12:3<183::aid-sdr103>3.0.co;2-4 fatcat:7lkqio52vfhspcgcqkpuozkpcu

Recent Research Trends in Engineering and Validating Cyber-Physical Energy Systems [article]

Thomas I. Strasser, Filip Pröstl Andrén
2021 Zenodo  
While reaping the benefits with new intelligent behaviours, it is expected that system-level developments, architectural concepts, advanced automation and control as well as the validation and testing  ...  Therefore, this webinar discusses and summarizes the main needs and requirements as well as the status quo in research and development related to the engineering and validation of cyber-physical energy  ...  and error prone • Formalized use case and requirements engineering • Automated setup of cyber-physical test-beds • Speed up iterations between testing and development 29.06.2021 • Use case design  ... 
doi:10.5281/zenodo.5102925 fatcat:7n5rl7tfdrfwznqqmgr6nvuc5u

Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems

Susanne Kandl, Raimund Kirner, Peter Puschner
2006 2006 International Workshop on Intelligent Solutions in Embedded Systems  
In model-based testing the test cases are derived from a model of the system under test.  ...  Beside random test data generation the test case generation uses formal methods, in detail model checking techniques.  ...  We work with the model checkers SAL 2 and NuSMV 3 . Beside its original purpose for formal verification of systems, model checking has become an applicable tool for test case generation.  ... 
doi:10.1109/wises.2006.329116 dblp:conf/wises/KandlKP06 fatcat:u6oxa4ytnbgu3apjanpzazw7ii

Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems

Susanne Kandl
2006 2006 International Workshop on Intelligent Solutions in Embedded Systems  
In model-based testing the test cases are derived from a model of the system under test.  ...  Beside random test data generation the test case generation uses formal methods, in detail model checking techniques.  ...  We work with the model checkers SAL 2 and NuSMV 3 . Beside its original purpose for formal verification of systems, model checking has become an applicable tool for test case generation.  ... 
doi:10.1109/wises.2006.237154 fatcat:ap7a7bmooja6dllwjzlotsq2mq

Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods

Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa
2007 Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)  
We present first empirical results obtained from applying our test cases to a commercial implementation and to a popular open source implementation of a SIP Registrar.  ...  Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems.  ...  Test purposes can be seen as a formal specification of a test case. Tools like SAMSTAG [9] , TGV [12] and Microsoft's XRT [10] use test purposes for test generation.  ... 
doi:10.1109/sefm.2007.31 dblp:conf/sefm/AichernigPWW07 fatcat:5ih3iayiebbmfcnw3oqrubrase

Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study

Wissam Mallouli, Mounir Lallali, Gerardo Morales, Ana Rosa Cavalli
2008 2008 IEEE International Conference on Signal Image Technology and Internet Based Systems  
Then, we use a dedicated tool called TestGen-IF, to perform an automatic test generation of test cases targeting security purposes.  ...  To guarantee such a respect, we need to test the target Web system by applying a complete set of test cases covering all the possible scenarios.  ...  A set of timed test cases are generated based on the IF specification of Travel Web application and the timed test purposes for each rule, using TestGen-IF.  ... 
doi:10.1109/sitis.2008.58 dblp:conf/sitis/MallouliLMC08 fatcat:nn7ahi4bwzdhvc646zmzedtoyu
« Previous Showing results 1 — 15 out of 834,044 results