现代汉语中的弱断言谓词“我想”

从语义上看,现代汉语中带从句宾语的“我想”实际上是一个表示说话人的不很肯定的主观看法的弱断言谓词。其断言性和弱断言性可以分别从与叙实谓词和强断言谓词的比较中看出来。这个例子说明,现代汉语谓词在语义和句法上也具有“断言”与“叙实”的差异。

基于SPEC#的自动测试方法

测试是软件质量的直接保障,然而人工书写测试代码不但繁琐而且会带来很多问题,自动化的测试方法的研究仍然停留在理论阶段。基于(SPEC#+NUnit)平台,提出了一种切实可行的面向对象软件的自动化测试方法。这种方法使用形式化谓词断言来作为标准判断测试成功与否,搜索测试用例空间,同时可以模拟对象中间状态,自动生成复杂数据的测试用例。这一平台的建立也使得测试应绝对反映设计,由设计来直接指导测试的思想成为可能。