Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Model-based testing for software safety: a systematic map** study
Testing safety-critical systems is crucial since a failure or malfunction may result in death or
serious injuries to people, equipment, or environment. An important challenge in testing is …
serious injuries to people, equipment, or environment. An important challenge in testing is …
An overview of model checking practices on verification of PLC software
Programmable logic controllers (PLCs) are heavily used in industrial control systems,
because of their high capacity of simultaneous input/output processing capabilities …
because of their high capacity of simultaneous input/output processing capabilities …
Model-based test case generation and prioritization: a systematic literature review
Abstract Model-based test case generation (MB-TCG) and prioritization (MB-TCP) utilize
models that represent the system under test (SUT) for test generation and prioritization in …
models that represent the system under test (SUT) for test generation and prioritization in …
Automated test generation using model checking: an industrial evaluation
In software development, testers often focus on functional testing to validate implemented
programs against their specifications. In safety-critical software development, testers are …
programs against their specifications. In safety-critical software development, testers are …
A survey of static formal methods for building dependable industrial automation systems
Industrial automation systems (IAS) need to be highly dependable; they should not merely
function as expected but also do so in a reliable, safe, and secure manner. Formal methods …
function as expected but also do so in a reliable, safe, and secure manner. Formal methods …
[PDF][PDF] Review of model-based testing approaches in production automation and adjacent domains-current challenges and research gaps
As systems have been and are becoming more and more complex, the task of quality
assurance is increasingly challenging. Model-based testing is a research field addressing …
assurance is increasingly challenging. Model-based testing is a research field addressing …
Automated test case generation for FBD programs implementing reactor protection system software
Automated and effective testing for function block diagram (FBD) programs has become an
important issue, as FBD is increasingly used in implementing safety‐critical systems. This …
important issue, as FBD is increasingly used in implementing safety‐critical systems. This …
An approach for performance requirements verification and test environments generation
Abstract Model-based testing (MBT) is a method that supports the design and execution of
test cases by models that specify the intended behaviors of a system under test. While …
test cases by models that specify the intended behaviors of a system under test. While …
[PDF][PDF] Software Test Case Generation Tools and Techniques: A Review
Software Industry is evolving at a very fast pace since last two decades. Many software
developments, testing and test case generation approaches have evolved in last two …
developments, testing and test case generation approaches have evolved in last two …
[HTML][HTML] FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states
Abstract As Function Block Diagram (FBD) programs are used to implement safety-critical
systems such as nuclear reactor protection systems, it is crucial to generate effective test …
systems such as nuclear reactor protection systems, it is crucial to generate effective test …