论文部分内容阅读
介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。并通过一个实例说明测试用例的设计过程。
基于形式规格说明和分类树方法生成软件测试用例
【摘 要】
：
介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。并通
【机 构】
：
中国石油大学（华东）计算机与通信工程学院
【出 处】
：
微计算机应用
【发表日期】
：
2007年4期
其他文献
凌源市森林资源管理工作严格按照“绿水青山就是金山银山”的发展理念,建立科学有效的管理体系,加强对森林资源的管理与监督,本文从6个方面介绍了工作中取得的阶段性成果及经
本文详细分析了缓冲区溢出原理、主要攻击过程、攻击机制及防范措施,在此基础上提出了一种PARAD防御算法,能自动、高效的检测缓冲区溢出攻击,提高网络的安全性.
国家教委今年在烟台召开的素质教育经验交流会，是基础教育一次重要的会议。如何全面贯彻教育方针，全面提高教育质量，如何改革课堂教学方法，提高课堂教学效果，如何改革评价制度和升
本文主要阐述了住宅小区中网络安全布局结构设计及其理论，并在对网络化小区的安全构架设计中，提出将常用的防火墙技术与两种新技术——VPN和IDS相结合，实现小区网络安全构架。文
钻井液处理剂是钻井液技术的关键，是核心组成部分，没有质量合格的处理剂就没有满足钻井要求的钻井液体系。因此，对处理剂的质量进行评价就显得非常重要；将钻井液处理剂分为4类：各
本文的目的是希望在数据采集系统中,用SQL Server数据库来实现数据的网络共享。文中介绍了VB中的几个数据访问库,SQL Server数据库和在VB中分别用DAO和ADO访问SQL Server的几
本文主要是在应用X荧光光谱法测定生物样品中K、Na元素。该方法与测定生物样品的方法相比较,前处理简单,测定速度快,测定结果准确性高,大大提高对生物样品中K、Na元素测定的