软件测试充分性研究

软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先给出测试充分性准则的形式化描述,然后讨论了软件测试充分性的性质,最后给出了两种理想的测试数据生成方案,并提出了测试充分性度量方法。

论高校科研管理人员的素质培养与能力提高

现代科技突飞猛进 ,高校科研任务越来越重 ,难度越来越大 ,高校科研管理工作也更为重要 ,同时对科研管理人员提出了更高的要求。高校科研管理人员应该具备广博的知识结构、高尚的品质和现代科技意识等素质和决策、判断、组织、协调能力等等。因此高校科研管理人员的素质培养和能力提高是科研队伍建设的关键问题。