界面设计
2017-03-05 17:54:32 0 举报界面设计是一种专注于创建用户友好、直观且吸引人的计算机软件或网站的设计过程。它涉及到对布局、颜色、字体和图像的选择，以及它们如何相互作用以提供最佳的用户体验。优秀的界面设计不仅需要考虑美学，还需要考虑到功能性和易用性。设计师需要理解用户的需求和行为，以便创建出能够满足这些需求的界面。此外，界面设计还需要考虑到不同设备的兼容性，如桌面电脑、平板电脑和手机等。总的来说，界面设计是一种将艺术与科学相结合的技能，旨在创造出既美观又实用的数字产品。
作者其他创作
大纲/内容
表达式预处理
LRF
0110
有效
T1扩张
选取T1的有效扩张点
双项LRFxLRF
如果T1的二次扩张点RFP可使表达式真值发生变化则选取该RFP
NFP有效
0100
操作输出界面
将测试用例点代入待诊断表达式和变体，比较点的特征
单缺陷
选取T1的有效收缩点
结束
全选
3种基础单缺陷测试用例生成
无效
诊断出：缺陷类型T表达式M
8种非CC-SD可检测的双缺陷变体自动识别
基于格覆盖的布尔表达式缺陷诊断系统
No
8种非CC-SD可测试的双缺陷测试用例生成
缺陷类型：
Term1扩张
CC-SD可检测多项双缺陷变体识别
变体集合是否为空
0010
Yes
双项LIFxLIF
缺陷类型集合是否为空
T1收缩
获取原表达式的测试用例点
ab+cd
ab+cd+ef
选取一个变体M
ab+cd+a!ef
如果T1和T2有共同收缩的OTP，且表达式在二次收缩后真值发生变化则选取共同收缩的OTP
待测表达式：
变体：
导出结果
CC-SD可检测单项双缺陷变体识别
操作输入界面
单缺陷变体自动识别
单缺陷变体生成
取T1的有效收缩点
DNF
LIF
T2扩张
所有双缺陷的变体生成
将T从Set1中剔除
结果展示：
LOF
二次扩张后，原表达式的值发生变化，扩张点是原表达式在该项上的RFP
点的特征是否一致
选取一个缺陷类型T，获取该类型下所有缺陷变体，集合Set2
单项LOFxLRF——先LRF，再LOF收缩-扩张， 扩张
结果1
结果2
Tab 3
CC-SD可检测单项双缺陷寻路
选取T2的有效收缩点
导入
T2收缩
CC-SD可检测多项双缺陷寻路
测试用例：
如果T1和T2有共同收缩的OTP，且表达式在二次收缩后真值发生变化，则选取共同收缩的OTP
缺陷检测(Fault Detection)： 可检测是否发现缺陷， 无法识别缺陷类型，无法定位缺陷变体缺陷识别(Fault Dentification)： 可识别缺陷类型，无法定位缺陷变体缺陷定位(Fault Location)： 可定位缺陷变体，自然可识别缺陷类型
结果验证
双项LIFxLRF
缺陷诊断
原表达式：
选取T1的二次有效扩张点
测试用例
约束矩阵生成
表达式类型：
所有缺陷类型，集合Set1
取T2的有效收缩点
原来系统：（1）指定缺陷类型：检测待测表达式是否指定缺陷（2）在已知缺陷类型的前提下，确定待测表达式
将M从Set2中剔除
0 条评论
下一页
