CAJ | 학술논문

在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.
재연건결구묘술어언적기출상,연구료조건지간교호소인기적착오측시,병제출정태분석화동태측시모형.정태모형통과검사조건단구급기소윤허적소식류형래약속구건적교호,동태모형통과Petri망각화조건집행과정중적동태행위,생성동태행위도.재차기출상,우제출료측시충분성준칙화측시수구,근거불동적체계결구추상층차,기우불동적로경복개급별,생성측시용례,유차평형개발성본、진도여질량수구지간적관계.최후,이객호/복무기결구위례설명해방법시괄용적.