Titlebook: Structured Object-Oriented Formal Language and Method; 9th International Wo Huaikou Miao,Cong Tian,Zhenhua Duan Conference proceedings 2020

AGGER

Pelago

Formal Specification and Model Checking of a Ride-sharing System in Maudege and model checked that the system enjoys desired liveness as well as safety properties with the Maude LTL model checker. In our approach to formal specification of the system, a map, a collection of cars and a collection of persons are treated as parameters. Thus, it suffices to write one formal

Colonnade

chronology

惰性气体

Interstellar

0302-9743 d and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.978-3-030-41417-7978-3-030-41418-4Series ISSN 0302-9743 Series E-ISSN 1611-3349

precede

A Formal Technique for Concurrent Generation of Software’s Functional and Security Requirements in Stematically explored with the results incorporated into the functional specification as constraints. The resultant specification then defines the system functionality that implies the conformance to the security rules. Such a specification can be used as a firm foundation for implementation and test

负担

Blazon

A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction relevant path segments. We also present an automated mutation testing tool that supports the proposed approach, and a small experiment to evaluate our tool by comparing it with a traditional mutation testing method on six programs. The result of the experiment suggests that the proposed method can

ineluctable