An approach to formalizing specification-based class testing

来源 :上海大学学报:英文版 | 被引量 : 0次 | 上传用户:dongjuanqiu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
这份报纸论述能被用来形式化基于说明的单人赛类的测试产生过程的一个框架。Object-Z 被用来描述软件要求和建议框架。用这个框架,测试工程师能自动地在测试产生过程期间得到严峻的过程模型。与这个模型一起,测试用例的性质(例如在测试用例和方法之间的关系,罐头容易被捕获。与框架,而且,测试过程模型能与测试产生过程自动地被更新。测试用例的性质然后能相应地被更新。测试将极大地便于回归。这份报纸的主要贡献是它提供一条途径给由扩大存在框架到班测试,和作为多部分代表测试用例的一个方法形式化严峻的过程,多步,多水平人工制品
其他文献
目的观察乙型肝炎病毒基因型以及早期HBV DNA应答对干扰素-α2b疗效的影响。方法136例慢性乙型肝炎患者接受干扰素-α2b治疗6个月,观察治疗结束时患者乙型肝炎病毒血清标志物
<正> 县级图书馆在我国不仅数量多,而且发展速度快。为了充分发挥它在两个文明建设中的重要作用,必须深化它的改革。1、挖掘社会藏书的潜力,实现图书资源共享。丰富而系统的图书情报资料,是图书馆赖以为广大读者服务的物质基础。一个县级图书馆的藏书要做到丰富而系统,目前尚有一定的困难。要解决这个问题,就要发展县级图书馆的横向、纵向联系。实行县(市)馆、乡(镇)基层图书馆(室)和个体藏书户三位一体,落实馆辖范围内的“馆、室、户”网络和联合目录。这样做,既可以补充县(市)馆藏书的不足,又可以实现全县(市)
采用一维月降水量序列,以延滞τ拓展后,用四维时滞方程,对南京1980年1月到1994年12月的降水量进行预报,与实测量相比较,相关系数为0.97,并对时滞方程的参数选取进行了讨论。
在人类发展的历史进程中,财富是关系到国家、社会和个人生存与发展的重要问题,财富是各种关系的载体。财富是个体生存和发展的物质基础与精神保障,它的丰富与发展对整个人类
目的探讨超声量化评分法和超声弹性成像技术诊断甲状腺占位性病变的临床应用价值。方法选取2014年11月至2017年9月在我院接受甲状腺超声检查及手术治疗的甲状腺占位性病变患
随着信息社会的发展,个人信息的民法保护问题日益凸显,社会舆论对个人信息保护的呼声亦日益高涨,但我国目前仍无个人信息保护配套法律制度予以解决,因此对个人信息民法保护的
<正> 随着科学技术的发展,职业的分类越来越细,从事“知识产业”的人员骤增,情报专业的职业人员也大量增加。为了搞好情报职业人员管理,研究、预测情报发展的趋势,对情报职业人员进行调研就显得很有必要。
在森林资源调查中,机载LiDAR可以有效的获取森林三维结构信息,可以准确地估测林分参数,探测森林结构。本研究对2019年3月下旬以及2019年11月下旬在江苏省宿迁市泗洪县陈圩林
设计模式是证明了可靠、柔韧、容易实现的微体系结构。从面向对象的系统的源代码检测设计模式能帮助理解软件系统的一个设计者,一个开发者或一个维护者。在这份报纸,一个新方法
目的观察中药方剂治疗对非酒精性脂肪性肝炎(NASH)患者T淋巴细胞亚群的影响。方法 80例NASH患者口服中药治疗8周,60例NASH患者接受阿拓莫兰和口服熊去氧胆酸治疗8周。使用FACSC