S. Bae, S. Kim, J. Park, J. Lee, H. Cho, and J. Park. International Journal of Hydrogen Energy, 35 (17):
9166 - 9176(2010)The 1st Iranian Conference On Hydrogen & Fuel Cell.
L. Tan, O. Sokolsky, and I. Lee. IRI, page 493--498. IEEE Systems, Man, and Cybernetics Society, (2004)ST: Anforderungen werden in LTL spezifiziert.Es wird eine Metrik definiert, die eine Aussage ueber die Abdeckung der spezifizierten Eingenschaften durch eine Testsuite macht. Durch ein Abdeckungskriterium wird eine Testsuite mit endlichen Testfaellen definiert, die die spezifizierten Eigenschaften testet..