The invention relates to data processing and testing. In order to achieve efficient and accurate testing of the measuring object, the technical scheme of the invention is that testing method based on Z specification, including the following steps: 1, using Z language to describe a software system specification, the formal description of the methods is accurate, the ambiguity of the two did not give full play to the advantages; the 2. part from the predicate basic module Z language in the form of pre conditions, and ensure the integrity of the non redundant modules and pre conditions; 3. according to the pre conditions, using the appropriate algorithm, generating available and high coverage test cases; 4. through the detection of the code, verify the user code whether it is consistent with our expectations for the program, and by comparing the output and output target code has been test cases are the same, then a corresponding test report. The invention is mainly used for data processing and testing.
【技术实现步骤摘要】
本专利技术涉及数据处理、测试，具体讲涉及基于Z规格的测试用例生成方法。
技术介绍
随着计算机和互联网的普及，软件已经成为信息时代资源获得和利用的重要载 体。在这种形势下，软件的安全就成为各项工作正常、高效进行的重要保障。但是，软件不是 天生安全的，而解决软件安全问题的根本方法就是改善我们建造软件的方式，即在构建软 件的过程中，将安全性作为一个重要的因素考虑，使其成为软件开发各个阶段的一个重点。 软件测试是软件开发的一个重要的阶段。而测试用例，即测试数据的生成是软件测试中的 一个重要内容，测试用例的质量直接关系到测试效果的质量。因此，测试用例的生成是测试 工作的核心。为了对软件的规格说明进行准确的描述，从而为软件测试用例的生成提供良好的 基础，形式化方法应运而生并得以应用。形式化方法克服了采用自然语言描述规格说明时造成的模糊性、歧义性和不完整 性。它是基于数学方法来描述目标软件系统性能的一门技术，用严格的数学符号和数学法 则对目标软件系统的结构与行为进行有效的综合分析和推理。它为系统的说明，开发和验 证提供了一个框架，以利于发现目标软件系统需求中的不一致性，不完...
【技术保护点】
１．一种基于Ｚ规格的测试用例生成方法，其特征是，包括下列步骤：一、用Ｚ语言来描述一个软件系统的规格说明，使形式化方法的描述准确，没有二义性的优势得到充分发挥；二．从Ｚ语言的基本模块模式的谓词部分中生成前置条件，同时保证模块的完整性以及前置条件的无冗余性；三．根据得到的前置条件，采用合适的算法，生成可用的而且覆盖率高的测试用例；四．通过对代码的检测，验证用户的代码是否符合对程序的预期，并通过比较目标代码输出与已经得到的测试用例的输出是否相同，给出一个相应的测试报告。
【技术特征摘要】
【专利技术属性】
技术研发人员：李晓红，杜志杰，李衍法，冯志勇，陈世展，于永新，
申请(专利权)人：天津大学，
类型：发明
国别省市：12
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。