Newer
Older
/***************************************************
** @author STF 521
** @version 0.0.1
** @purpose 1:6.1.1.1, Access universal charstring elements
** @verdict pass reject
***************************************************/
/* The following requirements are tested:
* For assigning an element to the end of a string, the length of the string should be used as
* index. Trying to assign an element to the end of a string with an index larger than the
* length of the string shall cause an error.
*/
module NegSyn_06010101_AccessStringElements_001 {
type component GeneralComp {}
testcase TC_NegSyn_06010101_AccessStringElements_001() runs on GeneralComp {
var universal charstring v_b := "AbCdE";
v_b[1] := "FF"; // incorrect legth
}
control{
execute(TC_NegSyn_06010101_AccessStringElements_001());
}
}