<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
		<id>https://dev.eiffel.com/index.php?action=history&amp;feed=atom&amp;title=GUI_Testing%2FTest_Case_generation</id>
		<title>GUI Testing/Test Case generation - Revision history</title>
		<link rel="self" type="application/atom+xml" href="https://dev.eiffel.com/index.php?action=history&amp;feed=atom&amp;title=GUI_Testing%2FTest_Case_generation"/>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=GUI_Testing/Test_Case_generation&amp;action=history"/>
		<updated>2026-04-07T06:04:03Z</updated>
		<subtitle>Revision history for this page on the wiki</subtitle>
		<generator>MediaWiki 1.24.1</generator>

	<entry>
		<id>https://dev.eiffel.com/index.php?title=GUI_Testing/Test_Case_generation&amp;diff=5673&amp;oldid=prev</id>
		<title>Juliant: /* Overview */</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=GUI_Testing/Test_Case_generation&amp;diff=5673&amp;oldid=prev"/>
				<updated>2006-11-02T00:23:45Z</updated>
		
		<summary type="html">&lt;p&gt;‎&lt;span dir=&quot;auto&quot;&gt;&lt;span class=&quot;autocomment&quot;&gt;Overview&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 00:23, 2 November 2006&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 4:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 4:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;For the captured sequence of events to become a test case, assertions have to be inserted into the event sequence. These have to be checked when the sequence is executed by the replay tool.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;For the captured sequence of events to become a test case, assertions have to be inserted into the event sequence. These have to be checked when the sequence is executed by the replay tool.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;How the test case has to be specified depends on the format of the event sequence. If the capturing tool creates an Eiffel file which can be used to replay the sequence, the tester just has to include assertion statements into this file.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;How the test case has to be specified depends on the format of the event sequence. If the capturing tool creates an Eiffel file which can be used to replay the sequence, the tester just has to include assertion statements into this file&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;. If the event sequence is stored as an xml file the assertions have somehow to be specified externally (e.g. through a scripting language or Eiffel code). The test case is then made up of these two files&lt;/ins&gt;.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Juliant</name></author>	</entry>

	<entry>
		<id>https://dev.eiffel.com/index.php?title=GUI_Testing/Test_Case_generation&amp;diff=5663&amp;oldid=prev</id>
		<title>Juliant: /* Overview */</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=GUI_Testing/Test_Case_generation&amp;diff=5663&amp;oldid=prev"/>
				<updated>2006-11-01T23:32:15Z</updated>
		
		<summary type="html">&lt;p&gt;‎&lt;span dir=&quot;auto&quot;&gt;&lt;span class=&quot;autocomment&quot;&gt;Overview&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 23:32, 1 November 2006&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 4:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 4:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;For the captured sequence of events to become a test case, assertions have to be inserted into the event sequence. These have to be checked when the sequence is executed by the replay tool.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;For the captured sequence of events to become a test case, assertions have to be inserted into the event sequence. These have to be checked when the sequence is executed by the replay tool.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;The main focus lies &lt;/del&gt;on &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;how &lt;/del&gt;the event sequence &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;is available&lt;/del&gt;. If the capturing tool creates an Eiffel file which can be used to replay the sequence, the tester just has to include assertion statements into this file.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;How the test case has to be specified depends &lt;/ins&gt;on &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;the format of &lt;/ins&gt;the event sequence. If the capturing tool creates an Eiffel file which can be used to replay the sequence, the tester just has to include assertion statements into this file.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Juliant</name></author>	</entry>

	<entry>
		<id>https://dev.eiffel.com/index.php?title=GUI_Testing/Test_Case_generation&amp;diff=5657&amp;oldid=prev</id>
		<title>Juliant at 20:03, 1 November 2006</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=GUI_Testing/Test_Case_generation&amp;diff=5657&amp;oldid=prev"/>
				<updated>2006-11-01T20:03:09Z</updated>
		
		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;[[Category:Testing]]&lt;br /&gt;
==Overview==&lt;br /&gt;
&lt;br /&gt;
For the captured sequence of events to become a test case, assertions have to be inserted into the event sequence. These have to be checked when the sequence is executed by the replay tool.&lt;br /&gt;
&lt;br /&gt;
The main focus lies on how the event sequence is available. If the capturing tool creates an Eiffel file which can be used to replay the sequence, the tester just has to include assertion statements into this file.&lt;/div&gt;</summary>
		<author><name>Juliant</name></author>	</entry>

	</feed>