CAJ | 학술논문

为了解决实时控制系统软件可靠性测试用例生成的问题,在分析操作剖面模型和Markov链模型的基础上,提出了一种基于UML的混合模型.该模型用操作剖面模型来定义使用用例,并将状态图嵌入其中以表述该用例的动态特性.通过平展状态图获得使用图,使用图按一定的概率迁移,从而获得用Markov链表示的使用模型,而操作剖面模型定义的使用用例集与Markov链表述的状态迁移模型可结合生成可靠性测试用例.通过雷达波束调度软件可靠性测试表明,按所提模型在各测试周期生成的测试用例集的框架稳定性比较好,测试用例极少出现重复现象,它综合了操作剖面模型和Markov链模型的优点,可用于开发实时控制系统的软件可靠性测试用例.
위료해결실시공제계통연건가고성측시용례생성적문제,재분석조작부면모형화Markov련모형적기출상,제출료일충기우UML적혼합모형.해모형용조작부면모형래정의사용용례,병장상태도감입기중이표술해용례적동태특성.통과평전상태도획득사용도,사용도안일정적개솔천이,종이획득용Markov련표시적사용모형,이조작부면모형정의적사용용례집여Markov련표술적상태천이모형가결합생성가고성측시용례.통과뢰체파속조도연건가고성측시표명,안소제모형재각측시주기생성적측시용례집적광가은정성비교호,측시용례겁소출현중복현상,타종합료조작부면모형화Markov련모형적우점,가용우개발실시공제계통적연건가고성측시용례.