JUnit没有很多功能(它只是一些类)，但它确实对形式化测试过程有帮助。
JUnit does not do much (it's just a handful of classes), but it does help formalize the testing process.
基于一个具体的多输入队列路由器的例子，介绍了路由器形式化测试模型的建立以及测试和分析。
Based on an example of router with multiple input queues, construction of formal testing model of router is introduced and testing and analysis of this model are researched.
AUT中决策点的识别，能够帮助我们形式化并且精化从测试套件到测试脚本的分解。
The identification of the decision points in the AUT helps formalize and elaborate the test suite decomposition into test scripts.
与系统测试相关的过程演进的一个具体实例发生在第一个迭代期间，在该迭代中，系统测试团队形式化一个用于测试追踪的过程。
One specific example of process evolution related to system test occurred during the first iteration where the system test team formalized a process for test tracking.
构建设计并对其进行测试，比为其行为构建形式化的证明要来得容易。
It's easier to build our designs and test them than to build formal proofs of how they will behave.
一种详细描述测试套件和测试脚本的形式化方法。
A formalized approach to elaborate the test suites and test scripts.
为满足联锁软件黑箱测试的要求，对联锁软件安全性需求进行了分级形式化表达。
To meet the requirements for black box testing of CISS (Computer Interlocking safety critical Software), the safety requirements of CISS are denoted hierarchically and formally.
测试仍然是目前工业界广泛采用的确认软件是否正确可靠的主要手段，而形式化方法被认为是非常有希望的新途径。
While testing is still currently the most widely used validation technique in the software industry, formal methods are regarded a new promising approach.
介绍了形式化描述技术在测试集生成过程中的应用，针对PPP协议介绍其协议实现时的状态迁移。
This paper introduces the application of formal description technology in the progress of generate testing suite, and the PPP protocol's state transference of the implement module.
类划分是一个更加形式化的设计测试用例的方法。
Equivalence partitioning is a much more formalized method of test case design.
在通信协议的一致性测试中，可以使用构造类别代数来对协议进行形式化的描述。
The constructed type algebra specification has been used to specify communication protocols in protocol conformance testing.
针对活动图半形式化特性，给出了活动图的形式化描述及测试覆盖准则的定义。
Aiming at activity diagram semi-formal speciality, the activity diagram formal specification and the definition of test coverage rules were given.
利用形式化方法构建了协议测试理论。
A protocol testing theory is presented based on formal methods.
这种方法以协议的形式化描述为输入，易于自动化实现，同时生成的测试序列较短，提高了测试效率。
This method takes formal description of protocols as input, and is easy to be automated, also generates a shorter test sequence, promotes the test efficiency.
运用形式化与非形式化相结合的方法生成了BGP4 +的测试例。
Test cases of BGP4 + are generated by combining formal and informal method.
同时给出了基于Z的形式的测试准则的描述，这更有助于支持形式化的测试方法和对该方法的度量与评估。
We also describe test criteria in Z notation, which can support the formalized test method and its evaluation and assessment.
第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
Chapter five compares the method with the common software testing and discusses the concept, basic knowledge and language of FormalMethods.
而形式化约束语言可以对此做到有效补充，它可以帮助测试人员充分理解被测系统，进而提高测试用例的获取率以及测试覆盖率。
Whereas the formal constraint language serve as an effective complement and help testers understand the system test, and then further improve the test access rate and coverage rate of test-case.
基于完全形式化语言的测试也是近年来研究的重点，不少学者提出了基于Z等形式化语言的测试方法。
Software testing based on formalization is also an important issue in recently research work. Many scholars studied testing methods based on formal language such as z.
基于完全形式化语言的测试也是近年来研究的重点，不少学者提出了基于Z等形式化语言的测试方法。
Software testing based on formalization is also an important issue in recently research work. Many scholars studied testing methods based on formal language such as z.
应用推荐