论文部分内容阅读
按照存在量词公式的证据是全称量词公式的反例的特性，通过考察时态逻辑算子，用模型检查的反例生成机制对测试用例生成技术进行研究．然后把模型检查的算法引入到软件测试领域，寻找验证的路径，生成测试用例，据此对系统进行测试．通过实例说明了测试用例的具体实现过程．
模型检查在测试用例生成中的应用
【摘 要】
：
按照存在量词公式的证据是全称量词公式的反例的特性，通过考察时态逻辑算子，用模型检查的反例生成机制对测试用例生成技术进行研究．然后把模型检查的算法引入到软件测试领域，寻找
【机 构】
：
常熟理工学院机械工程系,上海大学计算机科学与工程技术学院
【出 处】
：
常熟理工学院学报
【发表日期】
：
2008年10期
其他文献
针对《经济参考报》刊发的《国家监管“形同虚设”关停稀土企业纷纷异地“重生”》一稿，中国稀土行业协会相关负责人10月15日独家回应称，黑色产业链经营规模隐蔽，进入市场的产品
1．2010年初价格上涨截至2010年4月，日本稀土进口价格已经连续4个月上涨（见表1），价格上涨反映了：（1）中国自2009年春天、日本自2009年秋季以来对钕铁硼磁体需求的恢复。（2）由于中国对环保
１ＩｎｔｒｏｄｕｃｔｉｏｎＲｅｃｅｎｔｌｙ，ｗｈｅｔｈｅｒｐｏｌａｒｉｓｔｈｅｍｏｓｔｓｅｎｓｉｔｉｖｅｒｅｇｉｏｎｔｏｇｌｏｂａｌｃｌｉｍａｔｅｃｈａｎｇｅｇｒｅａｔｌｙｃｏｎｃｅｒｎｓｍａｎｙｓｃｈｏｌａｒｓ．Ｔｈｅｃｈａｎｇｅｏｆｐｏｌａｒｓｅ...
为帮助英语专业高年级学生更好地备考专业八级阅读理解，通过问卷调查及访谈研究了学生常用阅读策略的使用情况，探讨了阅读策略与阅读效率的相关性，提出了一些改进建议。
Two induction magnetometers have been installed at Chinese Zhongshan Station and Australia Davis Station, Antarctica respectively. We adopt the cross-spectral a
采用阳离子掺杂方法制备了Mg：Er：Yb：LiNbO3晶体,获得了光折变效率高和不影响其它性能的激光晶体.为了探究铌酸锂晶体的微观结构对光学性质的影响,测量了Mg：Er：Yb：LiNbO3晶体的折射
Thirty-two meteorites were collected in Grove Mountains area, Antarctica, by the 15th and 16th Chinese Antarctic Research Expeditions (CHINARE). Petrography and mineral chemistry of these meteorites a
证人证言是司法实践中最常用的证据之一,它对于案件的查明往往具有极其重要的意义。证人出庭作证是我国刑事证据制度的一项重要内容,在我国刑事证据法律体系中占有十分重要的
１ＩｎｔｒｏｄｕｃｔｉｏｎＭｅｔｉｃｕｌｏｕｓｒｅｃｏｒｄｓｏｆｈｉｇｈ－ｒｅｓｏｌｕｔｉｏｎ，ｓｈｏｒｔ－ｔｅｒｍｔｉｍｅｓｅｒｉｅｓｅｎｖｉｒｏｎｍｅｎｔａｌｃｌｉｍａｔｉｃｖａｒｉａｔｉｏｎｓｃａｎｂｅｏｂｔａｉｎｅｄｂｙａｎａｌｙｚｉｎｇａｎ...
Using the boundary layer observation data collected by "Arctic Upper Air Observation 1999" in Chinese Arctic Research Expedition 1999, a strong temperature inve