forked from TorXakis/torxakis.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
338 lines (308 loc) · 14.7 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
<!DOCTYPE HTML>
<!--
Escape Velocity by HTML5 UP
html5up.net | @ajlkn
Free for personal and commercial use under the CCA 3.0 license (html5up.net/license)
-->
<html>
<head>
<title>TorXakis - A tool for Model Based Testing</title>
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no" />
<link rel="stylesheet" href="assets/css/main.css" />
</head>
<body class="homepage is-preload">
<div id="page-wrapper">
<!-- Header -->
<section id="header" class="wrapper">
<!-- Logo -->
<div id="logo">
<h1><a href="index.html"><img src="torxakis.png" alt="TorXakis"/></a></h1>
<p>A tool for Model Based Testing</p>
</div>
<!-- Nav -->
<nav id="nav">
<ul>
<li class="current"><a href="index.html">Home</a></li>
<!-- a menu is also possible -->
<!-- <li>-->
<!-- <a href="#">Dropdown</a>-->
<!-- <ul>-->
<!-- <li><a href="#">Lorem ipsum</a></li>-->
<!-- <li><a href="#">Magna veroeros</a></li>-->
<!-- <li><a href="#">Etiam nisl</a></li>-->
<!-- <li>-->
<!-- <a href="#">Sed consequat</a>-->
<!-- <ul>-->
<!-- <li><a href="#">Lorem dolor</a></li>-->
<!-- <li><a href="#">Amet consequat</a></li>-->
<!-- <li><a href="#">Magna phasellus</a></li>-->
<!-- <li><a href="#">Etiam nisl</a></li>-->
<!-- <li><a href="#">Sed feugiat</a></li>-->
<!-- </ul>-->
<!-- </li>-->
<!-- <li><a href="#">Nisl tempus</a></li>-->
<!-- </ul>-->
<!-- </li>-->
<li><a href="/userdocs/stable/">User Documentation</a></li>
<li><a href="/develdocs/stable/">Developer Documentation</a></li>
</ul>
</nav>
</section>
<!-- Intro -->
<section id="intro" class="wrapper style1">
<div class="title">The next step in test automation</div>
<div class="container" style="text-align:left" >
<p class="style1">High-tech embedded systems are characterized by many components interacting closely with each other. These complex
systems are extensively tested to ensure quality and performance. Although some testing activities have been automated,
many test activities are still manual. TorXakis is a model-based testing tool that enables the next step in test
automation.</p>
<div class="img-container" style="text-align: center" >
<img src="flow.svg" alt="TorXakis"/>
</div>
<h1>Why TorXakis</h1>
<p>In the last decades, TESTING high-tech embedded systems has become an EXPENSIVE ACTIVITY. In many companies, testing
currently accounts for more than half of the total costs. Why has the testing effort increased?</p>
<ol>
<li><p>One, the PERFORMANCE, ranging from availability to robustness, and from throughput to response time, of these
embedded systems has steadily increased.</p></li>
<li><p>Two, the COMPLEXITY of these systems has increased substantially, not only in the number of system features,
components, states, and configuration parameters, but also in the amount of input and output data.</p></li>
<li><p>Last, automation of testing has so far been limited to test execution:
testers STILL MANUALLY define many test cases to cover all requirements of the system, and
whenever the system evolves, need to manually review and possible update all test cases.</p></li>
</ol>
<!-- <p class="style3" style="text-align:left">It's <strong>responsive</strong>, built on <strong>HTML5</strong> and <strong>CSS3</strong>, and released for-->
<!-- free under the <a href="http://html5up.net/license">Creative Commons Attribution 3.0 license</a>, so use it for any of-->
<!-- your personal or commercial projects – just be sure to credit us!</p>-->
<!-- <ul class="actions">-->
<!-- <li><a href="#" class="button style3 large">Proceed</a></li>-->
<!-- </ul>-->
</div>
</section>
<!-- Main -->
<section id="main" class="wrapper style3">
<div class="title">The Details</div>
<div class="container">
<h1>TorXakis is a model-based testing tool</h1>
<br/>
<blockquote>
<p>The TorXakis modelling language is POWERFUL ENOUGH TO CAPTURE THE BEHAVIOR of high-tech embedded systems, including
COMMUNICATION, SYNCHRONIZATION, SEQUENCE, PARALLELISM, NON-DETERMINISM, CHOICES, STATES, AND CONSTRAINTS. Based on the
model, TorXakis AUTOMATICALLY GENERATES AND EXECUTES TEST CASES. Consequently, whenever the system changes, testers
only need to change the model to be able to test the changed system.</p>
</blockquote>
<h1>Benefits</h1>
<p>When using TorXakis, one will not only experience the BENEFITS OF MODELLING in general, such as:</p>
<ul class="simple">
<li><p>Modelling systems during design typically EXPOSES CONCEPTUAL ERRORS EARLY; and</p></li>
<li><p>Using models with an explicit semantic instead of free format text documents and/or presentations during design and
development REDUCES THE RISKS OF MISINTERPRETATION AND MISCOMMUNICATION.</p></li>
</ul>
<p>But also, the following TorXakis specific benefits:</p>
<ul class="simple">
<li><p>The model will provide A TESTABLE INTERFACE BETWEEN DESIGN AND DEVELOPMENT. On the one hand, the model is the
SPECIFICATION FOR DEVELOPMENT. On the other hand, TorXakis can CHECK WHETHER THE DEVELOPED SYSTEM ADHERES TO THE
MODEL;</p></li>
<li><p>The formal sematics of TorXakis will ensure unambiguous test results; and</p></li>
<li><p>Test effort is reduced. Instead of building and maintaining a collection of test cases, one only needs to build and
maintain a model, from which TorXakis will automatically generate test cases.</p></li>
</ul>
</div>
</section>
<!-- Main -->
<section id="main" class="wrapper style2">
<div class="title">The Features</div>
<div class="container">
<!-- Image -->
<a href="#" class="image featured">
<img src="images/pic01.jpg" alt="" />
</a>
<!-- Features -->
<section id="features">
<header class="style1">
<h2>Dolor consequat feugiat amet veroeros</h2>
<p>Feugiat dolor nullam orci pretium phasellus justo</p>
</header>
<div class="feature-list">
<div class="row">
<div class="col-6 col-12-medium">
<section>
<h3 class="icon fa-comment">Mattis velit diam vulputate</h3>
<p>Eget mattis at, laoreet vel et velit aliquam diam ante, aliquet sit amet vulputate et magna feugiat laoreet vel velit lorem.</p>
</section>
</div>
<div class="col-6 col-12-medium">
<section>
<h3 class="icon solid fa-sync">Lorem ipsum dolor sit veroeros</h3>
<p>Eget mattis at, laoreet vel et velit aliquam diam ante, aliquet sit amet vulputate et magna feugiat laoreet vel velit lorem.</p>
</section>
</div>
<div class="col-6 col-12-medium">
<section>
<h3 class="icon fa-image">Pretium phasellus justo lorem</h3>
<p>Eget mattis at, laoreet vel et velit aliquam diam ante, aliquet sit amet vulputate et magna feugiat laoreet vel velit lorem.</p>
</section>
</div>
<div class="col-6 col-12-medium">
<section>
<h3 class="icon solid fa-cog">Tempus sed pretium orci</h3>
<p>Eget mattis at, laoreet vel et velit aliquam diam ante, aliquet sit amet vulputate et magna feugiat laoreet vel velit lorem.</p>
</section>
</div>
<div class="col-6 col-12-medium">
<section>
<h3 class="icon solid fa-wrench">Aliquam consequat et feugiat</h3>
<p>Eget mattis at, laoreet vel et velit aliquam diam ante, aliquet sit amet vulputate et magna feugiat laoreet vel velit lorem.</p>
</section>
</div>
<div class="col-6 col-12-medium">
<section>
<h3 class="icon solid fa-check">Dolore laoreet aliquam mattis</h3>
<p>Eget mattis at, laoreet vel et velit aliquam diam ante, aliquet sit amet vulputate et magna feugiat laoreet vel velit lorem.</p>
</section>
</div>
</div>
</div>
<ul class="actions special">
<li><a href="#" class="button style1 large">Get Started</a></li>
<li><a href="#" class="button style2 large">More Info</a></li>
</ul>
</section>
</div>
</section>
<!-- Highlights -->
<section id="highlights" class="wrapper style3">
<div class="title">The Endorsements</div>
<div class="container">
<div class="row aln-center">
<div class="col-4 col-12-medium">
<section class="highlight">
<a href="#" class="image featured"><img src="images/pic02.jpg" alt="" /></a>
<h3><a href="#">Aliquam diam consequat</a></h3>
<p>Eget mattis at, laoreet vel amet sed velit aliquam diam ante, dolor aliquet sit amet vulputate mattis amet laoreet lorem.</p>
<ul class="actions">
<li><a href="#" class="button style1">Learn More</a></li>
</ul>
</section>
</div>
<div class="col-4 col-12-medium">
<section class="highlight">
<a href="#" class="image featured"><img src="images/pic03.jpg" alt="" /></a>
<h3><a href="#">Nisl adipiscing sed lorem</a></h3>
<p>Eget mattis at, laoreet vel amet sed velit aliquam diam ante, dolor aliquet sit amet vulputate mattis amet laoreet lorem.</p>
<ul class="actions">
<li><a href="#" class="button style1">Learn More</a></li>
</ul>
</section>
</div>
<div class="col-4 col-12-medium">
<section class="highlight">
<a href="#" class="image featured"><img src="images/pic04.jpg" alt="" /></a>
<h3><a href="#">Mattis tempus lorem</a></h3>
<p>Eget mattis at, laoreet vel amet sed velit aliquam diam ante, dolor aliquet sit amet vulputate mattis amet laoreet lorem.</p>
<ul class="actions">
<li><a href="#" class="button style1">Learn More</a></li>
</ul>
</section>
</div>
</div>
</div>
</section>
<!-- Footer -->
<section id="footer" class="wrapper">
<div class="title">The Rest Of It</div>
<div class="container">
<header class="style1">
<h2>Ipsum sapien elementum portitor?</h2>
<p>
Sed turpis tortor, tincidunt sed ornare in metus porttitor mollis nunc in aliquet.<br />
Nam pharetra laoreet imperdiet volutpat etiam feugiat.
</p>
</header>
<div class="row">
<div class="col-6 col-12-medium">
<!-- Contact Form -->
<section>
<form method="post" action="#">
<div class="row gtr-50">
<div class="col-6 col-12-small">
<input type="text" name="name" id="contact-name" placeholder="Name" />
</div>
<div class="col-6 col-12-small">
<input type="text" name="email" id="contact-email" placeholder="Email" />
</div>
<div class="col-12">
<textarea name="message" id="contact-message" placeholder="Message" rows="4"></textarea>
</div>
<div class="col-12">
<ul class="actions">
<li><input type="submit" class="style1" value="Send" /></li>
<li><input type="reset" class="style2" value="Reset" /></li>
</ul>
</div>
</div>
</form>
</section>
</div>
<div class="col-6 col-12-medium">
<!-- Contact -->
<section class="feature-list small">
<div class="row">
<div class="col-6 col-12-small">
<section>
<h3 class="icon solid fa-home">Mailing Address</h3>
<p>
Untitled Corp<br />
1234 Somewhere Rd<br />
Nashville, TN 00000
</p>
</section>
</div>
<div class="col-6 col-12-small">
<section>
<h3 class="icon solid fa-comment">Social</h3>
<p>
<a href="#">@untitled-corp</a><br />
<a href="#">linkedin.com/untitled</a><br />
<a href="#">facebook.com/untitled</a>
</p>
</section>
</div>
<div class="col-6 col-12-small">
<section>
<h3 class="icon solid fa-envelope">Email</h3>
<p>
<a href="#">info@untitled.tld</a>
</p>
</section>
</div>
<div class="col-6 col-12-small">
<section>
<h3 class="icon solid fa-phone">Phone</h3>
<p>
(000) 555-0000
</p>
</section>
</div>
</div>
</section>
</div>
</div>
<div id="copyright">
<ul>
<li>© TorXakis.</li><li>Design: <a href="http://html5up.net">HTML5 UP</a></li>
</ul>
</div>
</div>
</section>
</div>
<!-- Scripts -->
<script src="assets/js/jquery.min.js"></script>
<script src="assets/js/jquery.dropotron.min.js"></script>
<script src="assets/js/browser.min.js"></script>
<script src="assets/js/breakpoints.min.js"></script>
<script src="assets/js/util.js"></script>
<script src="assets/js/main.js"></script>
</body>
</html>