软件功能逻辑的试验方法主要包括以下几种：

黑盒测试法：

也称为功能测试法，主要从用户角度出发，测试人员只关注软件系统输出结果是否与预期一致。不需要了解系统内部实现的细节，只需根据需求规格说明书或需求文档编写符合需求的测试用例并执行即可。

白盒测试法：

也叫结构测试法，从程序内部出发，通过检查代码和程序流程来验证功能是否正确。需要测试人员了解软件系统的内部实现逻辑和代码细节，并编写针对代码的测试用例和覆盖率分析。

边界值测试法：

测试系统在极限情况下的相应和表现，即测试边界值处的软件行为是否符合规范。例如，测试输入框的最小值和最大值是否能够正常接受和处理，登录密码是否符合长度限制等。

等价类划分测试法：

将各种输入值看做是几个等价类，只需要选取一个代表性的值进行测试即可。例如，在一个数字输入框中，可以将输入值划分为小于、等于和大于等于三个等价类，然后只需要测试每个等价类的一个典型值即可。

冒烟测试法：

也称为系统验证测试法，主要用于确认软件系统在最基本的功能上能够正常工作。测试人员通过运行系统的核心功能，检查系统是否能够启动、执行基本操作和完成基本任务等。

面向场景测试法：

根据实际业务场景设计测试用例，确保软件功能在各种场景下的正确性和稳定性。

功能分解法：

将复杂的功能需求分解为更小的、可管理的部分，以便更有效地设计测试用例。

判定表：

使用判定表来驱动测试用例的设计，确保所有可能的输入组合都被测试到。

因果图：

通过图形化的方式表示输入和输出之间的关系，帮助测试人员设计出更全面的测试用例。

随机测试：

通过随机生成测试数据来发现潜在的缺陷和问题。

猜错法：

通过故意输入错误的测试数据来验证系统的容错能力。

正交实验法：

通过选择合适的测试数据组合来最小化测试用例数量，同时确保全面的测试覆盖。

在实际应用中，通常会结合多种测试方法来确保软件功能逻辑的全面性和有效性。测试人员应根据软件的具体需求和特点选择合适的测试方法，并设计出能够覆盖所有关键功能点的测试用例。执行测试后，需要对测试结果进行详细的记录和分析，并跟踪缺陷状态，确保所有问题都得到及时解决。最后，根据测试结果编写详细的测试报告，总结测试范围、发现的问题、缺陷统计以及软件质量评估等内容。