Specification-based Testing
167 Followers
Recent papers in Specification-based Testing
Formal methods have traditionally been used for specification and development of software. However there are potential benefits for the testing stage as well. The panel session associated with this paper explores the usefulness or... more
Software testing is one of the most widely used methods for quality assurance and fault detection purposes. However, it is one of the most expensive, tedious and time consuming activities in software development life cycle. Code-based and... more
The formal methods community is in general very good at undertaking research into the mathematical aspects of formal methods, but not so good at promulgating the use of formal methods in an engineering environment and at an industrial... more
Developers of distributed systems routinely construct discrete-event simulations to help them un- derstand and evaluate the behavior of inter-component protocols. Typically written using an imperative programming language, these... more
For testing software, test case generation is the most important part. The automation of specification based test case generation needs formal or semi formal specification. As a semiformal modeling, UML is widely used to describe analysis... more
A technique for testing analog and mixed-signal linear cir-cuit components based on their impulse response (IR) sig-natures is presented in this paper. A simple DFT structure is proposed to enable the on-chip generation of the impulse... more
It is presented a promising approach to test interactive components, supporting the automatic generation of test cases from a specification. The relevance and difficulties (issues and challenges) associated with the testing of interactive... more
Even with increasing use of formal methods for software development, software testing continues to be a dominant technique for verification and validation. With specification-based testing, the precision of formal specifications can make... more
We show that the quantile regression estimator is consistent and asymptotically normal when the error terms are correlated within clusters but independent across clusters. A consistent estimator of the covariance matrix of the asymptotic... more
Economics, University of Essex, for private circulation to interested readers. They often represent preliminary reports on work in progress and should therefore be neither quoted nor referred to in published work without the written... more
It is presented a promising approach to test interactive components, supporting the automatic generation of test cases from a specification. The relevance and difficulties (issues and challenges) associated with the testing of interactive... more
Regression testing is important activity during the software maintenance to deal with adverse effects of changes. Our approach is important for safety critical system as usually formal methods are preferred and highly recommended for the... more
High-capability software services, like transaction processing systems, need to satisfy a range of non-functional characteristics such as performance, availability, and scalability. To fulfill these needs, the core business logic is... more
... 6. REFERENCES [1] JESS (Java Expert System Shell). http://herzberg.ca.sandia.gov/jess/. [2] T. Alspaugh, D. Richardson, T. Standish, and H. Ziv. Scenario-driven specification-based testing against goals and requirements. In... more
This paper describes the specification-based testing and analysis tools, and associated processes, that were used to develop and certify safety-critical avionics systems in an industrial organization. These tools comprise an integrated... more