Failed Test Cases:
") from l_count := 1 cs := set.list.new_cursor cs.start until --| to limit the size of the HTML statistics we only generate 10 --| results per tested routine cs.off or l_count > 10 loop if cs.item.is_fail then generate_test_case_result (cs.item, file) l_count := l_count + 1 end cs.forth end -- file.put_line ("Bad response Test Cases:
") -- from -- cs := set.list.new_cursor -- cs.start -- until -- cs.off -- loop -- if cs.item.is_bad_response then -- generate_test_case_result (cs.item, file) -- end -- cs.forth -- end -- file.put_line ("Passed Test Cases:
") -- from -- cs := set.list.new_cursor -- cs.start -- until -- cs.off -- loop -- if cs.item.is_pass then -- generate_test_case_result (cs.item, file) -- end -- cs.forth -- end -- file.put_line ("Invalid Test Cases:
") -- from -- cs := set.list.new_cursor -- cs.start -- until -- cs.off -- loop -- if cs.item.is_invalid then -- generate_test_case_result (cs.item, file) -- end -- cs.forth -- end file.put_string (feature_summary_footer_template) test_case_printer.set_output_stream (null_output_stream) file.close consume_id else has_fatal_error := True end end end generate_test_case_result (a_result: AUT_TEST_CASE_RESULT; a_stream: KI_TEXT_OUTPUT_STREAM) -- Print test case results in `a_set' to `a_stream'. require a_result_not_void: a_result /= Void a_stream_not_void: a_stream /= Void a_stream_open_write: a_stream.is_open_write local explain_link: STRING status: STRING response_printer: AUT_RESPONSE_LOG_PRINTER do a_stream.put_string ("Test Case: ")
if a_result.is_pass then
explain_link := "test_case_pass.html"
status := "pass"
elseif a_result.is_fail then
explain_link := "test_case_fail.html"
status := "fail"
elseif a_result.is_invalid then
explain_link := "test_case_invalid.html"
status := "invalid"
elseif a_result.is_bad_response then
explain_link := "test_case_bad_response.html"
status := "bad response"
else
check
dead_end: False
end
end
a_stream.put_line (template_expander.expand_from_array (explain_link_template, <>))
a_stream.put_line ("
")
a_stream.put_line ("Witness:
") a_stream.put_line ("
")
test_case_printer.print_test_case (a_result.witness.request_list, a_result.witness.used_vars)
a_stream.put_line ("")
a_stream.put_line ("Result:") a_stream.put_line ("
")
create response_printer.make (a_stream)
a_result.witness.item (a_result.witness.count).response.process (response_printer)
a_stream.put_line ("")
a_stream.put_line ("") end generate_summary (a_set: AUT_TEST_CASE_RESULT_SET; a_stream: KI_TEXT_OUTPUT_STREAM) -- Generate summary for set `a_set' into `a_stream'. require a_set_not_void: a_set /= Void a_stream_not_void: a_stream /= Void a_stream_open_write: a_stream.is_open_write local explain_link: STRING status: STRING do a_stream.put_string ("
Status: ")
if a_set.is_bad_response then
explain_link := "test_case_set_bad_response.html"
status := "bad response"
elseif a_set.is_fail then
explain_link := "test_case_set_fail.html"
status := "fail"
elseif a_set.is_invalid then
explain_link := "test_case_set_invalid.html"
status := "invalid"
elseif a_set.is_pass then
explain_link := "test_case_set_pass.html"
status := "pass"
elseif a_set.is_untested then
explain_link := "test_case_set_untested.html"
status := "untested"
else
check
dead_end: False
end
end
a_stream.put_line (template_expander.expand_from_array (explain_link_template, <>))
a_stream.put_line ("
")
a_stream.put_string (template_expander.expand_from_array (summary_table_template,
<${1}.${2}
Below you will find all executed test cases. Note that AutoTest tries, for those test cases that prove the existence of a bug, to add a minimized version too.
]" feature_summary_footer_template: STRING = "[System '${1}'
]" summary_page_footer_template: STRING = "[Test Case Summary
| Total: | ${1} |
| Unique: | ${2} |
| Bad Response: | ${3} |
| Fail: | ${4} |
| Invalid: | ${5} |
| Pass: | ${6} |
|
AutoTest statistics for system '${1}'We Kick Bugs! |
|
 |
- The class has syntax or type errors.