Testing is a significant aspect of software development. As systems become complex and their use becomes critical to the security and the function of society, the need for testing methodologies that ensure reliability and detect faults as early as possible becomes critical. The most promising approach is the model-based approach where a model is developed that defines how the system is expected to behave and how it is meant to react. The tests are derived from the model and an analysis of the test results is conducted based on it. We will investigate the prospects of using the Behavioral Programming (BP) for a model-based testing (MBT) approach that we will develop. We will develop a natural language for representing the requirements. The model will be fed to algorithms that we will develop. This includes algorithms for the automatic creation of minimal sets of test cases that cover all of the system's requirements, analysing the results of the tests, and other tools that support the testing process. The focus of our methodology will be to find faults caused by the interaction between different requirements in ways that are difficult for the testers to detect. Specifically, we will focus our attention to concurrency issues such as deadlocks and logical race condition. We will use a variety of methods that are made possible by BP, such as non-deterministic execution of scenarios and use of in-code model-checking for building test scenarios and for finding minimal coverage of the test scenarios for the system requirements using Combinatorial Test Design (CTD) methodologies. We will develop a proof-of-concept tool kit which will allow us to demonstrate and evaluate the above mentioned capabilities. We will compare the performance of our tools with the performance of manual testers and of other model-based tools using comparison criteria that we will define and develop.
翻译:测试是软件开发的一个重要方面。当系统变得复杂,其使用对于安全和社会功能至关重要时,测试方法以确保可靠性和尽早发现故障的必要性就变得十分关键。最有希望的方法是模型法,模型法是模型法,模型法将确定系统如何运作和如何作出反应。测试来自模型,并根据模型对测试结果进行分析。我们将调查使用行为方案(BP)进行基于模型的测试(MBT)的前景。我们将开发一种基于模型的测试能力(MBT)方法。我们将开发一种自然语言来代表要求。模型将提供给我们将要开发的算法。这包括自动创建包含系统所有要求的最低限度测试案例的算法,分析测试结果,以及支持测试过程的其他工具。我们方法的焦点将是发现基于不同需求之间相互作用的错误,而我们很难使用这样的测试工具。具体地说,我们将把注意力放在设计系统模型的配置问题上,例如僵持和逻辑的运行方法。我们将使用测试工具的测试工具来定义各种可能的测试工具。我们将使用测试工具来开发各种测试工具。我们将使用测试工具,以各种方法来确定各种方法来开发各种测试工具。我们测试工具的测试工具的测试工具。我们将使用各种方法,将用测试工具来开发各种方法来开发各种测试工具的测试工具。我们测试工具的测试工具的测试工具。我们将使用各种方法来开发各种方法,将使用各种方法,将使用各种方法来进行可能的测试模型模型模型的测试工具来开发各种方法来开发各种方法来进行可能的测试工具。我们测试工具。我们所使用的方法,将用来在测试模型模型的测试模型的测试工具。我们所使用的方法,将开发各种方法,将使用各种方法来开发各种方法,将用来在测试工具的测试工具的测试工具的模型模型模型的测试方法将用来进行各种方法。我们所使用的的方法将用来进行各种方法,将用来进行各种方法。我们所使用的方法,将用来在测试工具的测试方法将用来在测试方法。我们所使用的方法,将用来在测试方法,将用来进行中的测试方法,将用来进行不制的测试方法将用来进行不同的方法来进行不制的测试工具的测试方法,将用来进行不同的方法。