Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
A comparison of data flow path selection criteria
ICSE '85 Proceedings of the 8th international conference on Software engineering
Communication and Concurrency
Verification of an Audio Control Protocol
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Testing real-time constraints
A Data Flow Oriented Program Testing Strategy
IEEE Transactions on Software Engineering
Conformance test experiments for distributed real-time systems
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Timed Wp-Method: Testing Real-Time Systems
IEEE Transactions on Software Engineering
Encoding PAMR into (Timed) EFSMs
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
A Method for Testing the Conformance of Real Time Systems
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Conformance Testing Techniques for Timed Systems
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Automating test generation for discrete event oriented embedded systems
Journal of Intelligent and Robotic Systems
Formal testing from timed finite state machines
Computer Networks: The International Journal of Computer and Telecommunications Networking
Conformance testing for real-time systems
Formal Methods in System Design
Mutation testing from probabilistic and stochastic finite state machines
Journal of Systems and Software
A guided method for testing timed input output automata
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Testing finite state machines presenting stochastic time and timeouts
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Testing timed systems modeled by Stream X-machines
Software and Systems Modeling (SoSyM)
Implementation relations for stochastic finite state machines
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Extending EFSMs to specify and test timed systems with action durations and timeouts
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A formal framework for black-box conformance testing of distributed real-time systems
International Journal of Critical Computer-Based Systems
Integrated tool for testing timed systems
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Conformance testing relations for timed systems
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
A comparison of distributed test generation techniques
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Conformance testing to real-time communications systems
Computer Communications
Formal passive testing of timed systems: theory and tools
Software Testing, Verification & Reliability
A test purpose-based approach for testing timed input output automata
Software Testing, Verification & Reliability
Hi-index | 0.00 |
The authors present a framework for testing timing constraints of real-time systems. The tests are automatically derived from specifications of minimum and maximum allowable delays between input/output events in the execution of a system. The test derivation scheme uses a graphical specification formalism for timing constraints, and the real-time process algebra Algebra of Communicating Shared Resources (ACSR) for representing tests and process models. The use of ACSR to describe test sequences has two main advantages. First, tests can be applied to an ACSR model of the software system within the ACSR semantic framework for model validation purposes. Second, ACSR has concise notation and a precise semantics that will facilitate the translation of real-time tests into a software test language for software validation purposes.