Search Results for "keywords"

Elasticsearch Desktop GUI client. An IDE to create and test your queries.

Mastek has successfully developed a highly configurable Hybrid Automation framework: “Swift” using Selenium tool that offers quick turnaround for Automation Suite Implementation with support of Keyword & Data Driven framework approach. The Automation regression suite can be created or modified using tester friendly keywords for modules, screens, and verifications, thereby ensuring a more effective and efficient Test automation process and better ROI through the complete application life cycle. Swift is also integrated with Behaviour driven developement ( BDD ) tool Cucumber.

The library provides functionality of SNMP manager which can be accessed using Robot Framework keywords. In this model, system under test is SNMP agent.

ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN.