| <HTML> |
| <head> |
| <TITLE>assertions tools tests</TITLE> |
| <SCRIPT LANGUAGE="Javascript" TYPE="text/javascript"> |
| <!-- |
| function instr_window(name, instr_url) |
| { |
| win_name = window.open(instr_url,name,'scrollbars=yes, resizable=yes, toolbar=no,height=640,width=640'); |
| if (window.focus) win_name.focus(); |
| |
| if (win_name.opener == null) |
| win_name.opener = window; |
| win_name.opener.name = "main"; |
| } |
| //--> |
| </SCRIPT> |
| |
| <meta HTTP-EQUIV="content-type" CONTENT="text/html; charset=UTF-8"> |
| </head> |
| |
| <body BGCOLOR=#ffffff> |
| <H1 align=center>assertions tools tests</H1>Instructions: |
| <OL> |
| <LI> |
| Read <B>instructions</B> for each test assertion and perform test. |
| <BR> |
| <BR> |
| </OL> |
| <BR> |
| <BR> |
| <I>View assertions tools <A HREF="javascript:instr_window('SmallWin2', 'tools_toc.html')" onmouseover="window.status='tools_toc.html' ; return true ">table of contents.</A>.</I> |
| <HR> |
| <FORM ACTION=/cgi-bin/OO_results.cgi METHOD=POST NAME=test_configurations> |
| <CENTER> |
| <P> |
| <INPUT TYPE=hidden NAME=MAJOR_TEST_ID VALUE=assertions SIZE=10></TH> |
| <INPUT TYPE=hidden NAME=MINOR_TEST_ID VALUE=tools SIZE=10></TH> |
| <TABLE BORDER=5> |
| <TR> |
| <TH ALIGN=center VALIGN=bottom>Test Instructions</TH> |
| <TH ALIGN=center VLAIGN=bottom>Test Result</TH> |
| <TH ALIGN=center VLAIGN=bottom>Bug Id</TH> |
| </TR> |
| <TR> |
| <TD ALIGN=center VALIGN=bottom> |
| <A HREF="javascript:instr_window('SmallWin', 'aut_for06.html')" onmouseover="window.status='aut_for06.html' ; return true"><B>Instructions</B></A> for aut_for06 |
| </TD> |
| <TD ALIGN=center VALIGN=top BGCOLOR="#ADD8E6"> |
| <INPUT TYPE=radio CHECKED NAME=result_aut_for06 VALUE="passed"> pass |
| <INPUT TYPE=radio NAME=result_aut_for06 VALUE="failed"> fail |
| <INPUT TYPE=radio NAME=result_aut_for06 VALUE="not done"> not done |
| </TD> |
| <TH><INPUT NAME="bugid_aut_for06" SIZE=10></TH> |
| </TR> |
| <TR> |
| <TD ALIGN=center VALIGN=bottom> |
| <A HREF="javascript:instr_window('SmallWin', 'bib_data06.html')" onmouseover="window.status='bib_data06.html' ; return true"><B>Instructions</B></A> for bib_data06 |
| </TD> |
| <TD ALIGN=center VALIGN=top BGCOLOR="#ADD8E6"> |
| <INPUT TYPE=radio CHECKED NAME=result_bib_data06 VALUE="passed"> pass |
| <INPUT TYPE=radio NAME=result_bib_data06 VALUE="failed"> fail |
| <INPUT TYPE=radio NAME=result_bib_data06 VALUE="not done"> not done |
| </TD> |
| <TH><INPUT NAME="bugid_bib_data06" SIZE=10></TH> |
| </TR> |
| <TR> |
| <TD ALIGN=center VALIGN=bottom> |
| <A HREF="javascript:instr_window('SmallWin', 'config_06.html')" onmouseover="window.status='config_06.html' ; return true"><B>Instructions</B></A> for config_06 |
| </TD> |
| <TD ALIGN=center VALIGN=top BGCOLOR="#ADD8E6"> |
| <INPUT TYPE=radio CHECKED NAME=result_config_06 VALUE="passed"> pass |
| <INPUT TYPE=radio NAME=result_config_06 VALUE="failed"> fail |
| <INPUT TYPE=radio NAME=result_config_06 VALUE="not done"> not done |
| </TD> |
| <TH><INPUT NAME="bugid_config_06" SIZE=10></TH> |
| </TR> |
| <TR> |
| <TD ALIGN=center VALIGN=bottom> |
| <A HREF="javascript:instr_window('SmallWin', 'footnote_06.html')" onmouseover="window.status='footnote_06.html' ; return true"><B>Instructions</B></A> for footnote_06 |
| </TD> |
| <TD ALIGN=center VALIGN=top BGCOLOR="#ADD8E6"> |
| <INPUT TYPE=radio CHECKED NAME=result_footnote_06 VALUE="passed"> pass |
| <INPUT TYPE=radio NAME=result_footnote_06 VALUE="failed"> fail |
| <INPUT TYPE=radio NAME=result_footnote_06 VALUE="not done"> not done |
| </TD> |
| <TH><INPUT NAME="bugid_footnote_06" SIZE=10></TH> |
| </TR> |
| <TR> |
| <TD ALIGN=center VALIGN=bottom> |
| <A HREF="javascript:instr_window('SmallWin', 'gallery_06.html')" onmouseover="window.status='gallery_06.html' ; return true"><B>Instructions</B></A> for gallery_06 |
| </TD> |
| <TD ALIGN=center VALIGN=top BGCOLOR="#ADD8E6"> |
| <INPUT TYPE=radio CHECKED NAME=result_gallery_06 VALUE="passed"> pass |
| <INPUT TYPE=radio NAME=result_gallery_06 VALUE="failed"> fail |
| <INPUT TYPE=radio NAME=result_gallery_06 VALUE="not done"> not done |
| </TD> |
| <TH><INPUT NAME="bugid_gallery_06" SIZE=10></TH> |
| </TR> |
| <TR> |
| <TD ALIGN=center VALIGN=bottom> |
| <A HREF="javascript:instr_window('SmallWin', 'lin_num06.html')" onmouseover="window.status='lin_num06.html' ; return true"><B>Instructions</B></A> for lin_num06 |
| </TD> |
| <TD ALIGN=center VALIGN=top BGCOLOR="#ADD8E6"> |
| <INPUT TYPE=radio CHECKED NAME=result_lin_num06 VALUE="passed"> pass |
| <INPUT TYPE=radio NAME=result_lin_num06 VALUE="failed"> fail |
| <INPUT TYPE=radio NAME=result_lin_num06 VALUE="not done"> not done |
| </TD> |
| <TH><INPUT NAME="bugid_lin_num06" SIZE=10></TH> |
| </TR> |
| <TR> |
| <TD ALIGN=center VALIGN=bottom> |
| <A HREF="javascript:instr_window('SmallWin', 'macro_06.html')" onmouseover="window.status='macro_06.html' ; return true"><B>Instructions</B></A> for macro_06 |
| </TD> |
| <TD ALIGN=center VALIGN=top BGCOLOR="#ADD8E6"> |
| <INPUT TYPE=radio CHECKED NAME=result_macro_06 VALUE="passed"> pass |
| <INPUT TYPE=radio NAME=result_macro_06 VALUE="failed"> fail |
| <INPUT TYPE=radio NAME=result_macro_06 VALUE="not done"> not done |
| </TD> |
| <TH><INPUT NAME="bugid_macro_06" SIZE=10></TH> |
| </TR> |
| <TR> |
| <TD ALIGN=center VALIGN=bottom> |
| <A HREF="javascript:instr_window('SmallWin', 'options_06.html')" onmouseover="window.status='options_06.html' ; return true"><B>Instructions</B></A> for options_06 |
| </TD> |
| <TD ALIGN=center VALIGN=top BGCOLOR="#ADD8E6"> |
| <INPUT TYPE=radio CHECKED NAME=result_options_06 VALUE="passed"> pass |
| <INPUT TYPE=radio NAME=result_options_06 VALUE="failed"> fail |
| <INPUT TYPE=radio NAME=result_options_06 VALUE="not done"> not done |
| </TD> |
| <TH><INPUT NAME="bugid_options_06" SIZE=10></TH> |
| </TR> |
| <TR> |
| <TD ALIGN=center VALIGN=bottom> |
| <A HREF="javascript:instr_window('SmallWin', 'out_num06.html')" onmouseover="window.status='out_num06.html' ; return true"><B>Instructions</B></A> for out_num06 |
| </TD> |
| <TD ALIGN=center VALIGN=top BGCOLOR="#ADD8E6"> |
| <INPUT TYPE=radio CHECKED NAME=result_out_num06 VALUE="passed"> pass |
| <INPUT TYPE=radio NAME=result_out_num06 VALUE="failed"> fail |
| <INPUT TYPE=radio NAME=result_out_num06 VALUE="not done"> not done |
| </TD> |
| <TH><INPUT NAME="bugid_out_num06" SIZE=10></TH> |
| </TR> |
| <TR> |
| <TD ALIGN=center VALIGN=bottom> |
| <A HREF="javascript:instr_window('SmallWin', 'spl_chk06.html')" onmouseover="window.status='spl_chk06.html' ; return true"><B>Instructions</B></A> for spl_chk06 |
| </TD> |
| <TD ALIGN=center VALIGN=top BGCOLOR="#ADD8E6"> |
| <INPUT TYPE=radio CHECKED NAME=result_spl_chk06 VALUE="passed"> pass |
| <INPUT TYPE=radio NAME=result_spl_chk06 VALUE="failed"> fail |
| <INPUT TYPE=radio NAME=result_spl_chk06 VALUE="not done"> not done |
| </TD> |
| <TH><INPUT NAME="bugid_spl_chk06" SIZE=10></TH> |
| </TR> |
| </TABLE></CENTER> |
| </FORM> |
| <P> |
| <HR> |
| <BR> |
| <BR> |
| <I>Page last updated: Wed Sep 3 12:07:11 BST 2003 |
| </I> |
| </body> |
| </HTML> |