Abstract | ||
---|---|---|
. This paper reports on the preparation of test cases using a prototype withinthe context of a formal development. It describes an approach to building a prototype usingan example. It discusses how a prototype contributes to the testing activity as part of alifecycle based on the use of formal methods. The results of applying the approach to anembedded avionics case study are also presented.Keywords: Prototype, B-Method, Formal Software Lifecycle.1 IntroductionThis paper describes a... |
Year | DOI | Venue |
---|---|---|
1998 | 10.1007/BFb0053368 | B |
Keywords | Field | DocType |
formal software lifecycle.,b-method,prototype,test case preparation,formal method,b method | Software engineering,Simulation,Computer science,Avionics,Formal development,Formal specification,B-Method,Test case,Formal methods,Software development,Distributed computing | Conference |
Volume | ISSN | ISBN |
1393 | 0302-9743 | 3-540-64405-9 |
Citations | PageRank | References |
9 | 0.70 | 5 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Helen Treharne | 1 | 390 | 36.94 |
J. Draper | 2 | 9 | 0.70 |
Steve Schneider | 3 | 323 | 26.65 |