Abstract
The standard IEC 61499 ushered in the use of Object-Oriented (OO) paradigm and Model Driven Development (MDD) in the realm of industrial automation. Consequently, it paved the way for easier integration of off-the-shelf and vendor specific or legacy software components in the applications. The standard provides a means for specifying implementation or hardware independent software modules which quite obviously would undergo innumerable reuses. Therefore, it is quite important to ensure that these modules as well as its implementations fulfill the requirements, especially the safety-critical ones. This necessitates that on one hand, the requirements are specified formally and on the other hand an exhaustive verification is performed. Often exhaustive verification of the requirements appears to be costly and a hasty and random choice of properties leaves out the critical an essential ones. To combat these challenges, this article presents a means for specifying functional requirements formally and a technique to produce black-box test-cases on the basis of these specifications. The specification can also be used to prudently and effectively choose test-cases when exhaustive testing appears to be improbable.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
