Specification Based Testing of on Android Systems

designing unmanned aerial vehicle based on neuro-fuzzy systems

در این پایان نامه، کنترل نرو-فازی در پرنده هدایت پذیر از دور (پهپاد) استفاده شده است ابتدا در روش پیشنهادی اول، کنترل کننده نرو-فازی توسط مجموعه اطلاعات یک کنترل کننده pid به صورت off-line آموزش دیده است و در روش دوم یک کنترل کننده نرو-فازی on-line مبتنی بر شناسایی سیستم توسط شبکه عصبی rbf پیشنهاد شده است. سپس کاربرد این کنترل کننده در پهپاد بررسی شده است و مقایسه ای ما بین کنترل کننده های معمو...

Specification-Based Testing of Interactive Systems

Achieving correct user interface software is diicult because such software is complex, highly interactive, modeless, concurrent, graphical, and has user-based real-time requirements. In this paper I propose developing a framework for applying formal methods to testing of user interface software. I survey relevant work in the areas of formal development of user interface software and speciicatio...

Specification-Based Testing of Intrusion Detection Systems

An Intrusion Detection System (IDS) protects computer networks against attacks and intrusions, in combination with firewalls and anti-virus systems. An IDS is therefore a crucial element of a network security posture. One class of IDS is called signature-based network IDSs as they monitor network traffic, looking for evidence of malicious behavior as specified in attack descriptions (referred t...

Specification-based Testing of Concurrent Systems

The paper addresses the problem of test suite derivation from a formal specification of a distributed concurrent software system by presenting a concurrency model, called behavior machine, and its construction algorithm from a collection of labeled transition systems. It outlines how test derivation can be based on the new concurrency model to derive test suites that still exhibit concurrency b...

Specification-Based Incremental Testing of Object Oriented Systems