THE AVATARS OF A PACKAGE FOR CALENDARS IN ADA

被引:1
作者
GAUTHIER, M
机构
[1] Laboratoire D'informatique, M.S.I, Université de Limoges, Limoges, F-87060, 123, avenue Albert Thomas
关键词
ADA; CALENDARS; ENCAPSULATION; TESTING;
D O I
10.1002/spe.4380250405
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper shows the evolution of components for calendars written in Ada, starting from a classic form and evolving by the effect of some choices of software engineering. The first choice is to specify separate components when they do not have to be coupled in only one. This choice transforms a one-component form into a three-component one. The second choice is to hide all entities that are not required by the modelling of the real world. This choice modifies many declarations into forms which are complex to specify but which introduce no additional complexity to the user. In addition to the development of this component for the current legal calendar, it is indicated how others can be defined and converted from any one to the other. The design of a deep automatic test is illustrated. Finally, the paper illustrates how the new features of Ada-95 can be used to specify these calendars in another form, but which is not essentially different from the Ada-83 text.
引用
收藏
页码:403 / 427
页数:25
相关论文
共 7 条
[1]   CALENDRICAL CALCULATIONS [J].
DERSHOWITZ, N ;
REINGOLD, EM .
SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (09) :899-928
[2]  
DERSHOWITZ N, 1993, SOFTWARE PRACTICE EX, V23, P383
[3]  
GAUTHIER M, 1992, SIGPLAN NOTICES, V27, P37, DOI 10.1145/131080.131084
[4]  
GAUTHIER M, 1990, 1990 AD EUR C DUBL
[5]  
GAUTHIER M, 1992, 1992 AD UK C LOND
[6]  
STANSIFER R, 1992, SIGPLAN NOTICES, V27, P61, DOI 10.1145/142181.142198
[7]  
1991, ADA QUALITY STYLE GU