A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Filters
On-the-fly verification with stubborn sets
[chapter]
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]
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
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]
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
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]
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
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
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
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
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]
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
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
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]
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