Software for Analytical Development of Communications Protocols

摘要: We describe a way to develop and implement communications protocols so they are logically sound meet stated requirements. Our methodology employs software system called the coordination-specification analyzer (COSPAN) facilitate logical testing (in contrast simulation or execution testing). Logical of protocol is carried out on succession models protocol. Starting with high-level model (e.g., formal abstraction standard), successively more refined (detailed) created. This ends low-level which in fact code that runs ultimate implementation Tests successive defined not by test vectors, but user-defined behavioral requirements appropriate given level abstraction. Testing design permits early detection correction errors. Successive refinement fashion guarantees properties proved at one hold all levels recount experience an application this methodology, employing COSPAN, (analyze software) new session interface AT&T product Trunk Operations Provisioning Administration System (TOPAS).