A Test Generation Framework for quiescent Real-Time Systems

A composition and method for the oxidative coloring of hair are disclosed, on the basis of a developer substance-coupler substance combination, whereby as coupler substance at least one 3,5-diaminopyridine derivative of the general Formula (I) in which R1 and R2 independent of each other are CH3, C2H5 or C2H4OH and R3 is hydrogen, C1-C4-alkyl or C1-C4-hydroxyalkyl, also in the form of the physiologically compatible salt, is used. The coupler substance, 3,5-diamino-2,6-dimethoxypyridine being preferred, should be present in the hair coloring composition in a concentration from 0.01 to 3.0% by weight, preferably 0.1 to 2.0% by weight. The coupler substances according to Formual I are storage-stable, well soluble in water, and have toxicologically as well as dermatologically favorable characteristics. The coupler substances according to Formula I produce in combination with 1,4-diaminobenzene or its derivatives very intensive blue-black tones without red portions, and in combination with 4-aminophenol, strongly lustrous gold-orange tones.

[1]  Frits W. Vaandrager,et al.  Testing timed automata , 1997, Theor. Comput. Sci..

[2]  Jan Tretmans,et al.  Test Generation with Inputs, Outputs, and Quiescence , 1996, TACAS.

[3]  Rachel Cardell-Oliver.  Conformance test experiments for distributed real-time systems , 2002, ISSTA '02.

[4]  Thierry Jéron,et al.  Using On-The-Fly Verification Techniques for the Generation of test Suites , 1996, CAV.

[5]  Sandro Morasca,et al.  Generating test cases for real-time systems from logic specifications , 1995, TOCS.

[6]  Rance Cleaveland,et al.  A Theory of Testing for Soft Real-Time Processes , 1996, SEKE.

[7]  R. V. Glabbeek.  The Linear Time - Branching Time Spectrum II: The Semantics of Sequential Systems with Silent Moves , 1993 .

[8]  David L. Dill,et al.  Timing Assumptions and Verification of Finite-State Concurrent Systems , 1989, Automatic Verification Methods for Finite State Systems.

[9]  Rom Langerak.  A Testing Theory for LOTOS using Deadlock Detection , 1989, PSTV.

[10]  Jan Tretmans,et al.  Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.

[11]  Duncan Clarke,et al.  Automatic test generation for the analysis of a real-time system: Case study , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[12]  Brian Nielsen,et al.  Automated Test Generation from Timed Automata , 2001, TACAS.

[13]  Rocco De Nicola,et al.  Testing Equivalences for Processes , 1984, Theor. Comput. Sci..

[14]  Marius Mikucionis,et al.  Real-time system testing on-the-fly , 2003 .

[15]  Nicolae Goga,et al.  Formal Test Automation: A Simple Experiment , 1999, IWTCS.

[16]  Iso. Lotos,et al.  A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .

[17]  Rob J. van Glabbeek,et al.  The Linear Time - Branching Time Spectrum II , 1993, CONCUR.

[18]  Rocco De Nicola,et al.  Testing Equivalence for Processes , 1983, ICALP.

[19]  Ferhat Khendek,et al.  Timed test cases generation based on state characterization technique , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[20]  Stavros Tripakis,et al.  Conformance testing for real-time systems , 2004, SPIN.

[21]  Teruo Higashino,et al.  Generating Test Cases for a Timed I/O Automaton Model , 1999, IWTCS.

[22]  Thierry Jéron,et al.  An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology , 1997, Sci. Comput. Program..

[23]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

[24]  Lex Heerink,et al.  Factorized Test Generation for Multi-Input/Output Transition Systems , 1998, IWTCS.

[25]  Jan Tretmans,et al.  TorX: Automated Model Based Testing - Côte de Resyste , 2003 .