1,626 Hits in 4.7 sec

On-the-fly verification with stubborn sets [chapter]

Antti Valmari
1993 Lecture Notes in Computer Science  
A new on-the-fly verification method is presented. The method uses a generalization of Bilchi automata called "tester processes" for representing and detecting illegal behaviour.  ...  To reduce the number of states that are constructed the method applies the stubborn set theory in a new way. The method can be used in connection with the "Supertrace" memory-saving technique.  ...  Acknowledgements Part of this work was funded by the Technology Development Centre of Finland (TEKES).  ... 
doi:10.1007/3-540-56922-7_33 fatcat:7u6p3cplnrc3zerzcgid2bohai

Relaxed visibility enhances partial order reduction [chapter]

Ilkka Kokkarinen, Doron Peled, Antti Valmari
1997 Lecture Notes in Computer Science  
We demonstrate the benefits of our improved reduction with experimental results.  ...  Partial order reduction is a method that was developed to try to cope with the state-space explosion~ Based on the observation that the order of execution of concurrent (independent) atomic actions is  ...  Acknowledgement The authors would like to thank an insightful discussion of this subject with Amir Pnueli and Pierre Wolper.  ... 
doi:10.1007/3-540-63166-6_33 fatcat:3zhis72mgfe7lic3qqam4wvndy

Validating and improving test-case effectiveness

Y. Chernak
2001 IEEE Software  
I thank Richard Reithner for editing the article. Finally, I am grateful to the IEEE Software reviewers for their helpful feedback and comments.  ...  This can happen either accidentally or, more frequently, when the tester gets an idea on the fly.  ...  . s Test-execution problems-implement training of testers on test execution, develop and use procedures for test execution and verification of test results.  ... 
doi:10.1109/52.903172 fatcat:e76a57zb75hhtjggmpkz3clwpe

Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context [chapter]

Giedre Sabaliauskaite, Annabella Loconsole, Emelie Engström, Michael Unterkalmsteiner, Björn Regnell, Per Runeson, Tony Gorschek, Robert Feldt
2010 Lecture Notes in Computer Science  
of the alignment between requirements and verification. mechanism to manage coordination between the requirements and the verification processes.  ...  The overall goal of our research is to understand how alignment activities are performed in practice, what the important problems are and what can be improved to gain better alignment.  ...  Many thanks to the anonymous interviewees for their dedicated participation in this study, and reviewers of the paper for their valuable comments.  ... 
doi:10.1007/978-3-642-14192-8_14 fatcat:ladv2r2wlzgdji6hqgb5qtphaa

Determining the optical constants of read-write sliders during flying-height testing

Peter de Groot, Ara Dergevorkian, Tod Erickson, Russell Pavlat
1998 Applied Optics  
We describe an instrument that determines the optical constants simultaneously with flying height, using polarization interferometry.  ...  Flying-height testers for rigid disk drives employ a transparent glass substrate in place of the magnetic disk and use optical interferometry to measure the flight properties of the read-write slider.  ...  For this reason, the data-storage industry relies on optical testers for quantifying flying height in production and in the development of new designs. 1 Optical testers employ a rotating, transparent  ... 
doi:10.1364/ao.37.005116 pmid:18285984 fatcat:bbgwwt3wmfhcldm6fti6wec46q

Assessment of automatic generation methods of conformance test suites in an industrial context [chapter]

Laurent Doldi, Vincent Encontre, Jean-Claude Fernandez, Thierry Jéron, Sylvie Bricquir, Nathalie Texier, Marc Phalippou
1996 Testing of Communicating Systems  
The study proved that the technology transfer to obtain a commercial tool is now possible.  ...  The methods and tools have been applied to a same industrial protocol, the DREX protocol. This protocol has been specified in SDL language.  ...  Advantages of TGV • generation algorithms based on the technology of on-the-fly verification, • generation of tests taking into account asynchronism between IUT and tester, • high-level control of timers  ... 
doi:10.1007/978-0-387-35062-2_25 fatcat:4gkvhptjzrgqjo5kc6wpecd3r4

Introduction to Software Testing

Durgesh Raghuvanshi
2020 Zenodo  
It is the usual norm that software is considered of good quality if it meets the user requirements.  ...  This chapter introduces the subject of software testing by describing the activities of a test engineer, de ning a number of key terms, and then explaining the central notion of test coverage.  ...  One of the most important distinctions to make is between validation and verification.  ... 
doi:10.5281/zenodo.3892654 fatcat:x6iehv7zwrb4jn4sstxy76fx2i

Analyze the Mode Transition Logic of Automatic Flight Control System using Semi-Formal Approach

Rathina Kumar V, Nanda M
2016 Journal of Aeronautics & Aerospace Engineering  
The outcome of the approach shows encouraging results with respect to assurance in functionality, performance and safety in comparison to the conventional manual approach of testing.  ...  The autopilot logic consists of the mode-transition logic which in automated mode steers the aircraft based on the aircraft aerodynamics.  ...  Acknowledgment The authors thank Director, CSIR-National Aerospace Laboratories Bangalore for supporting this work.  ... 
doi:10.4172/2168-9792.1000167 fatcat:zkf6duf36jdn5pwhpwyyqobjiq

An Approach for Modeling and Analyzing Crosscutting Concerns

Yujian Fu, Junhua Ding, Phil Bording
2009 2009 IEEE/INFORMS International Conference on Service Operations, Logistics and Informatics  
We demonstrate the effectiveness and feasibility of our approach through modeling and analyzing a clinical diagnostic system. Yujian Fu is with the  ...  We designed an aspect-oriented Petri net with AOSD mechanisms for identifying and modularizing crosscutting concerns.  ...  and on-the-fly verification of the model C.  ... 
doi:10.1109/soli.2009.5203910 fatcat:mbvqynwdjvf4pirl2zsvdmrvdq

Accelerating Test Automation through a Domain Specific Language

Anurag Dwarakanath, Dipin Era, Aditya Priyadarshi, Neville Dubash, Sanjay Podder
2017 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)  
There are two key problems in the existing tools and methods for test automation - a) Creating an automation test script is essentially a code development task, which most testers are not trained on; and  ...  ATAP allows the creation of an automation test script through a domain specific language based on English.  ...  However, the manual testers found the verification statements (starting with the 'Then' keyword) difficult to interpret.  ... 
doi:10.1109/icst.2017.52 dblp:conf/icst/DwarakanathEPDP17 fatcat:rmxh4kcffbdjldswpva75w3k64

Hardware Testing Using a Communication Protocol Conformance Testing Tool [chapter]

Hakim Kahlouche, César Viho, Massimo Zendri
1999 Lecture Notes in Computer Science  
The tgv approach has been considered by the hardware testing community as a serious alternative to usual random test generation.  ...  We present an experiment which has demonstrated that methods and tools developed in the context of black box conformance testing of communication protocols can be efficiently used for testing the cache  ...  even though tgv works "on-the-fly".  ... 
doi:10.1007/3-540-49059-0_22 fatcat:pzycjt6mhrb6pexnrxjutvf7du

Cloud-based Optical Characterization of Hard Disk Drive Recording Heads

Weerayuth Khunrattanasiri, Anchyza Yokpradit, Teerawat Tongloy, Siridech Boonsang
2018 Sensors and materials  
In addition, the information about refractive index not only can be shared with a flying height tester to correct the variation in each recording head but also can be used to assist air-bearing designers  ...  In the hard disk drive (HDD) industry, the measurement of flying height is crucial for the verification of the recording head air-bearing design.  ...  This method of flying height measurement improves the measurement speed with smaller spot size for individual recording heads and also the sharing measurement data between the stakeholders.  ... 
doi:10.18494/sam.2018.1850 fatcat:nl7qxtbhlvee7msl4n5fat7nci

Experience in Automated Testing of Simulation Software in the Aviation Industry

Vahid Garousi, Seckin Tasli, Onur Sertel, Mustafa Tokgoz, Kadir Herkiloglu, Hikmet Ferda Ergunes Arkin, Osman Bilir
2018 IEEE Software  
One of those continuous improvement initiatives has been a recent industry-academia collaborative project in which university researchers and practitioners in the company have come together to improve  ...  Thus, the project behind the work reported in this paper was initiated with the goal of connecting industrialists and researchers to develop innovative ways to improve effectiveness and efficiency of test  ... 
doi:10.1109/ms.2018.227110307 fatcat:p2qlfvyo4zhjhmvexx4yoewrpm

International Test Conference

1986 IEEE Design & Test of Computers  
Atherton, In-Motion Technology The financial impact of tester reliability improvements is assessed with the use of a simulation model.  ...  A new pin electronics architecture that permits selectable output impedance and on-the-fly detector termination will be described in this paper.  ...  At the same time, "Engineering Prototype" testers, a new form of test system, are also being used.  ... 
doi:10.1109/mdt.1986.294973 fatcat:6dlybbnmgjhqll6rte6uaisnyi

Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems [chapter]

Ning Ge, Marc Pantel
2012 Lecture Notes in Computer Science  
This framework relies on a propertydriven transformation from UML architecture and behaviour models to executable and verifiable models expressed with Time Petri Nets (TPN).  ...  Meanwhile, it translates the time properties into a set of property patterns, corresponding to TPN observers. The observer-based model checking approach is then performed on the produced TPN.  ...  On the methodological side, we will experiment with other kind of properties, like the functional property, to improve the Property-driven approach to DSML (Domain Specific Modelling Language) model verification  ... 
doi:10.1007/978-3-642-31491-9_27 fatcat:sjuadg65ynbhhcxaogk6ovxxom
« Previous Showing results 1 — 15 out of 1,626 results