Test (Req. / Man.) NS Lua Promela Spin C (Lua) ECMA C (ECMA)
Core Constructs
§3.10  The History Element 
   387 X pass pass pass pass pass pass pass
   388 X pass pass FAIL pass pass pass pass
   579 X pass pass pass pass pass pass pass
   580 X pass pass FAIL pass pass pass pass
§3.12  SCXML Events 
   396 X pass pass pass pass pass pass pass
   399 X pass pass pass pass pass pass pass
   401 X pass pass pass N/A pass pass pass
   402 X pass pass pass N/A pass pass pass
§3.13  Selecting and Executing Transitions 
   403b X pass pass pass pass pass pass pass
   403c X pass pass pass pass pass pass pass
   403a X pass pass pass pass pass pass pass
   404 X pass pass pass pass pass pass pass
   405 X pass pass pass pass pass pass pass
   406 X pass pass pass pass pass pass pass
   407 X pass pass pass pass pass pass pass
   409 X pass pass pass pass pass pass pass
   411 X pass pass pass pass pass pass pass
   412 X pass pass pass pass pass pass pass
   413 X pass pass pass pass pass pass pass
   415 X X pass N/A N/A N/A pass N/A pass
   416 X pass pass pass pass pass pass pass
   417 X pass pass pass pass pass pass pass
   419 X pass pass pass pass pass pass pass
   421 X pass pass pass pass pass pass pass
   422 X pass pass pass pass pass pass pass
   423 X pass pass pass pass pass pass pass
   503 X pass pass pass pass pass pass pass
   504 X pass pass pass pass pass pass pass
   505 X pass pass pass pass pass pass pass
   506 X pass pass pass pass pass pass pass
   533 X pass pass pass pass pass pass pass
§3.2  The SCXML Element 
   355 X pass pass pass pass pass pass pass
   576 X pass pass pass pass pass pass pass
§3.3  The State Element 
   364 X pass pass pass pass pass pass pass
§3.7  The Final Element 
   372 X pass pass pass pass pass pass pass
   570 X pass pass pass pass pass pass pass
§3.8  The Onentry Element 
   375 X pass pass pass pass pass pass pass
   376 X pass pass pass pass pass pass pass
§3.9  The Onexit Element 
   377 X pass pass pass pass pass pass pass
   378 X pass pass pass pass pass pass pass
Executable Content
§4.2  The Raise Element 
   144 X pass pass pass pass pass pass pass
§4.3  The If Element 
   147 X pass pass pass pass pass pass pass
   148 X pass pass pass pass pass pass pass
   149 X pass pass pass pass pass pass pass
§4.6  The Foreach Element 
   150 X pass pass pass pass pass pass pass
   151 X pass pass pass pass pass pass pass
   152 X pass pass pass N/A pass pass pass
   153 X pass pass pass pass pass pass pass
   155 X pass pass pass pass pass pass pass
   156 X pass pass pass N/A FAIL pass pass
   525 X pass pass pass N/A pass pass pass
§4.9  Evaluation of Executable Content 
   158 X pass pass pass pass pass pass pass
   159 X pass pass pass N/A pass pass pass
Data Model and Manipulation
§5.10  System Variables 
   318 X pass pass pass pass pass pass pass
   319 X pass pass pass pass pass pass pass
   321 X pass pass pass pass pass pass pass
   322 X pass pass pass N/A pass pass pass
   323 X pass pass pass pass pass pass pass
   324 X pass pass pass N/A pass pass pass
   325 X pass pass pass N/A FAIL pass FAIL
   326 X pass pass pass N/A FAIL pass FAIL
   329 X pass pass pass N/A FAIL pass FAIL
   330 X pass pass pass pass pass pass pass
   331 X pass pass FAIL N/A pass pass pass
   332 X pass pass pass N/A pass pass pass
   333 X pass pass pass pass pass pass pass
   335 X pass pass pass pass pass pass pass
   336 X pass pass pass pass FAIL pass FAIL
   337 X pass pass pass pass pass pass pass
   338 X pass pass pass pass pass pass pass
   339 X pass pass pass pass pass pass pass
   342 X pass pass pass pass pass pass pass
   346 X pass pass pass N/A pass pass pass
§5.3  The Data Element 
   276 X pass pass pass pass pass pass pass
   277 X pass pass pass N/A FAIL pass pass
   279 X pass pass pass pass pass pass pass
   280 X pass pass pass N/A pass pass pass
   550 X pass pass pass pass pass pass pass
   551 X pass pass pass pass pass pass pass
   552 X pass pass pass pass pass pass pass
§5.4  The Assign Element 
   286 X pass pass pass N/A pass pass pass
   287 X pass pass pass pass pass pass pass
   288 X pass pass pass pass pass pass pass
   487 X pass pass pass N/A FAIL pass pass
§5.5  The Donedata Element 
   294 X FAIL pass pass N/A pass FAIL pass
§5.6  The Content Element 
   527 X pass pass pass pass pass pass pass
   528 X pass pass pass N/A pass pass FAIL
   529 X pass pass pass pass FAIL pass pass
§5.7  The Param Element 
   298 X pass pass pass N/A pass pass pass
   343 X pass pass pass N/A pass pass pass
   488 X pass pass pass N/A FAIL pass pass
§5.8  The Script Element 
   301 X X pass N/A N/A N/A FAIL N/A N/A
   302 X pass pass pass pass pass pass pass
   303 X pass pass pass pass pass pass pass
   304 X pass pass pass pass pass pass pass
§5.9  Expressions 
   307 X X N/A N/A N/A N/A N/A N/A N/A
   309 X pass pass pass N/A pass pass pass
   310 X pass pass pass pass pass pass pass
   311 X pass pass pass N/A pass pass pass
   312 X pass pass pass N/A FAIL pass pass
   313 X X pass N/A N/A N/A FAIL N/A pass
   314 X X pass N/A N/A N/A FAIL N/A pass
   344 X pass pass pass N/A pass pass pass
External Communications
§6.2  The Send Element 
   172 X pass pass pass pass pass pass pass
   173 X pass pass pass pass pass pass pass
   174 X pass pass pass pass pass pass pass
   175 X pass pass pass pass pass pass pass
   176 X pass pass pass pass pass pass pass
   178 X X pass N/A N/A N/A pass N/A pass
   179 X pass pass pass pass pass pass pass
   183 X pass pass pass pass pass pass pass
   185 X pass pass pass pass pass pass pass
   186 X pass pass pass pass pass pass pass
   187 X pass pass pass pass pass pass pass
   194 X pass pass pass N/A pass pass pass
   198 X pass pass pass pass pass pass pass
   199 X pass pass pass N/A pass pass pass
   200 X pass pass pass pass pass pass pass
   201 pass pass pass pass FAIL pass N/A
   205 X pass pass pass pass pass pass pass
   521 X pass pass pass N/A pass pass pass
   553 X pass pass pass N/A pass pass pass
§6.3  The Cancel Element 
   207 X pass pass pass pass pass pass pass
   208 X pass pass pass pass pass pass pass
   210 X pass pass pass pass pass pass pass
§6.4  The Invoke Element 
   215 X pass pass pass pass pass pass pass
   216 X pass pass pass N/A FAIL pass N/A
   220 X pass pass pass pass pass pass pass
   223 X pass pass pass pass pass pass pass
   224 X pass pass FAIL N/A pass pass pass
   225 X pass pass pass pass pass pass pass
   226 X pass pass pass pass pass pass pass
   228 X pass pass pass pass pass pass pass
   229 X pass pass pass pass pass pass pass
   230 X X pass N/A N/A N/A pass N/A pass
   232 X pass pass pass pass pass pass pass
   233 X pass pass pass pass pass pass pass
   234 X pass pass pass pass pass pass pass
   235 X pass pass pass pass pass pass pass
   236 X pass pass pass pass pass pass pass
   237 X pass pass pass pass pass pass pass
   239 X pass pass pass pass pass pass pass
   240 X pass pass pass pass pass pass pass
   241 X pass pass pass pass pass pass pass
   242 X pass pass pass pass pass pass pass
   243 X pass pass pass pass pass pass pass
   244 X pass pass pass pass pass pass pass
   245 X pass pass pass pass pass pass pass
   247 X pass pass pass pass pass pass pass
   250 X X pass N/A N/A N/A pass N/A pass
   252 X pass pass pass pass pass pass pass
   253 X pass pass pass pass pass pass pass
   530 X pass pass pass N/A FAIL pass N/A
   554 X pass pass pass N/A pass pass pass
Data Models
§C.1  The Null Data Model 
   436 X N/A N/A N/A N/A N/A N/A N/A
§C.2  The ECMAScript Data Model 
   278 pass pass pass pass pass pass pass
   444 pass N/A N/A N/A N/A pass pass
   445 pass N/A N/A N/A N/A pass pass
   446 pass N/A N/A N/A N/A pass pass
   448 pass N/A N/A N/A N/A pass pass
   449 pass N/A N/A N/A N/A pass pass
   451 pass N/A N/A N/A N/A pass pass
   452 pass N/A N/A N/A N/A pass pass
   453 pass N/A N/A N/A N/A pass FAIL
   456 pass N/A N/A N/A N/A pass pass
   457 pass N/A N/A N/A N/A pass pass
   459 pass N/A N/A N/A N/A pass pass
   460 pass N/A N/A N/A N/A pass pass
   557 pass N/A N/A N/A N/A pass N/A
   558 pass N/A N/A N/A N/A pass pass
   560 pass N/A N/A N/A N/A pass pass
   561 pass N/A N/A N/A N/A pass N/A
   562 FAIL N/A N/A N/A N/A FAIL FAIL
   569 pass N/A N/A N/A N/A pass N/A
   578 pass N/A N/A N/A N/A pass pass
§C.3  The XPath Data Model 
   463 N/A N/A N/A N/A N/A N/A N/A
   464 N/A N/A N/A N/A N/A N/A N/A
   465 N/A N/A N/A N/A N/A N/A N/A
   466 N/A N/A N/A N/A N/A N/A N/A
   467 N/A N/A N/A N/A N/A N/A N/A
   468 N/A N/A N/A N/A N/A N/A N/A
   469 N/A N/A N/A N/A N/A N/A N/A
   470 N/A N/A N/A N/A N/A N/A N/A
   473 N/A N/A N/A N/A N/A N/A N/A
   474 N/A N/A N/A N/A N/A N/A N/A
   475 N/A N/A N/A N/A N/A N/A N/A
   476 N/A N/A N/A N/A N/A N/A N/A
   477 N/A N/A N/A N/A N/A N/A N/A
   478 N/A N/A N/A N/A N/A N/A N/A
   479 N/A N/A N/A N/A N/A N/A N/A
   480 N/A N/A N/A N/A N/A N/A N/A
   481 N/A N/A N/A N/A N/A N/A N/A
   482 N/A N/A N/A N/A N/A N/A N/A
   483 N/A N/A N/A N/A N/A N/A N/A
   537 N/A N/A N/A N/A N/A N/A N/A
   539 N/A N/A N/A N/A N/A N/A N/A
   540 N/A N/A N/A N/A N/A N/A N/A
   542 N/A N/A N/A N/A N/A N/A N/A
   543 N/A N/A N/A N/A N/A N/A N/A
   544 N/A N/A N/A N/A N/A N/A N/A
   545 N/A N/A N/A N/A N/A N/A N/A
   546 N/A N/A N/A N/A N/A N/A N/A
   547 N/A N/A N/A N/A N/A N/A N/A
   555 N/A N/A N/A N/A N/A N/A N/A
   568 N/A N/A N/A N/A N/A N/A N/A
Event I/O Processor
§D.1  SCXML Event I/O Processor 
   189 X pass pass pass pass pass pass pass
   190 X pass pass pass pass pass pass pass
   191 X pass pass pass pass pass pass pass
   192 X pass pass pass pass pass pass pass
   193 pass pass pass pass pass pass pass
   347 X pass pass pass pass pass pass pass
   348 X pass pass pass pass pass pass pass
   349 X pass pass pass pass FAIL pass FAIL
   350 X pass pass pass N/A pass pass pass
   351 X pass pass pass pass pass pass pass
   352 X pass pass pass pass pass pass pass
   354 X pass pass pass N/A pass pass pass
   495 X pass pass pass pass pass pass pass
   496 X pass pass pass N/A pass pass pass
   500 X pass pass pass pass FAIL pass N/A
   501 X pass pass pass pass FAIL pass N/A
§D.2  Basic HTTP Event I/O Processor 
   509 pass pass FAIL N/A FAIL pass N/A
   510 pass pass pass pass FAIL pass N/A
   513 X N/A N/A N/A N/A N/A N/A N/A
   518 pass pass FAIL N/A FAIL pass N/A
   519 pass pass FAIL N/A FAIL pass N/A
   520 pass pass FAIL N/A FAIL pass N/A
   522 pass pass pass pass FAIL pass N/A
   531 pass pass pass N/A FAIL pass N/A
   532 pass pass pass N/A FAIL pass N/A
   534 pass pass FAIL N/A FAIL pass N/A
   567 pass pass pass pass FAIL pass N/A
   577 pass pass pass N/A FAIL pass N/A