条件测试是检查程序模块中所包含逻辑条件的测试用例设计方法,注重于测试程序中的条件。BRO(Branch and Relational Operator)测试保证能发现布尔变量和关系操作符只出现一次且没有公共变量的条件中的分支和条件操作符错误。考虑条件C1:(E1>E2) &(E3<E4),其中E1,E2,E3,E4是数学表达式,“&”表示逻辑“与”,“>”和“=”是关系运算符,则C1的条件约束至少为(26)时,就可以检查C1中的关系操作符错误。
A.{(>,=),(>,>),(>,<),(>,<),(=,<)}
B.{(<,<),(<,=),(<,>),(=,<),(=,=),(=,>),(>,<),(>,=),(>,>)}
C.{(>,<),(=,<),(>,=)}
D.{(>,<),(=,<),(>,=),(<,<)}
下列有关C++流的叙述中,错误的是( )。
A、C++操作符setw设置的输出宽度永久有效
B、C++操作符endl可以实现输出的回车换行
C、处理文件I/O时,要包含头文件fstream
D、进行输入操作时,eof()函数用于检测是否到达文件尾
一般来讲,在并行处理系统中,将程序的模块划分得越小,(14)
A.程序模块间的数据相关性越大,线程创建和通信的开销越大
B.程序模块间的数据相关性越小,线程创建和通信的开销越大
C.程序模块间的数据相关性越小,线程创建和通信的开销越小
D.程序模块间的数据相关性越大,线程创建和通信的开销越小
对象是面向对象系统的最基本的元素,一个运行期系统就是对象之间的协作。一个对象通过()改变另一个对象的状态。