Functional Test Generation for Guided Control System

فرآیند کنترل در سیستم کامپیوتری تهویه مطبوع ‏‎airwasher environmental control system for intelligent buildings‎‏

در این پایان نامه با استفاده از تکنولوژی روز و امکانات داخل کشور طریقه اتوماسیون سیستم تاسیساتی یک کارخانه نساجی (کارخانه نساجی اطلس پود) همراه با منوهای مربوطه و توضیحات کامل برنامه نویسی و طراحی بلوک های برنامه و سایر قسمتهای برنامه ارائه گشته است. علاوه بر این، برنامه با نمونه آمریکایی آن مقایسه و مزیت های آن نسبت به آمریکایی توضیح داده شده است. همچنین تمامی بلوک های برنامه بصورت شماتیکی بطو...

Dependence-Guided Random Test Generation

Random test generation is a promising and easy-to-use automatic test generation technique. However, it still faces challenges to be effective in practice. A poorly-understood but important factor in random testing is the selection of test candidates such as method-call sequences (in short, sequences) in testing object-oriented programs. Automatic generation of good sequences is challenging due ...

AGENT: An advanced test-case generation system for functional testing

This paper presents the AGENT method, a systematic test-case generation method for functional testing. AGENT consists of two steps. In the first step, a functional specification of a program is described with a formalized notation called a function diagram (FD). An FO consists of two components, a state transition which is described with a state transition diagram, and a set of boolean function...

Abstraction-guided Test Generation: A Case Study

ion-guided Test Generation: A Case Study Thomas Ball Testing, Verification and Measurement Research Microsoft Research http://www.research.microsoft.com/tvm/

Incremental Test Generation Guided by Fault Coverage