[图书][B] Introduction to software testing
This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …
testing that defines it as the process of applying a few precise, general-purpose criteria to a …
The synchronous languages 12 years later
A Benveniste, P Caspi, SA Edwards… - Proceedings of the …, 2003 - ieeexplore.ieee.org
Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous
languages. This paper discusses the improvements, difficulties, and successes that have …
languages. This paper discusses the improvements, difficulties, and successes that have …
[PDF][PDF] A first step towards automated detection of buffer overrun vulnerabilities.
We describe a new technique for finding potential buffer overrun vulnerabilities in security-
critical C code. The key to success is to use static analysis: we formulate detection of buffer …
critical C code. The key to success is to use static analysis: we formulate detection of buffer …
Translating discrete-time Simulink to Lustre
S Tripakis, C Sofronis, P Caspi, A Curic - ACM Transactions on …, 2005 - dl.acm.org
We present a method of translating discrete-time Simulink models to Lustre programs. Our
method consists of three steps: type inference, clock inference, and hierarchical bottom-up …
method consists of three steps: type inference, clock inference, and hierarchical bottom-up …
Mode-automata: a new domain-specific construct for the development of safe critical systems
F Maraninchi, Y Rémond - Science of computer programming, 2003 - Elsevier
Over the past ten years, the family of synchronous languages (Special Section of the Proc.
IEEE 79 (9)(1991)) has been very successful in offering domain-specific, formally defined …
IEEE 79 (9)(1991)) has been very successful in offering domain-specific, formally defined …
Validation of synchronous reactive systems: from formal verification to automatic testing
N Halbwachs, P Raymond - Advances in Computing Science—ASIAN'99 …, 1999 - Springer
This paper surveys the techniques and tools developped for the validation of reactive
systems described in the synchronous data-flow language L ustre [HCRP91]. These …
systems described in the synchronous data-flow language L ustre [HCRP91]. These …
Argos: an automaton-based synchronous language
F Maraninchi, Y Rémond - Computer languages, 2001 - Elsevier
Argos belongs to the family of synchronous languages, designed for programming reactive
systems: Lustre (Proceedings of the 14th Symposium on Principles of Programming …
systems: Lustre (Proceedings of the 14th Symposium on Principles of Programming …
Test sequences generation from lustre descriptions: Gatel
B Marre, A Arnould - Proceedings ASE 2000. Fifteenth IEEE …, 2000 - ieeexplore.ieee.org
We describe a test sequence generation method from LUSTRE descriptions and its
companion tool, GATEL. The LUSTRE language is declarative and describes synchronous …
companion tool, GATEL. The LUSTRE language is declarative and describes synchronous …
Spatial coupling in jerky flow using polycrystal plasticity
A multiscale approach including a finite element framework for polycrystal plasticity is used
to model jerky flow, also known as the Portevin–Le Chatelier effect. The local constitutive …
to model jerky flow, also known as the Portevin–Le Chatelier effect. The local constitutive …
[PDF][PDF] An integrated approach to testing complex systems.
O Niese - 2003 - eldorado.tu-dortmund.de
The increasing complexity of today's testing scenarios for complex systems demands an
integrated, open, and flexible approach to support the management of the overall test …
integrated, open, and flexible approach to support the management of the overall test …